User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:24, 7 March 2014 (diff | hist) . . (+17) . . Meeting Minutes - March 10, 2014
- 06:24, 7 March 2014 (diff | hist) . . (+7) . . Meeting Minutes - March 10, 2014
- 11:06, 1 March 2014 (diff | hist) . . (+44) . . Meeting Minutes - March 10, 2014 (→Status)
- 11:06, 1 March 2014 (diff | hist) . . (+33) . . Meeting Minutes - March 10, 2014 (→Status)
- 10:37, 1 March 2014 (diff | hist) . . (+19) . . Meeting Minutes - March 10, 2014 (→Status)
- 21:05, 28 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 10, 2014
- 21:05, 28 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014 (current)
- 21:04, 28 February 2014 (diff | hist) . . (+461) . . N Meeting Minutes - March 10, 2014 (Created page with "=Status= Morgan * CVC4 commits ** proofs *** letification for UF *** arrays ** CVC language parser for infix/mixfix string operators ** Quantifier bugfixes ** Theory-preprocessi…")
- 21:03, 28 February 2014 (diff | hist) . . (-426) . . Meeting Minutes - March 3, 2014 (→Status)
- 13:10, 25 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014
- 13:01, 25 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 3, 2014
- 12:57, 25 February 2014 (diff | hist) . . (+462) . . N Meeting Minutes - March 3, 2014 (Created page with "=Status= Morgan * CVC4 commits ** proofs *** letification for UF *** arrays ** CVC language parser for infix/mixfix string opertaors ** Quantifier bugfixes ** Theory-preprocessi…")
- 12:54, 25 February 2014 (diff | hist) . . (-44) . . Meeting Minutes - February 24, 2014 (→Followups) (current)
- 13:14, 24 February 2014 (diff | hist) . . (+43) . . Meeting Minutes - February 24, 2014 (→Policy: ALL_SUPPORTED and strings and --rewrite-divk)
- 13:00, 24 February 2014 (diff | hist) . . (+165) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:54, 24 February 2014 (diff | hist) . . (-29) . . Meeting Minutes - February 24, 2014 (→RewriteRules, rewritten)
- 12:53, 24 February 2014 (diff | hist) . . (+105) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:45, 24 February 2014 (diff | hist) . . (+4) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:44, 24 February 2014 (diff | hist) . . (+442) . . Meeting Minutes - February 24, 2014
- 12:16, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:15, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:15, 24 February 2014 (diff | hist) . . (+36) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:15, 24 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:06, 24 February 2014 (diff | hist) . . (-2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+6) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+151) . . Meeting Minutes - February 24, 2014
- 11:43, 24 February 2014 (diff | hist) . . (+775) . . Meeting Minutes - February 24, 2014
- 09:55, 21 February 2014 (diff | hist) . . (+278) . . Meeting Minutes - February 24, 2014 (→DecisionEngine, lemmas, and the ite skolem map)
- 08:55, 20 February 2014 (diff | hist) . . (+29) . . Meeting Minutes - February 24, 2014
- 08:06, 20 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014
- 08:05, 20 February 2014 (diff | hist) . . (+52) . . Meeting Minutes - February 24, 2014
- 15:17, 19 February 2014 (diff | hist) . . (+38) . . Meeting Minutes - February 24, 2014
- 16:01, 14 February 2014 (diff | hist) . . (+134) . . N Meeting Minutes - February 24, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-02-24|1:30pm|3:30pm}} =Status= =Discussion= ==ALL_SUPPORTED and strings and --rewrite-divk==")
- 16:01, 14 February 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 11:46, 13 February 2014 (diff | hist) . . (+22) . . Meeting Minutes - February 13, 2014 (→Discussion) (current)
- 16:00, 12 February 2014 (diff | hist) . . (+33) . . Meeting Minutes - February 13, 2014
- 06:30, 11 February 2014 (diff | hist) . . (+84) . . N Meeting Minutes - February 13, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-02-13|1:30pm|3:30pm}} =Status= =Discussion=")
- 06:29, 11 February 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 12:43, 27 January 2014 (diff | hist) . . (+23) . . Meeting Minutes - January 27, 2014 (current)
- 12:40, 27 January 2014 (diff | hist) . . (+118) . . Meeting Minutes - January 27, 2014
- 12:32, 27 January 2014 (diff | hist) . . (+371) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:21, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:20, 27 January 2014 (diff | hist) . . (+99) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:04, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+27) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+186) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (-11) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (+439) . . N Meeting Minutes - January 27, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-27|1:30pm|3:30pm}} =Status= Morgan * some forward progress on ** proof compaction ** strings experiments for Tianyi for CAV ** rings p…")
- 12:31, 21 January 2014 (diff | hist) . . (-21) . . Meeting Minutes - January 21, 2014 (→Discussion) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
