User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:58, 2 October 2012 (diff | hist) . . (+27) . . Meeting Minutes - October 9, 2012 (→Action items)
- 13:57, 2 October 2012 (diff | hist) . . (+81) . . Meeting Minutes - October 9, 2012 (→Action items)
- 12:37, 2 October 2012 (diff | hist) . . (+397) . . Meeting Minutes - October 9, 2012 (→Action items)
- 12:37, 2 October 2012 (diff | hist) . . (+305) . . Meeting Minutes - October 2, 2012 (→Action items) (current)
- 12:33, 2 October 2012 (diff | hist) . . (+35) . . Meeting Minutes - October 2, 2012 (→Action items)
- 12:33, 2 October 2012 (diff | hist) . . (+46) . . Meeting Minutes - October 2, 2012 (→Action items)
- 12:32, 2 October 2012 (diff | hist) . . (-72) . . Meeting Minutes - October 9, 2012 (→Action items)
- 12:32, 2 October 2012 (diff | hist) . . (+2,211) . . N Meeting Minutes - October 9, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-09|11am|1pm}} =Status= [http://church.cims.nyu.edu/bugzilla3/buglist.cgi?query_format=advanced&bug_status=UNCONFIRMED&bug_status=NEW&b…")
- 12:30, 2 October 2012 (diff | hist) . . (+48) . . Meeting Minutes - October 2, 2012 (→Action items)
- 08:55, 2 October 2012 (diff | hist) . . (+84) . . Tutorials
- 08:54, 2 October 2012 (diff | hist) . . (+261) . . N Talk:Tutorials (Created page with "UF (Dejan) Simple example for quantifiers (Andy) Arithmetic (Tim) Arrays (Clark) Bitvectors (Liana) Datatypes (Andy) All of the above need documentation for: * CVC language…")
- 08:49, 2 October 2012 (diff | hist) . . (+65) . . Talk:User Manual
- 08:44, 2 October 2012 (diff | hist) . . (-24) . . User Manual (→The CVC4 library ("in-memory") interface)
- 08:40, 2 October 2012 (diff | hist) . . (+78) . . Meeting Minutes - October 2, 2012 (→Action items)
- 08:34, 2 October 2012 (diff | hist) . . (+110) . . Talk:User Manual
- 08:32, 2 October 2012 (diff | hist) . . (+110) . . N Talk:User Manual (Created page with "Cesare does #2 - presentation language interface SMT-LIBv2 link to the docs/tutorials * notes on compliance ?")
- 08:29, 2 October 2012 (diff | hist) . . (+15) . . Meeting Minutes - October 2, 2012 (→Documentation assignments)
- 08:28, 2 October 2012 (diff | hist) . . (+63) . . Meeting Minutes - October 2, 2012 (→Action items)
- 08:25, 2 October 2012 (diff | hist) . . (+167) . . Meeting Minutes - October 2, 2012 (→Documentation assignments)
- 08:00, 2 October 2012 (diff | hist) . . (+55) . . Meeting Minutes - October 2, 2012 (→What to do about portfolio "silent-failover" ?)
- 07:57, 2 October 2012 (diff | hist) . . (0) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 07:56, 2 October 2012 (diff | hist) . . (+43) . . Meeting Minutes - October 2, 2012 (→Action items)
- 07:53, 2 October 2012 (diff | hist) . . (+152) . . Meeting Minutes - October 2, 2012 (→--check-model and "unknown" results)
- 07:37, 2 October 2012 (diff | hist) . . (+124) . . Meeting Minutes - October 2, 2012 (→Action items)
- 21:25, 1 October 2012 (diff | hist) . . (+29) . . Meeting Minutes - October 2, 2012 (→Status)
- 20:33, 1 October 2012 (diff | hist) . . (+39) . . Meeting Minutes - October 2, 2012 (→Status)
- 12:06, 29 September 2012 (diff | hist) . . (+12) . . Meeting Minutes - October 2, 2012 (→IS_INTEGER support)
- 12:06, 29 September 2012 (diff | hist) . . (+65) . . Meeting Minutes - October 2, 2012 (→IS_INTEGER support)
- 08:22, 29 September 2012 (diff | hist) . . (-1) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 08:22, 29 September 2012 (diff | hist) . . (+42) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 06:36, 29 September 2012 (diff | hist) . . (+340) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 06:30, 29 September 2012 (diff | hist) . . (+260) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 14:59, 28 September 2012 (diff | hist) . . (+83) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 14:58, 28 September 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→Third Quarter 2012)
- 12:03, 26 September 2012 (diff | hist) . . (+1) . . Meeting Minutes - October 2, 2012 (→Action items)
- 10:41, 26 September 2012 (diff | hist) . . (+32) . . Meeting Minutes - September 25, 2012 (→Action items) (current)
- 10:41, 26 September 2012 (diff | hist) . . (+58) . . Meeting Minutes - October 2, 2012 (→Action items)
- 10:40, 26 September 2012 (diff | hist) . . (+64) . . Meeting Minutes - September 25, 2012 (→Action items)
- 10:40, 26 September 2012 (diff | hist) . . (+91) . . Meeting Minutes - October 2, 2012 (→Action items)
- 10:15, 26 September 2012 (diff | hist) . . (+2,295) . . N Meeting Minutes - October 2, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-02|11am|1pm}} =Status= [http://church.cims.nyu.edu/bugzilla3/buglist.cgi?query_format=advanced&bug_status=UNCONFIRMED&bug_status=NEW&b…")
- 11:47, 25 September 2012 (diff | hist) . . (+8) . . Developer's Guide (→Dependencies)
- 10:36, 25 September 2012 (diff | hist) . . (+27) . . Meeting Minutes - September 25, 2012 (→Action items)
- 10:24, 25 September 2012 (diff | hist) . . (+110) . . Meeting Minutes - September 25, 2012 (→Action items)
- 10:23, 25 September 2012 (diff | hist) . . (+54) . . Meeting Minutes - September 25, 2012 (→Action items)
- 09:45, 25 September 2012 (diff | hist) . . (+9) . . Meeting Minutes - September 25, 2012 (→Action items)
- 09:45, 25 September 2012 (diff | hist) . . (+785) . . Meeting Minutes - September 25, 2012 (→Array models)
- 08:55, 25 September 2012 (diff | hist) . . (+433) . . Meeting Minutes - September 25, 2012 (→Boolean terms)
- 08:33, 25 September 2012 (diff | hist) . . (+19) . . Release checklist
- 08:12, 25 September 2012 (diff | hist) . . (+135) . . Meeting Minutes - September 25, 2012 (→Lack of unsat core support)
- 07:47, 25 September 2012 (diff | hist) . . (+38) . . Meeting Minutes - September 25, 2012 (→Action items)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
