User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:27, 28 October 2011 (diff | hist) . . (+1,159) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4)
- 16:22, 28 October 2011 (diff | hist) . . (-2) . . Meeting Minutes - October 28, 2011 (→Quantifiers)
- 16:22, 28 October 2011 (diff | hist) . . (+62) . . Meeting Minutes - October 28, 2011 (→Quantifiers)
- 16:20, 28 October 2011 (diff | hist) . . (+110) . . Meeting Minutes - October 28, 2011
- 16:18, 28 October 2011 (diff | hist) . . (+440) . . Meeting Minutes - October 28, 2011
- 16:16, 28 October 2011 (diff | hist) . . (+2,608) . . Meeting Minutes - October 28, 2011
- 16:02, 28 October 2011 (diff | hist) . . (+266) . . Meeting Minutes - October 28, 2011
- 16:00, 28 October 2011 (diff | hist) . . (+41) . . Meeting Minutes - October 28, 2011
- 16:00, 28 October 2011 (diff | hist) . . (-3) . . Meeting Minutes - October 28, 2011
- 15:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 cvc3 v cvc4 all.pdf (current)
- 15:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 cvc3 v cvc4.pdf (current)
- 15:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc3 all.pdf (current)
- 15:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc3.pdf (current)
- 15:58, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc4 all.pdf (current)
- 15:58, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc4.pdf (current)
- 15:58, 28 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 28, 2011
- 15:57, 28 October 2011 (diff | hist) . . (+21) . . Meeting Minutes - October 28, 2011
- 15:53, 28 October 2011 (diff | hist) . . (+798) . . N Meeting Minutes - November 4, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-11-04|10am|12pm}} =Status= =Discussion= ==Compatibility layer== * compatibility layer - not clear how to implement ** VC::stringExpr() …")
- 12:23, 21 October 2011 (diff | hist) . . (0) . . Meeting Minutes - October 28, 2011
- 08:08, 21 October 2011 (diff | hist) . . (+82) . . Meeting Minutes - October 28, 2011
- 08:08, 21 October 2011 (diff | hist) . . (+716) . . N Meeting Minutes - October 28, 2011 (Created page with "==Compatibility layer== * compatibility layer - not clear how to implement ** VC::stringExpr() [so datatypes unusable] *** ... ** Type::getExpr() *** don't support in CVC4's co…")
- 08:07, 21 October 2011 (diff | hist) . . (-718) . . Meeting Minutes - October 21, 2011 (→Compatibility layer) (current)
- 08:07, 21 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 21, 2011 (→Resource/time limiting API)
- 08:00, 21 October 2011 (diff | hist) . . (+69) . . Meeting Minutes - October 21, 2011 (→we had decided to have OutputChannel::lemma() return an int. Still appropriate?)
- 07:59, 21 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 21, 2011 (→we had decided to have OutputChannel::lemma() return an int. Still appropriate?)
- 07:58, 21 October 2011 (diff | hist) . . (+3) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 07:57, 21 October 2011 (diff | hist) . . (+25) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 07:56, 21 October 2011 (diff | hist) . . (+427) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 07:36, 21 October 2011 (diff | hist) . . (+22) . . Meeting Minutes - October 21, 2011 (→Status)
- 07:32, 21 October 2011 (diff | hist) . . (+130) . . Meeting Minutes - October 21, 2011 (→Status)
- 07:31, 21 October 2011 (diff | hist) . . (+1) . . Meeting Minutes - October 21, 2011 (→Status)
- 07:30, 21 October 2011 (diff | hist) . . (+45) . . Meeting Minutes - October 21, 2011 (→Status)
- 07:17, 21 October 2011 (diff | hist) . . (+440) . . Meeting Minutes - October 21, 2011 (→Status)
- 06:17, 21 October 2011 (diff | hist) . . (+95) . . Meeting Minutes - October 21, 2011
- 15:39, 20 October 2011 (diff | hist) . . (+154) . . Meeting Minutes - October 21, 2011
- 15:27, 20 October 2011 (diff | hist) . . (+385) . . Meeting Minutes - October 21, 2011 (→Discussion)
- 11:25, 20 October 2011 (diff | hist) . . (+35) . . Meeting Minutes - October 21, 2011 (→Discussion)
- 07:24, 14 October 2011 (diff | hist) . . (-3,200) . . Meeting Minutes - October 14, 2011 (current)
- 07:23, 14 October 2011 (diff | hist) . . (+57) . . Meeting Minutes - October 21, 2011
- 07:22, 14 October 2011 (diff | hist) . . (+3,318) . . N Meeting Minutes - October 21, 2011 (Created page with " =Status= =Discussion= ==Compatibility layer== * compatibility layer - not clear how to implement ** VC::stringExpr() [so datatypes unusable] *** ... ** Type::getExpr() *** d…")
- 07:22, 14 October 2011 (diff | hist) . . (+42) . . Meeting Minutes - October 14, 2011
- 07:20, 14 October 2011 (diff | hist) . . (+132) . . Meeting Minutes - October 14, 2011
- 07:02, 14 October 2011 (diff | hist) . . (+410) . . Meeting Minutes - October 14, 2011
- 06:36, 14 October 2011 (diff | hist) . . (+883) . . Meeting Minutes - October 14, 2011 (→Status)
- 18:20, 12 October 2011 (diff | hist) . . (+114) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 17:58, 12 October 2011 (diff | hist) . . (+18) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 17:56, 12 October 2011 (diff | hist) . . (+709) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 10:47, 6 October 2011 (diff | hist) . . (+127) . . Developer Meeting Minutes (→Third Quarter 2011)
- 10:47, 6 October 2011 (diff | hist) . . (-373) . . Developer Meeting Minutes (→Third Quarter 2011)
- 10:46, 6 October 2011 (diff | hist) . . (+376) . . Developer Meeting Minutes for 2011
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
