User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:29, 26 April 2012 (diff | hist) . . (+130) . . Meeting Minutes - April 27, 2012 (→Feature request: tell theories what logic we're in (Tim))
- 08:29, 26 April 2012 (diff | hist) . . (-83) . . Meeting Minutes - April 27, 2012 (→Preparing for the competition)
- 08:28, 26 April 2012 (diff | hist) . . (-44) . . Meeting Minutes - April 27, 2012 (→What to submit to SMT?)
- 18:03, 25 April 2012 (diff | hist) . . (+541) . . Meeting Minutes - April 27, 2012 (→Discussion)
- 20:44, 24 April 2012 (diff | hist) . . (+25) . . Meeting Minutes - April 27, 2012 (→Action items)
- 20: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…")
- 13: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…")
- 08:43, 12 April 2012 (diff | hist) . . (+17) . . Meeting Minutes - April 12, 2012 (→What to submit to SMT) (current)
- 08:20, 12 April 2012 (diff | hist) . . (0) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 08:15, 12 April 2012 (diff | hist) . . (+111) . . Meeting Minutes - April 12, 2012 (→Arithmetic)
- 08:10, 12 April 2012 (diff | hist) . . (+63) . . Meeting Minutes - April 12, 2012 (→Bug round-up)
- 16:58, 11 April 2012 (diff | hist) . . (+3) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 16:57, 11 April 2012 (diff | hist) . . (+190) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 09:28, 11 April 2012 (diff | hist) . . (+32) . . Meeting Minutes - April 12, 2012 (→Discussion)
- 12:26, 6 April 2012 (diff | hist) . . (-1) . . Meeting Minutes - April 12, 2012 (→Merges)
- 12:23, 6 April 2012 (diff | hist) . . (-85) . . Meeting Minutes - April 12, 2012 (→Bug round-up)
- 17:45, 5 April 2012 (diff | hist) . . (-166) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 17: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…")
- 17:06, 5 April 2012 (diff | hist) . . (+179) . . Meeting Minutes - April 5, 2012 (→Action items) (current)
- 10:17, 5 April 2012 (diff | hist) . . (+89) . . Meeting Minutes - April 5, 2012 (→Action items)
- 09:42, 5 April 2012 (diff | hist) . . (+139) . . Meeting Minutes - April 5, 2012 (→Action items)
- 09:36, 5 April 2012 (diff | hist) . . (+186) . . CVC4 Wishlist
- 13:45, 4 April 2012 (diff | hist) . . (+194) . . Meeting Minutes - April 5, 2012 (→Bug round-up)
- 16:26, 3 April 2012 (diff | hist) . . (+423) . . Meeting Minutes - April 5, 2012 (→Discussion)
- 18:06, 2 April 2012 (diff | hist) . . (+1,339) . . N Meeting Minutes - April 5, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-04-05|11am|1pm}} =CVC4 status= ====Bug round-up==== QF_AUFBV now supported in SMT-LIBv1 properly (on arrays-clark branch) (Morgan) ====…")
- 09:52, 29 March 2012 (diff | hist) . . (+90) . . Meeting Minutes - March 29, 2012 (→Integers) (current)
- 09:38, 29 March 2012 (diff | hist) . . (+63) . . Meeting Minutes - March 29, 2012 (→Action items)
- 09:35, 29 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 29, 2012 (→Action items)
- 09:29, 29 March 2012 (diff | hist) . . (+47) . . Meeting Minutes - March 29, 2012 (→Action items)
- 09:16, 29 March 2012 (diff | hist) . . (+32) . . Meeting Minutes - March 29, 2012 (→Action items)
- 09:16, 29 March 2012 (diff | hist) . . (+46) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:53, 29 March 2012 (diff | hist) . . (+13) . . Meeting Minutes - March 29, 2012 (→Discussion)
- 08:35, 29 March 2012 (diff | hist) . . (+8) . . Meeting Minutes - March 29, 2012 (→Arrays)
- 08:15, 29 March 2012 (diff | hist) . . (+65) . . Meeting Minutes - March 29, 2012 (→Action items)
- 07:44, 29 March 2012 (diff | hist) . . (+596) . . Meeting Minutes - March 29, 2012 (→Bitvectors)
- 07:44, 29 March 2012 (diff | hist) . . (-154) . . Meeting Minutes - March 29, 2012 (→Andy's discussion items)
- 07:41, 29 March 2012 (diff | hist) . . (+16) . . Meeting Minutes - March 29, 2012 (→Andy's discussion items)
- 07:40, 29 March 2012 (diff | hist) . . (+3,968) . . Meeting Minutes - March 29, 2012 (→Discussion)
- 07:40, 29 March 2012 (diff | hist) . . (+204) . . Meeting Minutes - March 29, 2012 (→Quantifiers)
- 07:35, 29 March 2012 (diff | hist) . . (+470) . . Meeting Minutes - March 29, 2012 (→Quantifiers)
- 07:34, 29 March 2012 (diff | hist) . . (+38) . . Meeting Minutes - March 29, 2012 (→Proofs)
- 13:47, 28 March 2012 (diff | hist) . . (+42) . . Meeting Minutes - March 29, 2012 (→Arithmetic)
- 13:38, 28 March 2012 (diff | hist) . . (+158) . . Meeting Minutes - March 29, 2012 (→Sharing performance)
- 13:19, 28 March 2012 (diff | hist) . . (+19) . . Meeting Minutes - March 29, 2012 (→Arrays)
- 13:16, 28 March 2012 (diff | hist) . . (+115) . . Meeting Minutes - March 29, 2012 (→Arithmetic)
- 13:16, 28 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 29, 2012 (→Integers)
- 13:09, 28 March 2012 (diff | hist) . . (-144) . . Meeting Minutes - March 29, 2012 (→Kind integration)
- 13:08, 28 March 2012 (diff | hist) . . (-109) . . Meeting Minutes - March 29, 2012 (→Action items)
- 09:01, 28 March 2012 (diff | hist) . . (+1,172) . . N Meeting Minutes - March 29, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-29|11am|1pm}} =CVC4 status= ====Bug round-up==== ====Merges==== options (Morgan) ====Kind integration==== Integration ongoing * so…")
- 14:59, 21 March 2012 (diff | hist) . . (+188) . . Meeting Minutes - March 22, 2012 (→Kind integration)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
