User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 14:08, 12 December 2011 (diff | hist) . . (-68) . . Options (→Quickstart Guide)
- 14:06, 12 December 2011 (diff | hist) . . (+150) . . Options (→Quickstart Guide)
- 14:05, 12 December 2011 (diff | hist) . . (+3,259) . . Options
- 13:50, 12 December 2011 (diff | hist) . . (+12) . . Options (→How to add new options)
- 08:57, 9 December 2011 (diff | hist) . . (+522) . . Meeting Minutes - December 9, 2011 (current)
- 08:25, 9 December 2011 (diff | hist) . . (+270) . . Meeting Minutes - December 9, 2011
- 08: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")
- 09:59, 2 December 2011 (diff | hist) . . (+60) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 09:50, 2 December 2011 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 09:50, 2 December 2011 (diff | hist) . . (+117) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
