User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:43, 23 September 2013 (diff | hist) . . (0) . . Rewrite-divk (current)
- 09:43, 23 September 2013 (diff | hist) . . (+1,811) . . N Rewrite-divk (Created page with "<xmp> For a few months, CVC4 has supported div-by-constant (both int and real), mod-by-constant, and SMT-LIB's "divisible" predicate (which is always by a constant) in linear log…")
- 09:42, 23 September 2013 (diff | hist) . . (+23) . . Meeting Minutes - September 23, 2013
- 09:39, 23 September 2013 (diff | hist) . . (+139) . . Meeting Minutes - September 23, 2013
- 08:18, 21 September 2013 (diff | hist) . . (+501) . . Meeting Minutes - September 23, 2013
- 16:51, 20 September 2013 (diff | hist) . . (+30) . . Meeting Minutes - September 23, 2013 (→Agenda)
- 16:51, 20 September 2013 (diff | hist) . . (+70) . . Meeting Minutes - September 23, 2013 (→Status)
- 16:50, 20 September 2013 (diff | hist) . . (+37) . . Meeting Minutes - September 23, 2013
- 17:08, 16 September 2013 (diff | hist) . . (+218) . . Meeting Minutes - September 23, 2013
- 17:07, 16 September 2013 (diff | hist) . . (+417) . . N Meeting Minutes - September 23, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-09-23|1:30pm|3:30pm}} =Status= Morgan * notes on command-verbosity, rewrite-divk, and personal config * CVC native language docs fixed fo…")
- 17:04, 16 September 2013 (diff | hist) . . (+2) . . CVC4's native language (→Tuples and Records)
- 16:57, 16 September 2013 (diff | hist) . . (+207) . . CVC4's native language (→Tuples and Records)
- 16:54, 16 September 2013 (diff | hist) . . (+3) . . CVC4's native language (→Record Types)
- 16:54, 16 September 2013 (diff | hist) . . (-13) . . CVC4's native language (→Tuple Types)
- 16:54, 16 September 2013 (diff | hist) . . (+65) . . CVC4's native language (→Tuple Types)
- 12:09, 16 September 2013 (diff | hist) . . (+193) . . Meeting Minutes - September 16, 2013 (→Status) (current)
- 12:02, 16 September 2013 (diff | hist) . . (+9) . . Meeting Minutes - September 16, 2013 (→ITE simplification)
- 12:01, 16 September 2013 (diff | hist) . . (+94) . . Meeting Minutes - September 16, 2013 (→Agenda)
- 11:48, 16 September 2013 (diff | hist) . . (+236) . . Meeting Minutes - September 16, 2013 (→bv2nat/int2bv)
- 11:47, 16 September 2013 (diff | hist) . . (-154) . . Meeting Minutes - September 16, 2013 (→Empty tuples, records)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
