User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:27, 21 May 2012 (diff | hist) . . (+581) . . N Meeting Minutes - May 25, 2012 (Created page with "main drivers not catching non-CVC4 exceptions (Morgan) reference job out/err links are incorrect in compare_jobs.php (Morgan) solution to the N column in compare_jobs should be…")
- 09:27, 21 May 2012 (diff | hist) . . (+9) . . Meeting Minutes - May 18, 2012 (→Action items) (current)
- 09:22, 21 May 2012 (diff | hist) . . (+2) . . Meeting Minutes - May 18, 2012 (→Action items)
- 11:04, 18 May 2012 (diff | hist) . . (+108) . . Meeting Minutes - May 18, 2012 (→Action items)
- 10:54, 18 May 2012 (diff | hist) . . (+18) . . Meeting Minutes - May 18, 2012 (→Action items)
- 10:39, 18 May 2012 (diff | hist) . . (+419) . . Meeting Minutes - May 18, 2012 (→Action items)
- 10:19, 18 May 2012 (diff | hist) . . (+56) . . Meeting Minutes - May 18, 2012 (→Action items)
- 09:34, 15 May 2012 (diff | hist) . . (+1,361) . . N Meeting Minutes - May 18, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-05-18|1pm|3pm}} =CVC4 status= ====Cluster hardware status==== ====Bug round-up==== <font color="red">LAMBDA typechecking bug (Morgan)</…")
- 09:42, 10 May 2012 (diff | hist) . . (+235) . . Meeting Minutes - May 10, 2012 (→Relevancy/Decision engine) (current)
- 09:34, 10 May 2012 (diff | hist) . . (-22) . . Meeting Minutes - May 10, 2012 (→Discussion)
- 15:44, 9 May 2012 (diff | hist) . . (-671) . . Meeting Minutes - May 10, 2012 (→Minor commits / interface changes)
- 15:43, 9 May 2012 (diff | hist) . . (+2,394) . . Meeting Minutes - May 10, 2012
- 12:40, 8 May 2012 (diff | hist) . . (+25) . . N Meeting Minutes - May 10, 2012 (Created page with " Agenda - decision engine")
- 12:35, 8 May 2012 (diff | hist) . . (+24) . . MediaWiki:Sidebar
- 12:35, 8 May 2012 (diff | hist) . . (+39) . . MediaWiki:Sidebar
- 14:19, 1 May 2012 (diff | hist) . . (+128) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 14:18, 1 May 2012 (diff | hist) . . (-101) . . Meeting Minutes - May 4, 2012 (→Action items)
- 17:49, 27 April 2012 (diff | hist) . . (+80) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 17:49, 27 April 2012 (diff | hist) . . (-53) . . Meeting Minutes - May 4, 2012 (→Action items)
- 15:57, 27 April 2012 (diff | hist) . . (+198) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 15:57, 27 April 2012 (diff | hist) . . (-142) . . Meeting Minutes - May 4, 2012 (→Action items)
- 15:02, 27 April 2012 (diff | hist) . . (+94) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 15:02, 27 April 2012 (diff | hist) . . (-67) . . Meeting Minutes - May 4, 2012 (→Action items)
- 15:02, 27 April 2012 (diff | hist) . . (+171) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 15:01, 27 April 2012 (diff | hist) . . (-146) . . Meeting Minutes - May 4, 2012 (→Action items)
- 12:36, 27 April 2012 (diff | hist) . . (+2) . . Meeting Minutes - May 4, 2012 (→CVC4 status)
- 12:36, 27 April 2012 (diff | hist) . . (-63) . . Meeting Minutes - May 4, 2012 (→CVC4 status)
- 12:35, 27 April 2012 (diff | hist) . . (-239) . . Meeting Minutes - May 4, 2012 (→Arrays)
- 12:35, 27 April 2012 (diff | hist) . . (-239) . . Meeting Minutes - May 4, 2012 (→Bitvectors)
- 12:34, 27 April 2012 (diff | hist) . . (+4) . . Meeting Minutes - May 4, 2012 (→CASCADE)
- 12:34, 27 April 2012 (diff | hist) . . (-1,536) . . Meeting Minutes - May 4, 2012 (→Decision)
- 12:34, 27 April 2012 (diff | hist) . . (-3,737) . . Meeting Minutes - May 4, 2012 (→Arithmetic)
- 12:34, 27 April 2012 (diff | hist) . . (+59) . . Meeting Minutes - May 4, 2012 (→Bug round-up)
- 12:34, 27 April 2012 (diff | hist) . . (-323) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 12:33, 27 April 2012 (diff | hist) . . (+31) . . Meeting Minutes - May 4, 2012 (→Action items)
- 12:33, 27 April 2012 (diff | hist) . . (+592) . . Meeting Minutes - May 4, 2012 (→Action items)
- 12:33, 27 April 2012 (diff | hist) . . (+181) . . Meeting Minutes - April 27, 2012 (current)
- 12:18, 27 April 2012 (diff | hist) . . (0) . . Meeting Minutes - May 4, 2012
- 12:17, 27 April 2012 (diff | hist) . . (+7,611) . . Meeting Minutes - May 4, 2012
- 12:16, 27 April 2012 (diff | hist) . . (+2) . . Meeting Minutes - April 27, 2012 (→CVC4 status)
- 12:15, 27 April 2012 (diff | hist) . . (+1,477) . . N Meeting Minutes - May 4, 2012 (Created page with "==Quantifiers merge== '''Morgan's concerns''' * Instantiator interface * unused core functionality ** ''e.g.,'' ''dependentDecision()'' goes away, right? * EqualityQuery interfa…")
- 07:42, 27 April 2012 (diff | hist) . . (+56) . . Meeting Minutes - April 27, 2012 (→Bug round-up)
- 06:07, 27 April 2012 (diff | hist) . . (+85) . . Meeting Minutes - April 27, 2012 (→Quantifiers merge)
- 06:06, 27 April 2012 (diff | hist) . . (0) . . Meeting Minutes - April 27, 2012 (→Quantifiers merge)
- 06:06, 27 April 2012 (diff | hist) . . (+1,394) . . Meeting Minutes - April 27, 2012 (→Feature request: tell theories what logic we're in (Tim))
- 12:56, 26 April 2012 (diff | hist) . . (+9) . . Meeting Minutes - April 27, 2012 (→CASCADE)
- 12:56, 26 April 2012 (diff | hist) . . (+57) . . Meeting Minutes - April 27, 2012 (→CASCADE)
- 08:32, 26 April 2012 (diff | hist) . . (-31) . . Meeting Minutes - April 27, 2012 (→ppAssert has side effects)
- 08:32, 26 April 2012 (diff | hist) . . (+42) . . Meeting Minutes - April 27, 2012 (→SAT Interface/Code Review)
- 08:31, 26 April 2012 (diff | hist) . . (+360) . . Meeting Minutes - April 27, 2012 (→Boost and zlib dependences)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
