Differences
This shows you the differences between two versions of the page.
| 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 ===== | ||