User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:15, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 11:15, 24 February 2014 (diff | hist) . . (+36) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 11:15, 24 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014 (→Status)
- 11:06, 24 February 2014 (diff | hist) . . (-2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 11:05, 24 February 2014 (diff | hist) . . (+2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 11:05, 24 February 2014 (diff | hist) . . (+6) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 11:05, 24 February 2014 (diff | hist) . . (+151) . . Meeting Minutes - February 24, 2014
- 10:43, 24 February 2014 (diff | hist) . . (+775) . . Meeting Minutes - February 24, 2014
- 08:55, 21 February 2014 (diff | hist) . . (+278) . . Meeting Minutes - February 24, 2014 (→DecisionEngine, lemmas, and the ite skolem map)
- 07:55, 20 February 2014 (diff | hist) . . (+29) . . Meeting Minutes - February 24, 2014
- 07:06, 20 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014
- 07:05, 20 February 2014 (diff | hist) . . (+52) . . Meeting Minutes - February 24, 2014
- 14:17, 19 February 2014 (diff | hist) . . (+38) . . Meeting Minutes - February 24, 2014
- 15: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==")
- 15:01, 14 February 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 10:46, 13 February 2014 (diff | hist) . . (+22) . . Meeting Minutes - February 13, 2014 (→Discussion) (current)
- 15:00, 12 February 2014 (diff | hist) . . (+33) . . Meeting Minutes - February 13, 2014
- 05: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=")
- 05:29, 11 February 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 11:43, 27 January 2014 (diff | hist) . . (+23) . . Meeting Minutes - January 27, 2014 (current)
- 11:40, 27 January 2014 (diff | hist) . . (+118) . . Meeting Minutes - January 27, 2014
- 11:32, 27 January 2014 (diff | hist) . . (+371) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:21, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:20, 27 January 2014 (diff | hist) . . (+99) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:04, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 10:57, 27 January 2014 (diff | hist) . . (+27) . . Meeting Minutes - January 27, 2014 (→Status)
- 10:57, 27 January 2014 (diff | hist) . . (+186) . . Meeting Minutes - January 27, 2014 (→Status)
- 10:52, 27 January 2014 (diff | hist) . . (-11) . . Meeting Minutes - January 27, 2014 (→Status)
- 10: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…")
- 11:31, 21 January 2014 (diff | hist) . . (-21) . . Meeting Minutes - January 21, 2014 (→Discussion) (current)
- 11:22, 21 January 2014 (diff | hist) . . (+77) . . Meeting Minutes - January 21, 2014
- 11:06, 21 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 21, 2014
- 10:59, 21 January 2014 (diff | hist) . . (+120) . . Meeting Minutes - January 21, 2014
- 10:56, 21 January 2014 (diff | hist) . . (+249) . . Meeting Minutes - January 21, 2014 (→Status)
- 05:59, 21 January 2014 (diff | hist) . . (+20) . . Meeting Minutes - January 21, 2014 (→Followups)
- 05:58, 21 January 2014 (diff | hist) . . (-13) . . Meeting Minutes - January 21, 2014 (→Status)
- 05:58, 21 January 2014 (diff | hist) . . (+69) . . Meeting Minutes - January 21, 2014 (→Status)
- 05:57, 21 January 2014 (diff | hist) . . (+190) . . Meeting Minutes - January 21, 2014
- 11: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")")
- 11:28, 18 January 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 11:31, 13 January 2014 (diff | hist) . . (+48) . . Meeting Minutes - January 13, 2014 (→Status) (current)
- 11:31, 13 January 2014 (diff | hist) . . (-1) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:30, 13 January 2014 (diff | hist) . . (+47) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:04, 13 January 2014 (diff | hist) . . (-2) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:04, 13 January 2014 (diff | hist) . . (+241) . . Meeting Minutes - January 13, 2014 (→Status)
- 10:58, 13 January 2014 (diff | hist) . . (+39) . . Meeting Minutes - January 13, 2014 (→Follow-ups)
- 10:57, 13 January 2014 (diff | hist) . . (+187) . . Meeting Minutes - January 13, 2014
- 09:07, 13 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 13, 2014
- 09:03, 13 January 2014 (diff | hist) . . (+986) . . Meeting Minutes - January 13, 2014
- 08:59, 13 January 2014 (diff | hist) . . (+62) . . Meeting Minutes - January 13, 2014
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
