User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:54, 21 November 2013 (diff | hist) . . (+118) . . N Meeting Minutes - November 25, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-25|1:30pm|3:30pm}} =Agenda= ==Memory use== ==Inter-theory communication==")
- 13:29, 18 November 2013 (diff | hist) . . (+406) . . Meeting Minutes - November 18, 2013 (→Followups) (current)
- 12:56, 18 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 18, 2013
- 12:53, 18 November 2013 (diff | hist) . . (+451) . . Meeting Minutes - November 18, 2013
- 12:29, 18 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 18, 2013
- 12:25, 18 November 2013 (diff | hist) . . (+543) . . N Meeting Minutes - November 18, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-18|2pm|3:30pm}} =Status= Morgan Kshitij * Liana *[http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=5823&referenc…")
- 13:31, 11 November 2013 (diff | hist) . . (+273) . . User Manual (→Exit status)
- 13:11, 11 November 2013 (diff | hist) . . (+87) . . User Manual (→Exit status)
- 13:11, 11 November 2013 (diff | hist) . . (-1,571) . . User Manual (→Exit status)
- 13:09, 11 November 2013 (diff | hist) . . (+186) . . Meeting Minutes - November 11, 2013 (→Boolean term conversion) (current)
- 12:22, 11 November 2013 (diff | hist) . . (+466) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:56, 11 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:55, 11 November 2013 (diff | hist) . . (+422) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:10, 11 November 2013 (diff | hist) . . (+61) . . Meeting Minutes - November 11, 2013
- 09:51, 11 November 2013 (diff | hist) . . (+54) . . Meeting Minutes - November 11, 2013
- 09:07, 11 November 2013 (diff | hist) . . (+548) . . Meeting Minutes - November 11, 2013
- 16: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}}")
- 16:07, 4 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 4, 2013 (current)
- 13:31, 4 November 2013 (diff | hist) . . (+198) . . Meeting Minutes - November 4, 2013 (→Discussion)
- 13:18, 4 November 2013 (diff | hist) . . (+275) . . Meeting Minutes - November 4, 2013
- 12: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…")
- 12:14, 28 October 2013 (diff | hist) . . (+310) . . Meeting Minutes - October 28, 2013 (current)
- 11:27, 28 October 2013 (diff | hist) . . (+610) . . Meeting Minutes - October 28, 2013 (→Status)
- 19:41, 24 October 2013 (diff | hist) . . (+200) . . Meeting Minutes - October 28, 2013
- 14:50, 21 October 2013 (diff | hist) . . (0) . . Meeting Minutes - October 28, 2013
- 14:32, 21 October 2013 (diff | hist) . . (+115) . . Meeting Minutes - October 28, 2013
- 14:32, 21 October 2013 (diff | hist) . . (+62) . . Meeting Minutes - October 21, 2013 (current)
- 14: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")
- 14:31, 21 October 2013 (diff | hist) . . (+14) . . Meeting Minutes - October 21, 2013 (→Follow-ups)
- 11:33, 21 October 2013 (diff | hist) . . (+1,597) . . Meeting Minutes - October 21, 2013 (→Agenda)
- 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…")
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
