My favorites | Sign in
Project Home Wiki Issues Source
Search
for
  
  PageName Summary + Labels Changed ChangedBy ...
CSightParallelization CSight parallel model checking with McScM   documentation Aug 19 bestchai  
UsageNotes Useful usage notes for the tools hosted in the synoptic repo Aug 18 bestchai  
DocsDevelopmentPractices Describes the project's development practices.   documentation dev Aug 6 bestchai  
DocsSynopticCmdLineHelpScreen Lists the Synoptic command line usage screen Jul 13 bestchai  
DocsCSightCmdLineHelpScreen Lists the CSight command line usage screen Jul 13 bestchai  
DocsInvariMintCmdLineHelpScreen Lists the InvariMint command line usage screen Jul 13 bestchai  
DocsPerfumeCmdLineHelpScreen Lists the Perfume command line usage screen Jul 13 bestchai  
DocsWebAppTutorial Synoptic web application tutorial   documentation Jun 22 bestchai  
DocsInstallation Explains the steps to install Synoptic   documentation Jun 22 bestchai  
LogParser Description of the design and implementation of the log parsing tool used in Synoptic. Mar 25 mpaly...@gmail.com  
GSoC2014Ideas A list of ideas for Google Summer of Code 2014 Feb 2014 bestchai  
TraceNormalization Details on what trace normalization is and how it can improve the resulting graph   documentation Perfume Feb 2014 MichaelH...@gmail.com  
hgrcTemplate A recommended .hgrc file template Feb 2014 bestchai  
Perfume Collection of resources related to Perfume Feb 2014 tonyohm...@gmail.com  
DocsDevelopment Details our development methodology, practices, and is a starting point for new developers.   documentation dev Jan 2014 bestchai  
DocsSynopticCmdLineTutorial Synoptic command line tutorial   documentation Jul 2013 bestchai  
DocsSynopticCmdLineUsage Explains Synoptic's command line usage   documentation Jul 2013 bestchai  
TestGenerationPrj State invariant project document.   dev Apr 2013 ssukkerd  
DocsSynopticGUI Overviews the Synoptic GUI alternatives to the command line.   documentation gui Apr 2012 bestchai  
SwingGUI Overviews the Synoptic GUI alternatives to the command line.   documentation gui Apr 2012  
DocsDevelopmentGWT Developing the GWT-based front-end for Synoptic   documentation dev gwt Mar 2012 bestchai  
TemporalInvariantMining Description of current approach to mining temporal invariants. Jun 2011  
SystemProperties List of Data-oriented and Temporal Properties we would like to infer Jun 2011 bestchai  
TODOs Global list of things to be done Jun 2011 bestchai  
StudentProjectIdeas List of project ideas for students interested in contributing to Synoptic Jun 2011 bestchai  
ProgressReport05232010 The progress report for meeting 8.1 (week 8, first meeting) Jun 2011 bestchai  
ResearchDirections Potential research directions Jun 2011 bestchai  
StaMinACompetition2010 Describes how Synoptic can be adapted to participate in the StaMinA'10 Competition. Jun 2011 bestchai  
ProgressReport05182010 The progress report for week 7 Jun 2011 bestchai  
ProgressReport05112010 The progress report for week 6 Jun 2011 bestchai  
ProgressReport05042010 The progress report for week 5 Jun 2011  
ProgressReport04202010 The progress report for week 3 Jun 2011  
ProgressReport04272010 The progress report for week 4 Jun 2011  
ProgressReport04132010 The progress report for week 2 Jun 2011  
CodeImprovements Provides an overview over improvements made to the code Jun 2011  
  
Powered by Google Project Hosting