User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 08:31, 21 October 2011 (diff | hist) . . (+1) . . Meeting Minutes - October 21, 2011 (→Status)
- 08:30, 21 October 2011 (diff | hist) . . (+45) . . Meeting Minutes - October 21, 2011 (→Status)
- 08:17, 21 October 2011 (diff | hist) . . (+440) . . Meeting Minutes - October 21, 2011 (→Status)
- 07:17, 21 October 2011 (diff | hist) . . (+95) . . Meeting Minutes - October 21, 2011
- 16:39, 20 October 2011 (diff | hist) . . (+154) . . Meeting Minutes - October 21, 2011
- 16:27, 20 October 2011 (diff | hist) . . (+385) . . Meeting Minutes - October 21, 2011 (→Discussion)
- 12:25, 20 October 2011 (diff | hist) . . (+35) . . Meeting Minutes - October 21, 2011 (→Discussion)
- 08:24, 14 October 2011 (diff | hist) . . (-3,200) . . Meeting Minutes - October 14, 2011 (current)
- 08:23, 14 October 2011 (diff | hist) . . (+57) . . Meeting Minutes - October 21, 2011
- 08: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…")
- 08:22, 14 October 2011 (diff | hist) . . (+42) . . Meeting Minutes - October 14, 2011
- 08:20, 14 October 2011 (diff | hist) . . (+132) . . Meeting Minutes - October 14, 2011
- 08:02, 14 October 2011 (diff | hist) . . (+410) . . Meeting Minutes - October 14, 2011
- 07:36, 14 October 2011 (diff | hist) . . (+883) . . Meeting Minutes - October 14, 2011 (→Status)
- 19:20, 12 October 2011 (diff | hist) . . (+114) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 18:58, 12 October 2011 (diff | hist) . . (+18) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 18:56, 12 October 2011 (diff | hist) . . (+709) . . Meeting Minutes - October 14, 2011 (→Resource/time limiting API)
- 11:47, 6 October 2011 (diff | hist) . . (+127) . . Developer Meeting Minutes (→Third Quarter 2011)
- 11:47, 6 October 2011 (diff | hist) . . (-373) . . Developer Meeting Minutes (→Third Quarter 2011)
- 11:46, 6 October 2011 (diff | hist) . . (+376) . . Developer Meeting Minutes for 2011
- 11:45, 6 October 2011 (diff | hist) . . (+2,478) . . Meeting Minutes - October 14, 2011
- 11:45, 6 October 2011 (diff | hist) . . (-2,247) . . Meeting Minutes - October 6, 2011 (current)
- 11:44, 6 October 2011 (diff | hist) . . (+56) . . N Meeting Minutes - October 14, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-10-14|10am|12pm}}")
- 11:44, 6 October 2011 (diff | hist) . . (0) . . Developer Meeting Minutes (→Fourth Quarter 2011)
- 10:22, 6 October 2011 (diff | hist) . . (+145) . . Meeting Minutes - October 6, 2011 (→Discussion)
- 10:04, 6 October 2011 (diff | hist) . . (+650) . . Meeting Minutes - October 6, 2011 (→Discussion)
- 09:58, 6 October 2011 (diff | hist) . . (+999) . . Meeting Minutes - October 6, 2011 (→Status)
- 07:34, 6 October 2011 (diff | hist) . . (+141) . . Meeting Minutes - October 6, 2011
- 07:32, 6 October 2011 (diff | hist) . . (+11) . . Meeting Minutes - October 6, 2011 (→Status)
- 07:32, 6 October 2011 (diff | hist) . . (+40) . . Meeting Minutes - October 6, 2011 (→Status)
- 07:31, 6 October 2011 (diff | hist) . . (+339) . . Meeting Minutes - October 6, 2011 (→Status)
- 07:28, 6 October 2011 (diff | hist) . . (+1,616) . . Meeting Minutes - October 6, 2011
- 17:03, 5 October 2011 (diff | hist) . . (+95) . . Meeting Minutes - October 6, 2011
- 09:41, 5 October 2011 (diff | hist) . . (+238) . . Meeting Minutes - October 6, 2011
- 09:54, 4 October 2011 (diff | hist) . . (+203) . . Meeting Minutes - October 6, 2011 (→Status)
- 05:56, 4 October 2011 (diff | hist) . . (+27) . . Meeting Minutes - October 6, 2011 (→Status)
- 05:54, 4 October 2011 (diff | hist) . . (+627) . . Meeting Minutes - October 6, 2011 (→Discussion)
- 05:54, 4 October 2011 (diff | hist) . . (-626) . . Meeting Minutes - October 6, 2011 (→Status)
- 05:53, 4 October 2011 (diff | hist) . . (+626) . . Meeting Minutes - October 6, 2011 (→Status)
- 17:58, 3 October 2011 (diff | hist) . . (0) . . Developer's Guide (→ANTLR3)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
