User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:00, 27 January 2012 (diff | hist) . . (+1,473) . . N Meeting Minutes - January 27, 2012 (Created page with "What is a theory supposed to do? assert z = 0 assert x^2 > y^2 check() // preprocess z->0 gets substituted everywhere push assert x=y+z assert z1 != z2 check() …")
- 09:03, 20 January 2012 (diff | hist) . . (+20) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 09:02, 20 January 2012 (diff | hist) . . (+2) . . Release checklist
- 08:33, 20 January 2012 (diff | hist) . . (+118) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 08:31, 20 January 2012 (diff | hist) . . (+76) . . Meeting Minutes - January 20, 2012 (→Status)
- 08:10, 20 January 2012 (diff | hist) . . (+124) . . Meeting Minutes - January 20, 2012 (→Status)
- 08:08, 20 January 2012 (diff | hist) . . (+91) . . Meeting Minutes - January 20, 2012 (→Status)
- 08:03, 20 January 2012 (diff | hist) . . (+32) . . Meeting Minutes - January 20, 2012 (→Status)
- 07:57, 20 January 2012 (diff | hist) . . (+23) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 07:57, 20 January 2012 (diff | hist) . . (+69) . . Meeting Minutes - January 20, 2012 (→Status)
- 07:49, 20 January 2012 (diff | hist) . . (+663) . . N Meeting Minutes - January 20, 2012 (Created page with "=Status= * Morgan ** KIND integration / Teme ** SMT-* efforts, paper reviews.. * Liana ** relevancy ** CNFStream for bitvector sat solver (requiring some infrastructure adjustme…")
- 08:39, 16 December 2011 (diff | hist) . . (+73) . . Meeting Minutes - December 16, 2011 (→Tim's request) (current)
- 08:36, 16 December 2011 (diff | hist) . . (+56) . . Meeting Minutes - December 16, 2011 (→Portfolio)
- 08:28, 16 December 2011 (diff | hist) . . (+477) . . Meeting Minutes - December 16, 2011
- 07:29, 16 December 2011 (diff | hist) . . (+45) . . Meeting Minutes - December 16, 2011
- 07:29, 16 December 2011 (diff | hist) . . (+59) . . N Meeting Minutes - December 16, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-12-16|10:30am|12pm}}")
- 14:33, 12 December 2011 (diff | hist) . . (+2) . . Options (→Option declarations: a quickstart guide)
- 14:33, 12 December 2011 (diff | hist) . . (-142) . . Options (→Option declarations: a quickstart guide)
- 14:31, 12 December 2011 (diff | hist) . . (+71) . . Options (→Option declarations: a quickstart guide)
- 14:31, 12 December 2011 (diff | hist) . . (+37) . . Options (→Option declarations: a quickstart guide)
- 14:30, 12 December 2011 (diff | hist) . . (+15) . . Options (→Option declarations: a quickstart guide)
- 14:29, 12 December 2011 (diff | hist) . . (+1) . . Options (→Full reference: adding new options)
- 14:29, 12 December 2011 (diff | hist) . . (+23) . . Options (→Quickstart Guide)
- 14:28, 12 December 2011 (diff | hist) . . (+348) . . Options (→Quickstart Guide)
- 14:25, 12 December 2011 (diff | hist) . . (+1,128) . . Options (→Quickstart Guide)
- 13:33, 12 December 2011 (diff | hist) . . (-2) . . Options (→Quickstart Guide)
- 13:33, 12 December 2011 (diff | hist) . . (+31) . . Options (→Quickstart Guide)
- 13:32, 12 December 2011 (diff | hist) . . (+2) . . Options (→Quickstart Guide)
- 13:31, 12 December 2011 (diff | hist) . . (-2) . . Options (→Quickstart Guide)
- 13:31, 12 December 2011 (diff | hist) . . (+2,482) . . Options (→Quickstart Guide)
- 13:08, 12 December 2011 (diff | hist) . . (-68) . . Options (→Quickstart Guide)
- 13:06, 12 December 2011 (diff | hist) . . (+150) . . Options (→Quickstart Guide)
- 13:05, 12 December 2011 (diff | hist) . . (+3,259) . . Options
- 12:50, 12 December 2011 (diff | hist) . . (+12) . . Options (→How to add new options)
- 07:57, 9 December 2011 (diff | hist) . . (+522) . . Meeting Minutes - December 9, 2011 (current)
- 07:25, 9 December 2011 (diff | hist) . . (+270) . . Meeting Minutes - December 9, 2011
- 07:18, 9 December 2011 (diff | hist) . . (+173) . . N Meeting Minutes - December 9, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-12-09|10am|11am}} =Finite model finding= Work ongoing. =Quantifiers= In flux (with sharing issues). =Options merge?= Options")
- 08:59, 2 December 2011 (diff | hist) . . (+60) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 08:50, 2 December 2011 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 08:50, 2 December 2011 (diff | hist) . . (+117) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 08:44, 2 December 2011 (diff | hist) . . (+287) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 08:36, 2 December 2011 (diff | hist) . . (+203) . . Meeting Minutes - December 2, 2011 (→Integers)
- 08:33, 2 December 2011 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2011
- 08:33, 2 December 2011 (diff | hist) . . (+70) . . Meeting Minutes - December 2, 2011 (→List for Dejan)
- 08:32, 2 December 2011 (diff | hist) . . (-2) . . Meeting Minutes - December 2, 2011 (→List for Dejan)
- 08:32, 2 December 2011 (diff | hist) . . (+83) . . Meeting Minutes - December 2, 2011 (→Shared terms in arithmetic)
- 08:24, 2 December 2011 (diff | hist) . . (+40) . . Meeting Minutes - December 2, 2011 (→Portfolio)
- 08:24, 2 December 2011 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2011 (→CASCADE)
- 08:23, 2 December 2011 (diff | hist) . . (-9) . . Meeting Minutes - December 2, 2011 (→Proofs)
- 08:23, 2 December 2011 (diff | hist) . . (+32) . . Meeting Minutes - December 2, 2011 (→CASCADE)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
