User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:46, 16 September 2013 (diff | hist) . . (+501) . . Meeting Minutes - September 16, 2013 (→Status)
- 11:25, 16 September 2013 (diff | hist) . . (+191) . . Meeting Minutes - September 16, 2013 (→Status)
- 11:25, 16 September 2013 (diff | hist) . . (+19) . . Meeting Minutes - September 16, 2013 (→Agenda)
- 16:34, 4 September 2013 (diff | hist) . . (0) . . Meeting Minutes - September 16, 2013
- 16:34, 4 September 2013 (diff | hist) . . (+68) . . Meeting Minutes - September 16, 2013 (→Empty tuples, records)
- 16:34, 4 September 2013 (diff | hist) . . (+688) . . N Meeting Minutes - September 16, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-09-04|1:30pm|3:30pm}} =Status= =Agenda= ==Empty tuples, records== A long time ago, we had agreed that * tuples must have size > 1 * rec…")
- 16:29, 4 September 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 16:18, 4 September 2013 (diff | hist) . . (+114) . . Meeting Minutes - September 4, 2013 (→Status) (current)
- 11:33, 4 September 2013 (diff | hist) . . (+5) . . Meeting Minutes - September 4, 2013 (→Command for get-model-only-if-sat?)
- 11:33, 4 September 2013 (diff | hist) . . (+197) . . Meeting Minutes - September 4, 2013 (→Command for get-model-only-if-sat?)
- 11:18, 4 September 2013 (diff | hist) . . (+74) . . Meeting Minutes - September 4, 2013
- 11:09, 4 September 2013 (diff | hist) . . (+612) . . Meeting Minutes - September 4, 2013
- 09:22, 3 September 2013 (diff | hist) . . (+75) . . Meeting Minutes - September 4, 2013
- 09:20, 3 September 2013 (diff | hist) . . (+62) . . Meeting Minutes - September 4, 2013 (→Agenda)
- 09:20, 3 September 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 08:53, 3 September 2013 (diff | hist) . . (+108) . . Meeting Minutes - September 4, 2013
- 08:52, 3 September 2013 (diff | hist) . . (+50) . . Meeting Minutes - September 4, 2013
- 08:52, 3 September 2013 (diff | hist) . . (+80) . . N Meeting Minutes - September 4, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-09-04|1:30pm|3:30pm}} =Status= =Agenda=")
- 11:25, 28 August 2013 (diff | hist) . . (+30) . . Meeting Minutes - August 28, 2013 (→Preprocessing and incrementality (Tim)) (current)
- 11:10, 28 August 2013 (diff | hist) . . (+89) . . Meeting Minutes - August 28, 2013 (→Agenda)
- 10:53, 28 August 2013 (diff | hist) . . (+67) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+13) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+63) . . Meeting Minutes - August 28, 2013 (→Status)
- 15:24, 22 August 2013 (diff | hist) . . (-223) . . Meeting Minutes - August 21, 2013 (current)
- 15:24, 22 August 2013 (diff | hist) . . (+223) . . Meeting Minutes - August 28, 2013
- 15:23, 22 August 2013 (diff | hist) . . (+80) . . N Meeting Minutes - August 28, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-08-28|1:30pm|3:30pm}} =Status= =Agenda=")
- 15:23, 22 August 2013 (diff | hist) . . (+192) . . Developer Meeting Minutes for 2013
- 15:21, 22 August 2013 (diff | hist) . . (+121) . . Developer Meeting Minutes for 2013 (→First Quarter 2013)
- 15:20, 22 August 2013 (diff | hist) . . (+336) . . Developer Meeting Minutes (→Meeting calendar)
- 15:16, 22 August 2013 (diff | hist) . . (0) . . About CVC4 (→Decision Procedures)
- 07:09, 20 August 2013 (diff | hist) . . (+26) . . Meeting Minutes - August 21, 2013
- 09:38, 15 August 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 09:37, 15 August 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 09:36, 15 August 2013 (diff | hist) . . (0) . . Meeting Minutes - August 21, 2013
- 17:14, 14 August 2013 (diff | hist) . . (+62) . . Meeting Minutes - August 21, 2013
- 17:13, 14 August 2013 (diff | hist) . . (+1,268) . . N Meeting Minutes - August 21, 2013 (Created page with "=Status= =Agenda= ==Preprocessing and incrementality (Tim)== ==CVC4 bugs, release== * should quash these bugs before release ===ITE simplification bug=== # A term-level ITE…")
- 17:13, 14 August 2013 (diff | hist) . . (-1,206) . . Meeting Minutes - August 14, 2013 (current)
- 11:33, 14 August 2013 (diff | hist) . . (+191) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:30, 14 August 2013 (diff | hist) . . (+88) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:13, 14 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 11:12, 14 August 2013 (diff | hist) . . (+645) . . Meeting Minutes - August 14, 2013 (→Status)
- 15:32, 13 August 2013 (diff | hist) . . (-39) . . Meeting Minutes - August 14, 2013 (→Cluster breakage)
- 15:02, 13 August 2013 (diff | hist) . . (+262) . . Meeting Minutes - August 14, 2013
- 12:34, 13 August 2013 (diff | hist) . . (+20) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:34, 13 August 2013 (diff | hist) . . (+48) . . Meeting Minutes - August 14, 2013
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:26, 13 August 2013 (diff | hist) . . (+134) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 12:24, 13 August 2013 (diff | hist) . . (+152) . . Meeting Minutes - August 14, 2013 (→Agenda)
- 12:23, 13 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
