User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:17, 9 February 2012 (diff | hist) . . (+213) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 10:15, 9 February 2012 (diff | hist) . . (+230) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 10:01, 9 February 2012 (diff | hist) . . (-23) . . Meeting Minutes - February 9, 2012 (→SPARK integration)
- 09:58, 9 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 09:57, 9 February 2012 (diff | hist) . . (+332) . . Meeting Minutes - February 9, 2012 (→CNF proofs (Andy))
- 09:47, 9 February 2012 (diff | hist) . . (+461) . . Meeting Minutes - February 9, 2012
- 09:36, 9 February 2012 (diff | hist) . . (+100) . . Meeting Minutes - February 9, 2012 (→Status)
- 08:48, 9 February 2012 (diff | hist) . . (+318) . . Meeting Minutes - February 9, 2012 (→"Rewrite" rules)
- 08:38, 9 February 2012 (diff | hist) . . (-5) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 08:37, 9 February 2012 (diff | hist) . . (+55) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 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
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
