User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:22, 11 November 2013 (diff | hist) . . (+466) . . Meeting Minutes - November 11, 2013 (→Status)
- 10:56, 11 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 11, 2013 (→Status)
- 10:55, 11 November 2013 (diff | hist) . . (+422) . . Meeting Minutes - November 11, 2013 (→Status)
- 10:10, 11 November 2013 (diff | hist) . . (+61) . . Meeting Minutes - November 11, 2013
- 08:51, 11 November 2013 (diff | hist) . . (+54) . . Meeting Minutes - November 11, 2013
- 08:07, 11 November 2013 (diff | hist) . . (+548) . . Meeting Minutes - November 11, 2013
- 15:08, 4 November 2013 (diff | hist) . . (+60) . . N Meeting Minutes - November 11, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-11|1:30pm|3:30pm}}")
- 15:07, 4 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 4, 2013 (current)
- 12:31, 4 November 2013 (diff | hist) . . (+198) . . Meeting Minutes - November 4, 2013 (→Discussion)
- 12:18, 4 November 2013 (diff | hist) . . (+275) . . Meeting Minutes - November 4, 2013
- 11:58, 4 November 2013 (diff | hist) . . (+1,915) . . N Meeting Minutes - November 4, 2013 (Created page with "=Status= Morgan * AFOSR final report * set up infrastructure for CASCADE results database * path schema discussions with Stephane * KIND merge coming, other commits Liana * bit…")
- 11:14, 28 October 2013 (diff | hist) . . (+310) . . Meeting Minutes - October 28, 2013 (current)
- 10:27, 28 October 2013 (diff | hist) . . (+610) . . Meeting Minutes - October 28, 2013 (→Status)
- 18:41, 24 October 2013 (diff | hist) . . (+200) . . Meeting Minutes - October 28, 2013
- 13:50, 21 October 2013 (diff | hist) . . (0) . . Meeting Minutes - October 28, 2013
- 13:32, 21 October 2013 (diff | hist) . . (+115) . . Meeting Minutes - October 28, 2013
- 13:32, 21 October 2013 (diff | hist) . . (+62) . . Meeting Minutes - October 21, 2013 (current)
- 13:31, 21 October 2013 (diff | hist) . . (+117) . . N Meeting Minutes - October 28, 2013 (Created page with " Morgan * find HAMPI benchmarks / write to Vijay * datatypes thing?---getCardinality() caching * benchmarks for clark")
- 13:31, 21 October 2013 (diff | hist) . . (+14) . . Meeting Minutes - October 21, 2013 (→Follow-ups)
- 10:33, 21 October 2013 (diff | hist) . . (+1,597) . . Meeting Minutes - October 21, 2013 (→Agenda)
- 14:33, 15 October 2013 (diff | hist) . . (+24) . . N Meeting Minutes - October 21, 2013 (Created page with "=Agenda= ==Exit codes==")
- 14:33, 15 October 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 11:01, 30 September 2013 (diff | hist) . . (+38) . . Meeting Minutes - September 30, 2013 (→Status)
- 10:54, 30 September 2013 (diff | hist) . . (+541) . . Meeting Minutes - September 30, 2013
- 10: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 …")
- 10:45, 23 September 2013 (diff | hist) . . (+116) . . Meeting Minutes - September 23, 2013 (→Status) (current)
- 10:30, 23 September 2013 (diff | hist) . . (+206) . . Meeting Minutes - September 23, 2013 (→Status)
- 10:10, 23 September 2013 (diff | hist) . . (+698) . . Meeting Minutes - September 23, 2013 (→Agenda)
- 08: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)
- 08: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)
- 08:43, 23 September 2013 (diff | hist) . . (0) . . Rewrite-divk (current)
- 08: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…")
- 08:42, 23 September 2013 (diff | hist) . . (+23) . . Meeting Minutes - September 23, 2013
- 08:39, 23 September 2013 (diff | hist) . . (+139) . . Meeting Minutes - September 23, 2013
- 07:18, 21 September 2013 (diff | hist) . . (+501) . . Meeting Minutes - September 23, 2013
- 15:51, 20 September 2013 (diff | hist) . . (+30) . . Meeting Minutes - September 23, 2013 (→Agenda)
- 15:51, 20 September 2013 (diff | hist) . . (+70) . . Meeting Minutes - September 23, 2013 (→Status)
- 15:50, 20 September 2013 (diff | hist) . . (+37) . . Meeting Minutes - September 23, 2013
- 16:08, 16 September 2013 (diff | hist) . . (+218) . . Meeting Minutes - September 23, 2013
- 16: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…")
- 16:04, 16 September 2013 (diff | hist) . . (+2) . . CVC4's native language (→Tuples and Records)
- 15:57, 16 September 2013 (diff | hist) . . (+207) . . CVC4's native language (→Tuples and Records)
- 15:54, 16 September 2013 (diff | hist) . . (+3) . . CVC4's native language (→Record Types)
- 15:54, 16 September 2013 (diff | hist) . . (-13) . . CVC4's native language (→Tuple Types)
- 15:54, 16 September 2013 (diff | hist) . . (+65) . . CVC4's native language (→Tuple Types)
- 11:09, 16 September 2013 (diff | hist) . . (+193) . . Meeting Minutes - September 16, 2013 (→Status) (current)
- 11:02, 16 September 2013 (diff | hist) . . (+9) . . Meeting Minutes - September 16, 2013 (→ITE simplification)
- 11:01, 16 September 2013 (diff | hist) . . (+94) . . Meeting Minutes - September 16, 2013 (→Agenda)
- 10:48, 16 September 2013 (diff | hist) . . (+236) . . Meeting Minutes - September 16, 2013 (→bv2nat/int2bv)
- 10:47, 16 September 2013 (diff | hist) . . (-154) . . Meeting Minutes - September 16, 2013 (→Empty tuples, records)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
