Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
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|}} | ||