User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:46, 16 September 2013 (diff | hist) . . (+501) . . Meeting Minutes - September 16, 2013 (→Status)
- 10:25, 16 September 2013 (diff | hist) . . (+191) . . Meeting Minutes - September 16, 2013 (→Status)
- 10:25, 16 September 2013 (diff | hist) . . (+19) . . Meeting Minutes - September 16, 2013 (→Agenda)
- 15:34, 4 September 2013 (diff | hist) . . (0) . . Meeting Minutes - September 16, 2013
- 15:34, 4 September 2013 (diff | hist) . . (+68) . . Meeting Minutes - September 16, 2013 (→Empty tuples, records)
- 15: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…")
- 15:29, 4 September 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 15:18, 4 September 2013 (diff | hist) . . (+114) . . Meeting Minutes - September 4, 2013 (→Status) (current)
- 10:33, 4 September 2013 (diff | hist) . . (+5) . . Meeting Minutes - September 4, 2013 (→Command for get-model-only-if-sat?)
- 10:33, 4 September 2013 (diff | hist) . . (+197) . . Meeting Minutes - September 4, 2013 (→Command for get-model-only-if-sat?)
- 10:18, 4 September 2013 (diff | hist) . . (+74) . . Meeting Minutes - September 4, 2013
- 10:09, 4 September 2013 (diff | hist) . . (+612) . . Meeting Minutes - September 4, 2013
- 08:22, 3 September 2013 (diff | hist) . . (+75) . . Meeting Minutes - September 4, 2013
- 08:20, 3 September 2013 (diff | hist) . . (+62) . . Meeting Minutes - September 4, 2013 (→Agenda)
- 08:20, 3 September 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 07:53, 3 September 2013 (diff | hist) . . (+108) . . Meeting Minutes - September 4, 2013
- 07:52, 3 September 2013 (diff | hist) . . (+50) . . Meeting Minutes - September 4, 2013
- 07: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=")
- 10:25, 28 August 2013 (diff | hist) . . (+30) . . Meeting Minutes - August 28, 2013 (→Preprocessing and incrementality (Tim)) (current)
- 10:10, 28 August 2013 (diff | hist) . . (+89) . . Meeting Minutes - August 28, 2013 (→Agenda)
- 09:53, 28 August 2013 (diff | hist) . . (+67) . . Meeting Minutes - August 28, 2013 (→Status)
- 09:52, 28 August 2013 (diff | hist) . . (+13) . . Meeting Minutes - August 28, 2013 (→Status)
- 09:52, 28 August 2013 (diff | hist) . . (+63) . . Meeting Minutes - August 28, 2013 (→Status)
- 14:24, 22 August 2013 (diff | hist) . . (-223) . . Meeting Minutes - August 21, 2013 (current)
- 14:24, 22 August 2013 (diff | hist) . . (+223) . . Meeting Minutes - August 28, 2013
- 14: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=")
- 14:23, 22 August 2013 (diff | hist) . . (+192) . . Developer Meeting Minutes for 2013
- 14:21, 22 August 2013 (diff | hist) . . (+121) . . Developer Meeting Minutes for 2013 (→First Quarter 2013)
- 14:20, 22 August 2013 (diff | hist) . . (+336) . . Developer Meeting Minutes (→Meeting calendar)
- 14:16, 22 August 2013 (diff | hist) . . (0) . . About CVC4 (→Decision Procedures)
- 06:09, 20 August 2013 (diff | hist) . . (+26) . . Meeting Minutes - August 21, 2013
- 08:38, 15 August 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 08:37, 15 August 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 08:36, 15 August 2013 (diff | hist) . . (0) . . Meeting Minutes - August 21, 2013
- 16:14, 14 August 2013 (diff | hist) . . (+62) . . Meeting Minutes - August 21, 2013
- 16: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…")
- 16:13, 14 August 2013 (diff | hist) . . (-1,206) . . Meeting Minutes - August 14, 2013 (current)
- 10:33, 14 August 2013 (diff | hist) . . (+191) . . Meeting Minutes - August 14, 2013 (→Status)
- 10:30, 14 August 2013 (diff | hist) . . (+88) . . Meeting Minutes - August 14, 2013 (→Status)
- 10:13, 14 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 10:12, 14 August 2013 (diff | hist) . . (+645) . . Meeting Minutes - August 14, 2013 (→Status)
- 14:32, 13 August 2013 (diff | hist) . . (-39) . . Meeting Minutes - August 14, 2013 (→Cluster breakage)
- 14:02, 13 August 2013 (diff | hist) . . (+262) . . Meeting Minutes - August 14, 2013
- 11:34, 13 August 2013 (diff | hist) . . (+20) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:34, 13 August 2013 (diff | hist) . . (+48) . . Meeting Minutes - August 14, 2013
- 11:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 11:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 11:26, 13 August 2013 (diff | hist) . . (+134) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 11:24, 13 August 2013 (diff | hist) . . (+152) . . Meeting Minutes - August 14, 2013 (→Agenda)
- 11: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)
