User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:57, 27 April 2012 (diff | hist) . . (-142) . . Meeting Minutes - May 4, 2012 (→Action items)
- 14:02, 27 April 2012 (diff | hist) . . (+94) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 14:02, 27 April 2012 (diff | hist) . . (-67) . . Meeting Minutes - May 4, 2012 (→Action items)
- 14:02, 27 April 2012 (diff | hist) . . (+171) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 14:01, 27 April 2012 (diff | hist) . . (-146) . . Meeting Minutes - May 4, 2012 (→Action items)
- 11:36, 27 April 2012 (diff | hist) . . (+2) . . Meeting Minutes - May 4, 2012 (→CVC4 status)
- 11:36, 27 April 2012 (diff | hist) . . (-63) . . Meeting Minutes - May 4, 2012 (→CVC4 status)
- 11:35, 27 April 2012 (diff | hist) . . (-239) . . Meeting Minutes - May 4, 2012 (→Arrays)
- 11:35, 27 April 2012 (diff | hist) . . (-239) . . Meeting Minutes - May 4, 2012 (→Bitvectors)
- 11:34, 27 April 2012 (diff | hist) . . (+4) . . Meeting Minutes - May 4, 2012 (→CASCADE)
- 11:34, 27 April 2012 (diff | hist) . . (-1,536) . . Meeting Minutes - May 4, 2012 (→Decision)
- 11:34, 27 April 2012 (diff | hist) . . (-3,737) . . Meeting Minutes - May 4, 2012 (→Arithmetic)
- 11:34, 27 April 2012 (diff | hist) . . (+59) . . Meeting Minutes - May 4, 2012 (→Bug round-up)
- 11:34, 27 April 2012 (diff | hist) . . (-323) . . Meeting Minutes - May 4, 2012 (→Minor commits / interface changes)
- 11:33, 27 April 2012 (diff | hist) . . (+31) . . Meeting Minutes - May 4, 2012 (→Action items)
- 11:33, 27 April 2012 (diff | hist) . . (+592) . . Meeting Minutes - May 4, 2012 (→Action items)
- 11:33, 27 April 2012 (diff | hist) . . (+181) . . Meeting Minutes - April 27, 2012 (current)
- 11:18, 27 April 2012 (diff | hist) . . (0) . . Meeting Minutes - May 4, 2012
- 11:17, 27 April 2012 (diff | hist) . . (+7,611) . . Meeting Minutes - May 4, 2012
- 11:16, 27 April 2012 (diff | hist) . . (+2) . . Meeting Minutes - April 27, 2012 (→CVC4 status)
- 11: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…")
- 06:42, 27 April 2012 (diff | hist) . . (+56) . . Meeting Minutes - April 27, 2012 (→Bug round-up)
- 05:07, 27 April 2012 (diff | hist) . . (+85) . . Meeting Minutes - April 27, 2012 (→Quantifiers merge)
- 05:06, 27 April 2012 (diff | hist) . . (0) . . Meeting Minutes - April 27, 2012 (→Quantifiers merge)
- 05:06, 27 April 2012 (diff | hist) . . (+1,394) . . Meeting Minutes - April 27, 2012 (→Feature request: tell theories what logic we're in (Tim))
- 11:56, 26 April 2012 (diff | hist) . . (+9) . . Meeting Minutes - April 27, 2012 (→CASCADE)
- 11:56, 26 April 2012 (diff | hist) . . (+57) . . Meeting Minutes - April 27, 2012 (→CASCADE)
- 07:32, 26 April 2012 (diff | hist) . . (-31) . . Meeting Minutes - April 27, 2012 (→ppAssert has side effects)
- 07:32, 26 April 2012 (diff | hist) . . (+42) . . Meeting Minutes - April 27, 2012 (→SAT Interface/Code Review)
- 07:31, 26 April 2012 (diff | hist) . . (+360) . . Meeting Minutes - April 27, 2012 (→Boost and zlib dependences)
- 07:29, 26 April 2012 (diff | hist) . . (+130) . . Meeting Minutes - April 27, 2012 (→Feature request: tell theories what logic we're in (Tim))
- 07:29, 26 April 2012 (diff | hist) . . (-83) . . Meeting Minutes - April 27, 2012 (→Preparing for the competition)
- 07:28, 26 April 2012 (diff | hist) . . (-44) . . Meeting Minutes - April 27, 2012 (→What to submit to SMT?)
- 17:03, 25 April 2012 (diff | hist) . . (+541) . . Meeting Minutes - April 27, 2012 (→Discussion)
- 19:44, 24 April 2012 (diff | hist) . . (+25) . . Meeting Minutes - April 27, 2012 (→Action items)
- 19:43, 24 April 2012 (diff | hist) . . (+1,853) . . N Meeting Minutes - April 27, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-04-27|10:30am|12:30pm}} =CVC4 status= ====Bug round-up==== ====Merges==== options (Morgan) quantifiers (Andy/Dejan/others) ====Kind i…")
- 12:36, 14 April 2012 (diff | hist) . . (+1,801) . . N Meeting Minutes - April 19, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-04-19|11am|1pm}} =CVC4 status= ====Bug round-up==== ====Merges==== options (Morgan) quantifiers (Andy/Dejan/others) ====Kind integrat…")
- 07:43, 12 April 2012 (diff | hist) . . (+17) . . Meeting Minutes - April 12, 2012 (→What to submit to SMT) (current)
- 07:20, 12 April 2012 (diff | hist) . . (0) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 07:15, 12 April 2012 (diff | hist) . . (+111) . . Meeting Minutes - April 12, 2012 (→Arithmetic)
- 07:10, 12 April 2012 (diff | hist) . . (+63) . . Meeting Minutes - April 12, 2012 (→Bug round-up)
- 15:58, 11 April 2012 (diff | hist) . . (+3) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 15:57, 11 April 2012 (diff | hist) . . (+190) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 08:28, 11 April 2012 (diff | hist) . . (+32) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 11:26, 6 April 2012 (diff | hist) . . (-1) . . Meeting Minutes - April 12, 2012 (→Merges)
- 11:23, 6 April 2012 (diff | hist) . . (-85) . . Meeting Minutes - April 12, 2012 (→Bug round-up)
- 16:45, 5 April 2012 (diff | hist) . . (-166) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 16:32, 5 April 2012 (diff | hist) . . (+2,027) . . N Meeting Minutes - April 12, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-04-12|11am|1pm}} =CVC4 status= ====Bug round-up==== <font color="green">QF_AUFBV now supported in SMT-LIBv1 properly (on arrays-clark br…")
- 16:06, 5 April 2012 (diff | hist) . . (+179) . . Meeting Minutes - April 5, 2012 (→Action items) (current)
- 09:17, 5 April 2012 (diff | hist) . . (+89) . . Meeting Minutes - April 5, 2012 (→Action items)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
