User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:29, 16 August 2012 (diff | hist) . . (+231) . . Meeting Minutes - August 16, 2012 (→Cardinality computation)
- 08:18, 16 August 2012 (diff | hist) . . (+32) . . Meeting Minutes - August 16, 2012 (→Action items)
- 08:14, 16 August 2012 (diff | hist) . . (+84) . . Meeting Minutes - August 16, 2012 (→Action items)
- 08:13, 16 August 2012 (diff | hist) . . (-2) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 08:12, 16 August 2012 (diff | hist) . . (+151) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 08:06, 16 August 2012 (diff | hist) . . (+93) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 07:59, 16 August 2012 (diff | hist) . . (+171) . . Meeting Minutes - August 16, 2012 (→Cluster options)
- 07:58, 16 August 2012 (diff | hist) . . (-28) . . Meeting Minutes - August 16, 2012 (→Parser problems lately)
- 07:37, 16 August 2012 (diff | hist) . . (+59) . . Meeting Minutes - August 16, 2012 (→Status)
- 07:33, 16 August 2012 (diff | hist) . . (+14) . . Meeting Minutes - August 16, 2012 (→Status)
- 07:33, 16 August 2012 (diff | hist) . . (+93) . . Meeting Minutes - August 16, 2012 (→Models)
- 07:32, 16 August 2012 (diff | hist) . . (+67) . . Meeting Minutes - August 16, 2012 (→Status)
- 07:31, 16 August 2012 (diff | hist) . . (+12) . . Meeting Minutes - August 16, 2012 (→Cardinality computation)
- 07:31, 16 August 2012 (diff | hist) . . (+38) . . Meeting Minutes - August 16, 2012 (→Status)
- 07:31, 16 August 2012 (diff | hist) . . (0) . . Meeting Minutes - August 16, 2012 (→Discussion)
- 07:30, 16 August 2012 (diff | hist) . . (+339) . . Meeting Minutes - August 16, 2012 (→Status)
- 07:27, 16 August 2012 (diff | hist) . . (-2) . . Meeting Minutes - August 16, 2012 (→Action items)
- 07:27, 16 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 16, 2012 (→Action items)
- 07:26, 16 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 16, 2012 (→Action items)
- 07:22, 16 August 2012 (diff | hist) . . (+92) . . Meeting Minutes - August 16, 2012 (→Discussion)
- 07:17, 16 August 2012 (diff | hist) . . (+28) . . Meeting Minutes - August 16, 2012 (→Discussion)
- 12:46, 15 August 2012 (diff | hist) . . (+322) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 12:09, 15 August 2012 (diff | hist) . . (+638) . . Meeting Minutes - August 16, 2012 (→Compatibility layer)
- 11:57, 15 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 16, 2012 (→Action items)
- 11:57, 15 August 2012 (diff | hist) . . (+63) . . Meeting Minutes - August 16, 2012 (→Compatibility layer)
- 11:56, 15 August 2012 (diff | hist) . . (+200) . . Meeting Minutes - August 16, 2012 (→Dan Liew's question on SMT-LIB about get-value / bitvector standardization)
- 04:44, 15 August 2012 (diff | hist) . . (+80) . . Meeting Minutes - August 16, 2012 (→SMT-LIBv1 QF_SAT woes)
- 17:28, 14 August 2012 (diff | hist) . . (+12) . . Meeting Minutes - August 16, 2012 (→Cardinality)
- 17:28, 14 August 2012 (diff | hist) . . (+187) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 10:04, 14 August 2012 (diff | hist) . . (+66) . . Meeting Minutes - August 16, 2012 (→Exceptions)
- 10:02, 14 August 2012 (diff | hist) . . (+2) . . Meeting Minutes - August 16, 2012 (→Action items)
- 09:58, 14 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 16, 2012 (→Action items)
- 09:58, 14 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 9, 2012 (→Action items) (current)
- 06:24, 14 August 2012 (diff | hist) . . (+6) . . Meeting Minutes - August 16, 2012 (→SMT-LIBv1 QF_SAT woes)
- 06:15, 14 August 2012 (diff | hist) . . (+421) . . Meeting Minutes - August 16, 2012 (→propagateAsDecision() and getNextDecisionRequest())
- 12:33, 13 August 2012 (diff | hist) . . (+56) . . Meeting Minutes - August 16, 2012 (→Discussion)
- 11:53, 9 August 2012 (diff | hist) . . (-322) . . Meeting Minutes - August 9, 2012
- 11:53, 9 August 2012 (diff | hist) . . (+1,445) . . N Meeting Minutes - August 16, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-08-16|11am|1pm}} =Status= =Discussion= ==Public Interface Review== [[Public Interface Review|Dejan and Morgan's suggestions/TODO list h…")
- 11:51, 9 August 2012 (diff | hist) . . (+25) . . Meeting Minutes - August 9, 2012 (→Action items)
- 10:30, 9 August 2012 (diff | hist) . . (+78) . . Meeting Minutes - August 9, 2012 (→Action items)
- 08:46, 9 August 2012 (diff | hist) . . (+17) . . Meeting Minutes - August 9, 2012 (→Status)
- 08:35, 9 August 2012 (diff | hist) . . (+304) . . Meeting Minutes - August 9, 2012 (→Architecture for model construction)
- 08:20, 9 August 2012 (diff | hist) . . (+117) . . Meeting Minutes - August 9, 2012 (→Architecture for model construction)
- 07:41, 9 August 2012 (diff | hist) . . (+41) . . Meeting Minutes - August 9, 2012 (→Discussion)
- 07:40, 9 August 2012 (diff | hist) . . (+537) . . Meeting Minutes - August 9, 2012 (→Status)
- 07:20, 9 August 2012 (diff | hist) . . (+5) . . Meeting Minutes - August 9, 2012 (→Action items)
- 07:19, 9 August 2012 (diff | hist) . . (+121) . . Meeting Minutes - August 9, 2012 (→Action items)
- 07:18, 9 August 2012 (diff | hist) . . (+257) . . Meeting Minutes - August 9, 2012 (→Status)
- 05:02, 9 August 2012 (diff | hist) . . (0) . . Meeting Minutes - August 9, 2012 (→StatsRegistry issues)
- 05:02, 9 August 2012 (diff | hist) . . (+179) . . Meeting Minutes - August 9, 2012 (→StatsRegistry issues)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
