Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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