User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:10, 25 November 2013 (diff | hist) . . (+390) . . Meeting Minutes - November 25, 2013 (→Inter-theory communication) (current)
- 12:51, 25 November 2013 (diff | hist) . . (+314) . . Meeting Minutes - November 25, 2013 (→Agenda)
- 12:33, 25 November 2013 (diff | hist) . . (+194) . . Meeting Minutes - November 25, 2013 (→Status)
- 12:19, 25 November 2013 (diff | hist) . . (+269) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:57, 25 November 2013 (diff | hist) . . (+149) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:57, 25 November 2013 (diff | hist) . . (+235) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:46, 25 November 2013 (diff | hist) . . (+63) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:39, 25 November 2013 (diff | hist) . . (+71) . . Meeting Minutes - November 25, 2013
- 11:29, 25 November 2013 (diff | hist) . . (+52) . . Meeting Minutes - November 25, 2013
- 11:45, 23 November 2013 (diff | hist) . . (+34) . . Meeting Minutes - November 25, 2013
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
