User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:58, 4 November 2011 (diff | hist) . . (+50) . . Meeting Minutes - November 4, 2011 (→Agenda: Compatibility layer) (current)
- 08:53, 4 November 2011 (diff | hist) . . (+380) . . Meeting Minutes - November 4, 2011 (→KIND integration)
- 08:38, 4 November 2011 (diff | hist) . . (+335) . . Meeting Minutes - November 4, 2011
- 08:32, 4 November 2011 (diff | hist) . . (+10) . . Meeting Minutes - November 4, 2011 (→VSTTE challenge problems)
- 08:12, 4 November 2011 (diff | hist) . . (+152) . . Meeting Minutes - November 4, 2011 (→Portfolio)
- 08:11, 4 November 2011 (diff | hist) . . (+123) . . CVC4 Wishlist
- 08:05, 4 November 2011 (diff | hist) . . (+423) . . Meeting Minutes - November 4, 2011 (→Portfolio)
- 07:56, 4 November 2011 (diff | hist) . . (+510) . . Meeting Minutes - November 4, 2011
- 07:48, 4 November 2011 (diff | hist) . . (+562) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 07:30, 4 November 2011 (diff | hist) . . (+616) . . Meeting Minutes - November 4, 2011
- 07:18, 4 November 2011 (diff | hist) . . (+31) . . Meeting Minutes - November 4, 2011 (→CASCADE)
- 07:17, 4 November 2011 (diff | hist) . . (+118) . . Meeting Minutes - November 4, 2011
- 07:47, 3 November 2011 (diff | hist) . . (+4) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 07:42, 3 November 2011 (diff | hist) . . (+250) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 18:26, 1 November 2011 (diff | hist) . . (+257) . . Meeting Minutes - November 4, 2011
- 18:23, 1 November 2011 (diff | hist) . . (+311) . . Meeting Minutes - November 4, 2011
- 19:48, 28 October 2011 (diff | hist) . . (+85) . . Meeting Minutes - November 4, 2011 (→KIND integration)
- 19:48, 28 October 2011 (diff | hist) . . (+448) . . Meeting Minutes - November 4, 2011
- 17:30, 28 October 2011 (diff | hist) . . (+305) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4) (current)
- 17:28, 28 October 2011 (diff | hist) . . (+351) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4)
- 17:27, 28 October 2011 (diff | hist) . . (+1,159) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4)
- 17:22, 28 October 2011 (diff | hist) . . (-2) . . Meeting Minutes - October 28, 2011 (→Quantifiers)
- 17:22, 28 October 2011 (diff | hist) . . (+62) . . Meeting Minutes - October 28, 2011 (→Quantifiers)
- 17:20, 28 October 2011 (diff | hist) . . (+110) . . Meeting Minutes - October 28, 2011
- 17:18, 28 October 2011 (diff | hist) . . (+440) . . Meeting Minutes - October 28, 2011
- 17:16, 28 October 2011 (diff | hist) . . (+2,608) . . Meeting Minutes - October 28, 2011
- 17:02, 28 October 2011 (diff | hist) . . (+266) . . Meeting Minutes - October 28, 2011
- 17:00, 28 October 2011 (diff | hist) . . (+41) . . Meeting Minutes - October 28, 2011
- 17:00, 28 October 2011 (diff | hist) . . (-3) . . Meeting Minutes - October 28, 2011
- 16:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 cvc3 v cvc4 all.pdf (current)
- 16:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 cvc3 v cvc4.pdf (current)
- 16:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc3 all.pdf (current)
- 16:59, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc3.pdf (current)
- 16:58, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc4 all.pdf (current)
- 16:58, 28 October 2011 (diff | hist) . . (0) . . N File:Afosr oct2011 yices v cvc4.pdf (current)
- 16:58, 28 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 28, 2011
- 16:57, 28 October 2011 (diff | hist) . . (+21) . . Meeting Minutes - October 28, 2011
- 16: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() …")
- 13:23, 21 October 2011 (diff | hist) . . (0) . . Meeting Minutes - October 28, 2011
- 09:08, 21 October 2011 (diff | hist) . . (+82) . . Meeting Minutes - October 28, 2011
- 09: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…")
- 09:07, 21 October 2011 (diff | hist) . . (-718) . . Meeting Minutes - October 21, 2011 (→Compatibility layer) (current)
- 09:07, 21 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 21, 2011 (→Resource/time limiting API)
- 09:00, 21 October 2011 (diff | hist) . . (+69) . . Meeting Minutes - October 21, 2011 (→we had decided to have OutputChannel::lemma() return an int. Still appropriate?)
- 08:59, 21 October 2011 (diff | hist) . . (+12) . . Meeting Minutes - October 21, 2011 (→we had decided to have OutputChannel::lemma() return an int. Still appropriate?)
- 08:58, 21 October 2011 (diff | hist) . . (+3) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 08:57, 21 October 2011 (diff | hist) . . (+25) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 08:56, 21 October 2011 (diff | hist) . . (+427) . . Meeting Minutes - October 21, 2011 (→Distinction between = and iff)
- 08:36, 21 October 2011 (diff | hist) . . (+22) . . Meeting Minutes - October 21, 2011 (→Status)
- 08:32, 21 October 2011 (diff | hist) . . (+130) . . Meeting Minutes - October 21, 2011 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
