User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:33, 15 October 2013 (diff | hist) . . (+24) . . N Meeting Minutes - October 21, 2013 (Created page with "=Agenda= ==Exit codes==")
- 15:33, 15 October 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 12:01, 30 September 2013 (diff | hist) . . (+38) . . Meeting Minutes - September 30, 2013 (→Status)
- 11:54, 30 September 2013 (diff | hist) . . (+541) . . Meeting Minutes - September 30, 2013
- 11:37, 30 September 2013 (diff | hist) . . (+1,021) . . N Meeting Minutes - September 30, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-09-23|1:30pm|3:30pm}} =Status= Morgan * tasks for this week ** int2bv/bv2nat documentation *** also add to CVC language parser ** get to …")
- 11:45, 23 September 2013 (diff | hist) . . (+116) . . Meeting Minutes - September 23, 2013 (→Status) (current)
- 11:30, 23 September 2013 (diff | hist) . . (+206) . . Meeting Minutes - September 23, 2013 (→Status)
- 11:10, 23 September 2013 (diff | hist) . . (+698) . . Meeting Minutes - September 23, 2013 (→Agenda)
- 09:44, 23 September 2013 (diff | hist) . . (+1,258) . . N Command verbosity (Created page with "<pre> Per-command verbosity can now be set in CVC4, as discussed in our meeting a few weeks back. Commands can have verbosity 0, 1, or 2. The normal output is always printed (e…") (current)
- 09:43, 23 September 2013 (diff | hist) . . (+1,779) . . N Personal config (Created page with "<pre> Kshitij mentioned in the meeting a new feature of the build system that allows for "personal" configurations. I'll probably commit this to master soon. Unless you specifi…") (current)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
