Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

verifying_pattern_matching_with_guards [2007/06/30 00:59]
philippe.suter
verifying_pattern_matching_with_guards [2007/06/30 01:19] (current)
philippe.suter
Line 34: Line 34:
  
   * The final report is available [[http://​icwww.epfl.ch/​~psuter/​report.pdf|here]].   * The final report is available [[http://​icwww.epfl.ch/​~psuter/​report.pdf|here]].
-  * Sources of the implementation are available through Google code: [[http://​code.google.com/​p/​sav07/​source]]. Note that this also includes the .tex source files for the report and the presentation. +  * Sources of the implementation are available through Google code: [[http://​code.google.com/​p/​sav07/​source]]. 
- +(Note that this also includes the .tex source files for the report and the presentation.) 
 +  * Don't forget to read the [[http://​sav07.googlecode.com/​svn/​trunk/​README|README file]] before trying to run the implementation.
   * slides for printing {{1xverify_pattern_matching1.1.pdf|}} (without animation) ​   * slides for printing {{1xverify_pattern_matching1.1.pdf|}} (without animation) ​
   * slides for presentation{{verify_pattern_matching1.1.pdf|}}   * slides for presentation{{verify_pattern_matching1.1.pdf|}}
 
verifying_pattern_matching_with_guards.txt · Last modified: 2007/06/30 01:19 by philippe.suter