User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 12:31, 13 January 2014 (diff | hist) . . (+48) . . Meeting Minutes - January 13, 2014 (→Status) (current)
- 12:31, 13 January 2014 (diff | hist) . . (-1) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:30, 13 January 2014 (diff | hist) . . (+47) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (-2) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (+241) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:58, 13 January 2014 (diff | hist) . . (+39) . . Meeting Minutes - January 13, 2014 (→Follow-ups)
- 11:57, 13 January 2014 (diff | hist) . . (+187) . . Meeting Minutes - January 13, 2014
- 10:07, 13 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 13, 2014
- 10:03, 13 January 2014 (diff | hist) . . (+986) . . Meeting Minutes - January 13, 2014
- 09:59, 13 January 2014 (diff | hist) . . (+62) . . Meeting Minutes - January 13, 2014
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
