User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:05, 17 March 2014 (diff | hist) . . (+321) . . Meeting Minutes - March 17, 2014
- 09:44, 17 March 2014 (diff | hist) . . (+30) . . Meeting Minutes - March 17, 2014 (→Discussion)
- 09:44, 17 March 2014 (diff | hist) . . (+65) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 09:43, 17 March 2014 (diff | hist) . . (+241) . . Meeting Minutes - March 17, 2014 (→Status)
- 08:55, 17 March 2014 (diff | hist) . . (-81) . . Meeting Minutes - March 17, 2014
- 08:55, 17 March 2014 (diff | hist) . . (+85) . . Meeting Minutes - March 17, 2014
- 15:13, 15 March 2014 (diff | hist) . . (-404) . . Meeting Minutes - March 17, 2014
- 11:10, 15 March 2014 (diff | hist) . . (+34) . . Meeting Minutes - March 17, 2014 (→Uninterpreted constants in QF_LIA)
- 11:05, 15 March 2014 (diff | hist) . . (+19) . . Meeting Minutes - March 17, 2014 (→Uninterpreted constants in QF_LIA)
- 11:02, 15 March 2014 (diff | hist) . . (+351) . . Meeting Minutes - March 17, 2014
- 15:37, 13 March 2014 (diff | hist) . . (+373) . . Meeting Minutes - March 17, 2014
- 10:44, 10 March 2014 (diff | hist) . . (+113) . . Meeting Minutes - March 10, 2014 (→Status) (current)
- 10:33, 10 March 2014 (diff | hist) . . (+17) . . Meeting Minutes - March 10, 2014 (→Discussion)
- 10:32, 10 March 2014 (diff | hist) . . (+50) . . Meeting Minutes - March 10, 2014 (→Followups)
- 10:30, 10 March 2014 (diff | hist) . . (+24) . . Meeting Minutes - March 17, 2014 (→Status)
- 10:29, 10 March 2014 (diff | hist) . . (+18) . . Meeting Minutes - March 17, 2014
- 10:26, 10 March 2014 (diff | hist) . . (+162) . . Meeting Minutes - March 10, 2014 (→Status)
- 10:25, 10 March 2014 (diff | hist) . . (-247) . . Meeting Minutes - March 10, 2014 (→Followups)
- 10:20, 10 March 2014 (diff | hist) . . (+36) . . Meeting Minutes - March 17, 2014
- 10:20, 10 March 2014 (diff | hist) . . (+268) . . Meeting Minutes - March 17, 2014
- 10:17, 10 March 2014 (diff | hist) . . (+98) . . N Meeting Minutes - March 17, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-03-17|1:30pm|3:30pm}} =Status= =Follow-ups= =Discussion=")
- 10:14, 10 March 2014 (diff | hist) . . (+400) . . Meeting Minutes - March 10, 2014 (→Status)
- 09:51, 10 March 2014 (diff | hist) . . (+260) . . Meeting Minutes - March 10, 2014 (→Status)
- 04:43, 10 March 2014 (diff | hist) . . (+68) . . Meeting Minutes - March 10, 2014
- 04:42, 10 March 2014 (diff | hist) . . (+21) . . Meeting Minutes - March 10, 2014 (→Status)
- 04:40, 10 March 2014 (diff | hist) . . (+15) . . Meeting Minutes - March 10, 2014 (→Status)
- 13:09, 8 March 2014 (diff | hist) . . (+1,339) . . Meeting Minutes - March 10, 2014 (→{{BUG|553}} and heuristics settings ordering issues)
- 13:01, 8 March 2014 (diff | hist) . . (+57) . . Meeting Minutes - March 10, 2014
- 12:35, 8 March 2014 (diff | hist) . . (+44) . . Meeting Minutes - March 10, 2014
- 05:25, 7 March 2014 (diff | hist) . . (+16) . . Meeting Minutes - March 10, 2014
- 05:24, 7 March 2014 (diff | hist) . . (+17) . . Meeting Minutes - March 10, 2014
- 05:24, 7 March 2014 (diff | hist) . . (+7) . . Meeting Minutes - March 10, 2014
- 10:06, 1 March 2014 (diff | hist) . . (+44) . . Meeting Minutes - March 10, 2014 (→Status)
- 10:06, 1 March 2014 (diff | hist) . . (+33) . . Meeting Minutes - March 10, 2014 (→Status)
- 09:37, 1 March 2014 (diff | hist) . . (+19) . . Meeting Minutes - March 10, 2014 (→Status)
- 20:05, 28 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 10, 2014
- 20:05, 28 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014 (current)
- 20: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…")
- 20:03, 28 February 2014 (diff | hist) . . (-426) . . Meeting Minutes - March 3, 2014 (→Status)
- 12:10, 25 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014
- 12:01, 25 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 3, 2014
- 11: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…")
- 11:54, 25 February 2014 (diff | hist) . . (-44) . . Meeting Minutes - February 24, 2014 (→Followups) (current)
- 12:14, 24 February 2014 (diff | hist) . . (+43) . . Meeting Minutes - February 24, 2014 (→Policy: ALL_SUPPORTED and strings and --rewrite-divk)
- 12:00, 24 February 2014 (diff | hist) . . (+165) . . Meeting Minutes - February 24, 2014 (→Status)
- 11:54, 24 February 2014 (diff | hist) . . (-29) . . Meeting Minutes - February 24, 2014 (→RewriteRules, rewritten)
- 11:53, 24 February 2014 (diff | hist) . . (+105) . . Meeting Minutes - February 24, 2014 (→Status)
- 11:45, 24 February 2014 (diff | hist) . . (+4) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 11:44, 24 February 2014 (diff | hist) . . (+442) . . Meeting Minutes - February 24, 2014
- 11:16, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
