User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:07, 7 February 2012 (diff | hist) . . (+328) . . N Meeting Minutes - February 9, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-02-09|11am|1pm}} =Status= ====Critical bugs==== ====KIND integration effort==== ====Integers==== ====Quantifiers==== ====Finite-model…")
- 13:01, 7 February 2012 (diff | hist) . . (+57) . . Meeting Minutes - February 2, 2012 (current)
- 11:07, 2 February 2012 (diff | hist) . . (+239) . . Meeting Minutes - February 2, 2012 (→Decision strategies and theory requests (quantifiers/FMF))
- 10:47, 2 February 2012 (diff | hist) . . (+2) . . Meeting Minutes - February 2, 2012 (→Discussion)
- 10:32, 2 February 2012 (diff | hist) . . (-16) . . Meeting Minutes - February 2, 2012 (→Arrays)
- 10:32, 2 February 2012 (diff | hist) . . (+93) . . Meeting Minutes - February 2, 2012 (→Portfolio)
- 10:30, 2 February 2012 (diff | hist) . . (-25) . . Meeting Minutes - February 2, 2012 (→Church assembly)
- 10:24, 2 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 2, 2012 (→Status)
- 10:13, 2 February 2012 (diff | hist) . . (+22) . . Meeting Minutes - February 2, 2012 (→BV)
- 10:12, 2 February 2012 (diff | hist) . . (+69) . . Meeting Minutes - February 2, 2012 (→Status)
- 10:11, 2 February 2012 (diff | hist) . . (+46) . . Meeting Minutes - February 2, 2012 (→Status)
- 10:10, 2 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 2, 2012 (→Finite-Model Finding (FMF))
- 10:10, 2 February 2012 (diff | hist) . . (+65) . . Meeting Minutes - February 2, 2012 (→Finite-Model Finding (FMF))
- 10:09, 2 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 2, 2012 (→Decision strategies and theory requests (quantifiers))
- 10:09, 2 February 2012 (diff | hist) . . (+87) . . Meeting Minutes - February 2, 2012 (→Status)
- 10:02, 2 February 2012 (diff | hist) . . (-23) . . Meeting Minutes - February 2, 2012 (→Alberto - SMT-LIB)
- 10:01, 2 February 2012 (diff | hist) . . (+90) . . Meeting Minutes - February 2, 2012 (→Status)
- 07:51, 2 February 2012 (diff | hist) . . (+25) . . Meeting Minutes - February 2, 2012
- 07:44, 2 February 2012 (diff | hist) . . (+1) . . Meeting Minutes - February 2, 2012 (→=Finite-Model Finding (FMF))
- 07:44, 2 February 2012 (diff | hist) . . (+66) . . Meeting Minutes - February 2, 2012
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
