User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:32, 9 February 2012 (diff | hist) . . (+142) . . Meeting Minutes - February 9, 2012 (→Status)
- 15:30, 8 February 2012 (diff | hist) . . (+23) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 15:29, 8 February 2012 (diff | hist) . . (+30) . . Meeting Minutes - February 9, 2012 (→Bitvectors)
- 15:29, 8 February 2012 (diff | hist) . . (+44) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 15:26, 8 February 2012 (diff | hist) . . (+112) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 15:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 15:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 15:22, 8 February 2012 (diff | hist) . . (+87) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 15:22, 8 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
- 15:22, 8 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
- 15:21, 8 February 2012 (diff | hist) . . (+70) . . Meeting Minutes - February 9, 2012 (→Integers)
- 15:20, 8 February 2012 (diff | hist) . . (+130) . . Meeting Minutes - February 9, 2012 (→Bitvectors)
- 15:20, 8 February 2012 (diff | hist) . . (+51) . . Meeting Minutes - February 9, 2012 (→Status)
- 15:19, 8 February 2012 (diff | hist) . . (+45) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 14:21, 8 February 2012 (diff | hist) . . (+47) . . Meeting Minutes - February 9, 2012 (→"Rewriters")
- 14:20, 8 February 2012 (diff | hist) . . (+857) . . Meeting Minutes - February 9, 2012 (→Status)
- 14:15, 8 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 14:14, 8 February 2012 (diff | hist) . . (+143) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 14:22, 7 February 2012 (diff | hist) . . (+50) . . Meeting Minutes - February 9, 2012 (→Status)
- 13:07, 7 February 2012 (diff | hist) . . (+53) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 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
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
