User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:08, 23 September 2011 (diff | hist) . . (+37) . . Meeting Minutes - September 23, 2011 (→Discussion)
- 08:08, 23 September 2011 (diff | hist) . . (+87) . . Meeting Minutes - September 23, 2011 (→Status)
- 08:04, 23 September 2011 (diff | hist) . . (+110) . . Meeting Minutes - September 23, 2011 (→Status)
- 08:03, 23 September 2011 (diff | hist) . . (+24) . . Meeting Minutes - September 23, 2011
- 07:51, 23 September 2011 (diff | hist) . . (+128) . . Meeting Minutes - September 23, 2011
- 07:51, 23 September 2011 (diff | hist) . . (+310) . . Meeting Minutes - September 23, 2011 (→Status)
- 09:01, 16 September 2011 (diff | hist) . . (+642) . . Meeting Minutes - September 16, 2011 (current)
- 08:27, 16 September 2011 (diff | hist) . . (+460) . . Meeting Minutes - September 16, 2011
- 07:55, 16 September 2011 (diff | hist) . . (+695) . . Meeting Minutes - September 16, 2011
- 07:41, 16 September 2011 (diff | hist) . . (+863) . . N Meeting Minutes - September 16, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-09-16|10:00am|12:00pm}} =Status= Morgan * clean-up, various projects Liana * recitation section * Synopsis paper Wei * brainstorming se…")
- 08:59, 2 September 2011 (diff | hist) . . (+692) . . Meeting Minutes - September 2, 2011 (current)
- 08:59, 2 September 2011 (diff | hist) . . (+148) . . N Meeting Minutes - September 9, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-09-09|10:00am|12:00pm}} =Status= =Agenda= * quantifiers and instantiators? ** design modularity ** sharing")
- 08:08, 2 September 2011 (diff | hist) . . (+398) . . Meeting Minutes - September 2, 2011
- 07:54, 2 September 2011 (diff | hist) . . (0) . . Meeting Minutes - September 2, 2011 (→Status)
- 07:47, 2 September 2011 (diff | hist) . . (+65) . . Meeting Minutes - September 2, 2011 (→Discussion)
- 07:46, 2 September 2011 (diff | hist) . . (+777) . . N Meeting Minutes - September 2, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-09-02|10:00am|12:00pm}} =Status= Morgan *CVC3 **2.4, 2.4.1 ready to go out the door *CVC4 **integers merge into trunk **my post-competiti…")
- 22:16, 18 August 2011 (diff | hist) . . (+11) . . Meeting Minutes - August 19, 2011 (current)
- 22:06, 18 August 2011 (diff | hist) . . (+280) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 16:43, 18 August 2011 (diff | hist) . . (+280) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 16:37, 18 August 2011 (diff | hist) . . (+75) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 13:26, 18 August 2011 (diff | hist) . . (+292) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 13:24, 18 August 2011 (diff | hist) . . (+1) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 13:24, 18 August 2011 (diff | hist) . . (0) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 13:24, 18 August 2011 (diff | hist) . . (+208) . . Meeting Minutes - August 19, 2011 (→Agenda)
- 10:42, 18 August 2011 (diff | hist) . . (+2) . . Developer's Guide (→Adding benchmarks to the cluster)
- 10:36, 18 August 2011 (diff | hist) . . (+201) . . N Meeting Minutes - August 19, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-08-19|10:30am|12:30pm}} =Agenda= Priorities * falsified lemmas * sharing * integers * model generation * incrementality * compatibility /…")
- 08:51, 5 August 2011 (diff | hist) . . (+305) . . Meeting Minutes - August 5, 2011 (→Agenda) (current)
- 08:48, 5 August 2011 (diff | hist) . . (0) . . N File:Mtg20110805.png (current)
- 08:48, 5 August 2011 (diff | hist) . . (0) . . N File:Mtg20110805.notebook (current)
- 08:47, 5 August 2011 (diff | hist) . . (-819) . . Meeting Minutes - August 5, 2011
- 08:46, 5 August 2011 (diff | hist) . . (+74) . . Meeting Minutes - August 12, 2011 (current)
- 08:46, 5 August 2011 (diff | hist) . . (+823) . . N Meeting Minutes - August 12, 2011 (Created page with 'Priorities * falsified lemmas * sharing * model generation integers * no Hermite normal form * variable elimination for integers ** current ''integers'' branch: disable INT->REA…')
- 11:09, 28 July 2011 (diff | hist) . . (0) . . Meeting Minutes - July 28, 2011 (current)
- 11:09, 28 July 2011 (diff | hist) . . (+64) . . Meeting Minutes - August 5, 2011
- 11:08, 28 July 2011 (diff | hist) . . (+851) . . N Meeting Minutes - August 5, 2011 (Created page with '=Agenda= *Status of THE LIST *quantifiers *integers ** no Hermite normal form ** variable elimination for integers *** current ''integers'' br…')
- 11:08, 28 July 2011 (diff | hist) . . (-843) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 11:07, 28 July 2011 (diff | hist) . . (+451) . . Meeting Minutes - July 28, 2011
- 08:17, 28 July 2011 (diff | hist) . . (+375) . . Meeting Minutes - July 28, 2011 (→Status)
- 17:51, 27 July 2011 (diff | hist) . . (+445) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 17:27, 27 July 2011 (diff | hist) . . (+238) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 17:25, 27 July 2011 (diff | hist) . . (+22) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 17:24, 27 July 2011 (diff | hist) . . (+59) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 08:24, 26 July 2011 (diff | hist) . . (+57) . . Meeting Minutes - July 28, 2011 (→Status)
- 08:23, 26 July 2011 (diff | hist) . . (+118) . . Meeting Minutes - July 28, 2011
- 08:21, 26 July 2011 (diff | hist) . . (0) . . m Meeting Minutes - July 28, 2011 (moved Meeting Minutes - July 29, 2011 to Meeting Minutes - July 28, 2011)
- 08:21, 26 July 2011 (diff | hist) . . (0) . . Developer Meeting Minutes (→Third Quarter 2011)
- 21:06, 21 July 2011 (diff | hist) . . (+31) . . MediaWiki:Sidebar
- 21:06, 21 July 2011 (diff | hist) . . (+20) . . CVC4
- 21:05, 21 July 2011 (diff | hist) . . (+36) . . User Manual (→If you were using the library ("in-memory") interface of CVC3)
- 21:05, 21 July 2011 (diff | hist) . . (+39) . . User Manual (→Upgrading from CVC3 to CVC4)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
