User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:18, 27 August 2012 (diff | hist) . . (-175) . . Meeting Minutes - August 30, 2012 (→Compatibility layer)
- 10:55, 27 August 2012 (diff | hist) . . (+26) . . Meeting Minutes - August 30, 2012 (→Action items)
- 10:15, 27 August 2012 (diff | hist) . . (+64) . . Meeting Minutes - August 30, 2012
- 15:14, 24 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 30, 2012 (→Action items)
- 10:29, 24 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 30, 2012 (→Action items)
- 09:52, 23 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 23, 2012 (→Action items) (current)
- 09:52, 23 August 2012 (diff | hist) . . (+102) . . Meeting Minutes - August 30, 2012 (→Action items)
- 09:09, 23 August 2012 (diff | hist) . . (-2,496) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 09:08, 23 August 2012 (diff | hist) . . (0) . . Meeting Minutes - August 30, 2012
- 09:08, 23 August 2012 (diff | hist) . . (+81) . . Meeting Minutes - August 30, 2012
- 09:08, 23 August 2012 (diff | hist) . . (+1,225) . . Meeting Minutes - August 30, 2012 (→Action items)
- 09:06, 23 August 2012 (diff | hist) . . (+2,510) . . N Meeting Minutes - August 30, 2012 (Created page with "==Public Interface Review== Dejan and Morgan's suggestions/TODO list here. Still need to look at the ''signatures'' of classes; the first pass was j…")
- 09:06, 23 August 2012 (diff | hist) . . (+64) . . Meeting Minutes - August 23, 2012 (→Action items)
- 09:05, 23 August 2012 (diff | hist) . . (+176) . . Meeting Minutes - August 23, 2012 (→Bound vars (distinct from other vars))
- 08:54, 23 August 2012 (diff | hist) . . (+342) . . Meeting Minutes - August 23, 2012 (→Sharing + Datatypes)
- 08:41, 23 August 2012 (diff | hist) . . (+96) . . Meeting Minutes - August 23, 2012 (→Action items)
- 08:41, 23 August 2012 (diff | hist) . . (+138) . . Meeting Minutes - August 23, 2012 (→FMF Issues)
- 08:09, 23 August 2012 (diff | hist) . . (+127) . . Meeting Minutes - August 23, 2012 (→Action items)
- 08:08, 23 August 2012 (diff | hist) . . (+118) . . Meeting Minutes - August 23, 2012 (→SmtExec available for some CVC4-testing jobs)
- 08:08, 23 August 2012 (diff | hist) . . (-118) . . Meeting Minutes - August 23, 2012 (→Lambdas)
- 08:08, 23 August 2012 (diff | hist) . . (+105) . . Meeting Minutes - August 23, 2012 (→Lambdas)
- 07:49, 23 August 2012 (diff | hist) . . (+616) . . Meeting Minutes - August 23, 2012 (→Status)
- 07:32, 23 August 2012 (diff | hist) . . (+358) . . Meeting Minutes - August 23, 2012 (→Status)
- 07:26, 23 August 2012 (diff | hist) . . (+63) . . Meeting Minutes - August 23, 2012 (→Action items)
- 07:25, 23 August 2012 (diff | hist) . . (+387) . . Meeting Minutes - August 23, 2012 (→Status)
- 14:11, 22 August 2012 (diff | hist) . . (+50) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 13:40, 22 August 2012 (diff | hist) . . (+2) . . Meeting Minutes - August 23, 2012 (→Action items)
- 09:52, 22 August 2012 (diff | hist) . . (+345) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 10:00, 21 August 2012 (diff | hist) . . (-5) . . Meeting Minutes - August 23, 2012 (→Compatibility layer)
- 11:11, 20 August 2012 (diff | hist) . . (-16) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 11:09, 20 August 2012 (diff | hist) . . (+29) . . Meeting Minutes - August 23, 2012 (→Exceptions)
- 12:34, 17 August 2012 (diff | hist) . . (+90) . . Meeting Minutes - August 23, 2012 (→Action items)
- 13:11, 16 August 2012 (diff | hist) . . (+92) . . Meeting Minutes - August 23, 2012 (→Action items)
- 13:06, 16 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 23, 2012 (→Action items)
- 13:06, 16 August 2012 (diff | hist) . . (+2) . . Meeting Minutes - August 23, 2012 (→Action items)
- 11:53, 16 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 23, 2012 (→Action items)
- 11:39, 16 August 2012 (diff | hist) . . (+2) . . Meeting Minutes - August 23, 2012 (→Action items)
- 10:54, 16 August 2012 (diff | hist) . . (+87) . . Meeting Minutes - August 23, 2012 (→Action items)
- 10:53, 16 August 2012 (diff | hist) . . (+62) . . Meeting Minutes - August 16, 2012 (→Action items) (current)
- 10:39, 16 August 2012 (diff | hist) . . (-64) . . Meeting Minutes - August 23, 2012 (→Action items)
- 10:38, 16 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 16, 2012 (→Action items)
- 10:37, 16 August 2012 (diff | hist) . . (+464) . . Meeting Minutes - August 23, 2012 (→Model printing)
- 10:27, 16 August 2012 (diff | hist) . . (+902) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 10:18, 16 August 2012 (diff | hist) . . (+37) . . Meeting Minutes - August 16, 2012
- 10:18, 16 August 2012 (diff | hist) . . (+3,288) . . N Meeting Minutes - August 23, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-08-23|11am|1pm}} =Status= =Discussion= ==Public Interface Review== [[Public Interface Review|Dejan and Morgan's suggestions/TODO list h…")
- 10:16, 16 August 2012 (diff | hist) . . (+135) . . Meeting Minutes - August 16, 2012 (→Action items)
- 09:05, 16 August 2012 (diff | hist) . . (+24) . . Meeting Minutes - August 16, 2012 (→Dan Liew's question on SMT-LIB about get-value / bitvector standardization)
- 09:00, 16 August 2012 (diff | hist) . . (+443) . . Meeting Minutes - August 16, 2012 (→Models)
- 08:32, 16 August 2012 (diff | hist) . . (+74) . . Meeting Minutes - August 16, 2012 (→Action items)
- 08:31, 16 August 2012 (diff | hist) . . (+120) . . Meeting Minutes - August 16, 2012 (→Models)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
