User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 12:22, 21 January 2014 (diff | hist) . . (+77) . . Meeting Minutes - January 21, 2014
- 12:06, 21 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 21, 2014
- 11:59, 21 January 2014 (diff | hist) . . (+120) . . Meeting Minutes - January 21, 2014
- 11:56, 21 January 2014 (diff | hist) . . (+249) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:59, 21 January 2014 (diff | hist) . . (+20) . . Meeting Minutes - January 21, 2014 (→Followups)
- 06:58, 21 January 2014 (diff | hist) . . (-13) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:58, 21 January 2014 (diff | hist) . . (+69) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:57, 21 January 2014 (diff | hist) . . (+190) . . Meeting Minutes - January 21, 2014
- 12:28, 18 January 2014 (diff | hist) . . (+157) . . N Meeting Minutes - January 21, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-21|1:30pm|3:30pm}} =Status= =Discussion= Partial functions in the theory of strings (e.g. "charAt" and "substr")")
- 12:28, 18 January 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
