Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
comfusy [2012/12/19 14:37]
philippe.suter
comfusy [2013/10/16 18:27] (current)
mikael.mayer making-of added
Line 56: Line 56:
  
 (Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) (Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.)
 +
  
 ===== On YouTube ===== ===== On YouTube =====
  
-Comfusy has been used to synthesize a part of computation used to generate the following [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|Happy New Year Video]].+Comfusy has been used to synthesize a part of computation used to generate the following [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|Happy New Year 2010 Video]] ​(see the [[http://​www.youtube.com/​watch?​v=a6uDAdhvpRE|making-of]] at 0:47).
  
 ===== People ===== ===== People =====
 
comfusy.txt · Last modified: 2013/10/16 18:27 by mikael.mayer
 
© EPFL 2018 - Legal notice