User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:13, 2 February 2012 (diff | hist) . . (+23) . . Meeting Minutes - February 2, 2012
- 06:45, 2 February 2012 (diff | hist) . . (+24) . . Meeting Minutes - February 2, 2012 (→Status)
- 06:44, 2 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 2, 2012 (→Status)
- 06:44, 2 February 2012 (diff | hist) . . (+19) . . Meeting Minutes - February 2, 2012 (→Discussion)
- 06:44, 2 February 2012 (diff | hist) . . (-7) . . Meeting Minutes - February 2, 2012
- 06:44, 2 February 2012 (diff | hist) . . (+226) . . N Meeting Minutes - February 2, 2012 (Created page with "=Status= ==Portfolio== ==KIND integration== ==Quantifiers== ==CASCADE== ==BV== ==Integers== ==Arrays== =Discussion= ==What's a Theory supposed to do?== ==Decision strat…")
- 06:42, 2 February 2012 (diff | hist) . . (+58) . . Meeting Minutes - January 20, 2012 (current)
- 06:41, 2 February 2012 (diff | hist) . . (0) . . Meeting Minutes - January 27, 2012 (current)
- 06:41, 2 February 2012 (diff | hist) . . (+405) . . Meeting Minutes - January 27, 2012
- 06:39, 2 February 2012 (diff | hist) . . (+56) . . Meeting Minutes - January 27, 2012
- 06:39, 2 February 2012 (diff | hist) . . (+2) . . Developer Meeting Minutes for 2011 (→Fourth Quarter 2011) (current)
- 06:38, 2 February 2012 (diff | hist) . . (-2) . . Developer Meeting Minutes (→Second Quarter 2012)
- 06:38, 2 February 2012 (diff | hist) . . (-2) . . Developer Meeting Minutes (→First Quarter 2012)
- 06:38, 2 February 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→First Quarter 2012)
- 06:38, 2 February 2012 (diff | hist) . . (-200) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2011)
- 06:32, 2 February 2012 (diff | hist) . . (0) . . Developer Meeting Minutes for 2012
- 06:32, 2 February 2012 (diff | hist) . . (+215) . . Developer Meeting Minutes for 2012
- 06:31, 2 February 2012 (diff | hist) . . (+125) . . N Developer Meeting Minutes for 2012 (Created page with "The fourth quarter meeting index is still on the main meeting minutes page.")
- 06:31, 2 February 2012 (diff | hist) . . (+198) . . Developer Meeting Minutes for 2011 (→Fourth Quarter 2011)
- 06:30, 2 February 2012 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2011))
- 12: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() …")
- 10:03, 20 January 2012 (diff | hist) . . (+20) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 10:02, 20 January 2012 (diff | hist) . . (+2) . . Release checklist
- 09:33, 20 January 2012 (diff | hist) . . (+118) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 09:31, 20 January 2012 (diff | hist) . . (+76) . . Meeting Minutes - January 20, 2012 (→Status)
- 09:10, 20 January 2012 (diff | hist) . . (+124) . . Meeting Minutes - January 20, 2012 (→Status)
- 09:08, 20 January 2012 (diff | hist) . . (+91) . . Meeting Minutes - January 20, 2012 (→Status)
- 09:03, 20 January 2012 (diff | hist) . . (+32) . . Meeting Minutes - January 20, 2012 (→Status)
- 08:57, 20 January 2012 (diff | hist) . . (+23) . . Meeting Minutes - January 20, 2012 (→Discussion)
- 08:57, 20 January 2012 (diff | hist) . . (+69) . . Meeting Minutes - January 20, 2012 (→Status)
- 08: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…")
- 09:39, 16 December 2011 (diff | hist) . . (+73) . . Meeting Minutes - December 16, 2011 (→Tim's request) (current)
- 09:36, 16 December 2011 (diff | hist) . . (+56) . . Meeting Minutes - December 16, 2011 (→Portfolio)
- 09:28, 16 December 2011 (diff | hist) . . (+477) . . Meeting Minutes - December 16, 2011
- 08:29, 16 December 2011 (diff | hist) . . (+45) . . Meeting Minutes - December 16, 2011
- 08: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}}")
- 15:33, 12 December 2011 (diff | hist) . . (+2) . . Options (→Option declarations: a quickstart guide)
- 15:33, 12 December 2011 (diff | hist) . . (-142) . . Options (→Option declarations: a quickstart guide)
- 15:31, 12 December 2011 (diff | hist) . . (+71) . . Options (→Option declarations: a quickstart guide)
- 15:31, 12 December 2011 (diff | hist) . . (+37) . . Options (→Option declarations: a quickstart guide)
- 15:30, 12 December 2011 (diff | hist) . . (+15) . . Options (→Option declarations: a quickstart guide)
- 15:29, 12 December 2011 (diff | hist) . . (+1) . . Options (→Full reference: adding new options)
- 15:29, 12 December 2011 (diff | hist) . . (+23) . . Options (→Quickstart Guide)
- 15:28, 12 December 2011 (diff | hist) . . (+348) . . Options (→Quickstart Guide)
- 15:25, 12 December 2011 (diff | hist) . . (+1,128) . . Options (→Quickstart Guide)
- 14:33, 12 December 2011 (diff | hist) . . (-2) . . Options (→Quickstart Guide)
- 14:33, 12 December 2011 (diff | hist) . . (+31) . . Options (→Quickstart Guide)
- 14:32, 12 December 2011 (diff | hist) . . (+2) . . Options (→Quickstart Guide)
- 14:31, 12 December 2011 (diff | hist) . . (-2) . . Options (→Quickstart Guide)
- 14:31, 12 December 2011 (diff | hist) . . (+2,482) . . Options (→Quickstart Guide)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
