User contributions
From CVC4
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 07:06, 23 September 2011 (diff | hist) . . (-1) . . Meeting Minutes - September 23, 2011
- 07:06, 23 September 2011 (diff | hist) . . (-4) . . Meeting Minutes - September 23, 2011
- 07:06, 23 September 2011 (diff | hist) . . (-3) . . Meeting Minutes - September 23, 2011
- 07:05, 23 September 2011 (diff | hist) . . (+380) . . N Meeting Minutes - September 23, 2011 (Created page with "== Dejan * [http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=2822&reference_id=1209&p=5 "cvc3 correct vs z3] * [http://goedel.cims.nyu.edu/regress-results/comp…")
- 08:29, 20 May 2011 (diff | hist) . . (+63) . . Meeting Minutes - May 20, 2011 (→Kshitij)
- 08:27, 20 May 2011 (diff | hist) . . (+107) . . Meeting Minutes - May 20, 2011 (→Kshitij)
- 08:16, 20 May 2011 (diff | hist) . . (+96) . . Meeting Minutes - May 20, 2011 (→Mina)
- 07:57, 20 May 2011 (diff | hist) . . (+57) . . Meeting Minutes - May 20, 2011 (→Kshitij)
- 07:39, 20 May 2011 (diff | hist) . . (+38) . . Meeting Minutes - May 20, 2011 (→Status)
- 07:38, 20 May 2011 (diff | hist) . . (-2) . . Meeting Minutes - May 20, 2011
- 07:38, 20 May 2011 (diff | hist) . . (+14) . . Meeting Minutes - May 20, 2011
- 07:34, 20 May 2011 (diff | hist) . . (+20) . . Meeting Minutes - May 20, 2011
- 07:32, 20 May 2011 (diff | hist) . . (+68) . . Meeting Minutes - May 20, 2011
- 17:35, 28 April 2011 (diff | hist) . . (+280) . . Meeting Minutes - April 29, 2011 (→Atoms and triggers)
- 15:09, 28 April 2011 (diff | hist) . . (+25) . . Meeting Minutes - April 29, 2011 (→Atoms and triggers)
- 15:05, 28 April 2011 (diff | hist) . . (-32) . . Meeting Minutes - April 29, 2011 (→Atoms and triggers)
- 15:04, 28 April 2011 (diff | hist) . . (-266) . . Meeting Minutes - April 29, 2011 (→Atoms and triggers)
- 14:24, 28 April 2011 (diff | hist) . . (+1,110) . . Meeting Minutes - April 29, 2011 (→Atoms and triggers)
- 08:07, 25 March 2011 (diff | hist) . . (+6) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 08:05, 25 March 2011 (diff | hist) . . (+13) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 08:01, 25 March 2011 (diff | hist) . . (-3) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 08:01, 25 March 2011 (diff | hist) . . (+45) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 08:00, 25 March 2011 (diff | hist) . . (0) . . N File:Relevancy-notes.pdf
- 07:59, 9 November 2010 (diff | hist) . . (+118) . . Meeting Minutes - November 9, 2010 (→Status)
- 20:50, 29 March 2010 (diff | hist) . . (+62) . . Meeting Minutes - March 30, 2010 (→Notes)
- 12:42, 18 November 2009 (diff | hist) . . (+272) . . To Discuss
- 14:21, 6 April 2009 (diff | hist) . . (+1,315) . . MySQL Server Setup (→Inserting a Job) (current)
- 16:57, 2 April 2009 (diff | hist) . . (0) . . MySQL Server Setup (→Scheduling Procedures)
- 16:56, 2 April 2009 (diff | hist) . . (+11) . . MySQL Server Setup (→Scheduling Procedures)
- 16:56, 2 April 2009 (diff | hist) . . (+92) . . MySQL Server Setup (→Scheduling Procedures)
- 16:55, 2 April 2009 (diff | hist) . . (-59) . . MySQL Server Setup (→Scheduling Procedures)
- 16:54, 2 April 2009 (diff | hist) . . (+1,545) . . MySQL Server Setup (→Scheduling Procedures)
- 16:30, 2 April 2009 (diff | hist) . . (+530) . . MySQL Server Setup (→Scheduling Procedures)
- 16:10, 2 April 2009 (diff | hist) . . (+12) . . MySQL Server Setup (→Scheduling Procedures)
- 15:21, 2 April 2009 (diff | hist) . . (+2) . . MySQL Server Setup (→Inserting a Job)
- 15:20, 2 April 2009 (diff | hist) . . (0) . . MySQL Server Setup (→Inserting a Job)
- 15:20, 2 April 2009 (diff | hist) . . (0) . . MySQL Server Setup (→Inserting a Job)
- 15:20, 2 April 2009 (diff | hist) . . (0) . . MySQL Server Setup (→Inserting a Job)
- 15:20, 2 April 2009 (diff | hist) . . (+89) . . MySQL Server Setup (→Inserting a Job)
- 15:19, 2 April 2009 (diff | hist) . . (+415) . . MySQL Server Setup (→Scheduling Procedures)
- 15:07, 2 April 2009 (diff | hist) . . (+136) . . MySQL Server Setup (→Scheduling Procedures)
- 15:06, 2 April 2009 (diff | hist) . . (+1) . . MySQL Server Setup (→Scheduling Procedures)
- 15:05, 2 April 2009 (diff | hist) . . (+1,155) . . N MySQL Server Setup (New page: === Scheduling Procedures === There are two procedures that are used to communicate with the MySQL scheduler: * <code>INIT_SCHEDULER()</code> just set's an internal job id counter to -1 <...)
- 15:00, 2 April 2009 (diff | hist) . . (+91) . . How it's Made (→Server)
- 17:55, 1 April 2009 (diff | hist) . . (+4) . . How it's Made (→How the source gets compiled)
- 17:55, 1 April 2009 (diff | hist) . . (+13) . . How it's Made (→How the source gets compiled)
- 17:55, 1 April 2009 (diff | hist) . . (+103) . . How it's Made (→How the source gets compiled)
- 17:52, 1 April 2009 (diff | hist) . . (-2) . . How it's Made (→How the source gets compiled)
- 17:52, 1 April 2009 (diff | hist) . . (+12) . . How it's Made (→How the source gets compiled)
- 17:52, 1 April 2009 (diff | hist) . . (+279) . . How it's Made (→Server)
- 12:51, 31 March 2009 (diff | hist) . . (-1) . . How it's Made (→Where are the benchmarks)
- 10:33, 31 March 2009 (diff | hist) . . (-1) . . How it's Made (→Where are the benchmarks)
- 10:33, 31 March 2009 (diff | hist) . . (+356) . . How it's Made (→Compute Boxes)
- 14:15, 29 March 2009 (diff | hist) . . (0) . . How it's Made (→Monitoring)
- 14:15, 29 March 2009 (diff | hist) . . (-1) . . How it's Made (→Monitoring)
- 14:15, 29 March 2009 (diff | hist) . . (+293) . . How it's Made (→Monitoring)
- 14:10, 29 March 2009 (diff | hist) . . (+12) . . How it's Made (→Compute Boxes)
- 14:08, 29 March 2009 (diff | hist) . . (+778) . . How it's Made (→Compute Boxes)
- 09:13, 29 March 2009 (diff | hist) . . (+1) . . How it's Made (→Monitoring)
- 08:59, 29 March 2009 (diff | hist) . . (-3) . . How it's Made (→Software Installation)
- 20:56, 28 March 2009 (diff | hist) . . (+5,774) . . How it's Made
- 13:16, 26 March 2009 (diff | hist) . . (+70) . . CVC4
- 13:14, 26 March 2009 (diff | hist) . . (+36) . . N CVC3 Benchmarking (CVC3 Benchmarking moved to CVC3 Developers Portal: More general)
- 13:14, 26 March 2009 (diff | hist) . . (0) . . m CVC4 (CVC3 Benchmarking moved to CVC3 Developers Portal: More general)
- 13:13, 26 March 2009 (diff | hist) . . (+191) . . CVC4
- 17:57, 18 March 2009 (diff | hist) . . (+196) . . How it's Made (→Monitoring)
- 17:55, 18 March 2009 (diff | hist) . . (-1) . . How it's Made (→Monitoring)
- 17:55, 18 March 2009 (diff | hist) . . (-3) . . How it's Made (→Monitoring)
- 17:49, 18 March 2009 (diff | hist) . . (+20) . . How it's Made (→Monitoring)
- 17:48, 18 March 2009 (diff | hist) . . (-3) . . How it's Made (→Monitoring)
- 17:46, 18 March 2009 (diff | hist) . . (+17) . . How it's Made (→Monitoring)
- 17:45, 18 March 2009 (diff | hist) . . (+221) . . How it's Made (→Monitoring)
- 17:43, 18 March 2009 (diff | hist) . . (+279) . . How it's Made (→Monitoring)
- 17:00, 18 March 2009 (diff | hist) . . (+2) . . How it's Made (→Monitoring)
- 16:59, 18 March 2009 (diff | hist) . . (+194) . . How it's Made (→Monitoring)
- 16:53, 18 March 2009 (diff | hist) . . (+34) . . How it's Made (→Monitoring)
- 16:53, 18 March 2009 (diff | hist) . . (+236) . . How it's Made
- 18:07, 13 March 2009 (diff | hist) . . (+26) . . How it's Made (→Hardware Setup and Basic)
- 18:04, 13 March 2009 (diff | hist) . . (+1) . . How it's Made (→Hardware Setup and Basic)
- 18:03, 13 March 2009 (diff | hist) . . (+2) . . How it's Made (→Hardware Setup and Basic)
- 18:02, 13 March 2009 (diff | hist) . . (+236) . . How it's Made (→Hardware Setup and Basic)
- 13:18, 13 March 2009 (diff | hist) . . (+242) . . N Build-Check Benchmarks (New page: Build-Check bechmarks ensure the basic functionality of the build and should not run more than a few seconds. These include all the regression test of CVC3 in the regression level 0 or 1, ...) (current)
- 13:16, 13 March 2009 (diff | hist) . . (0) . . User's Guide (→Continuous Builds) (current)
- 13:14, 13 March 2009 (diff | hist) . . (+3) . . User's Guide (→Continuous Builds)
- 13:13, 13 March 2009 (diff | hist) . . (+8) . . User's Guide (→Continuous Builds)
- 13:12, 13 March 2009 (diff | hist) . . (+1) . . User's Guide (→Continuous Builds)
- 13:11, 13 March 2009 (diff | hist) . . (+167) . . User's Guide (→Continuous Builds)
- 13:08, 13 March 2009 (diff | hist) . . (+330) . . User's Guide (→Continuous Builds)
- 13:03, 13 March 2009 (diff | hist) . . (-11) . . How it's Made (→Hardware Setup and Basic)
- 13:03, 13 March 2009 (diff | hist) . . (-12) . . How it's Made
- 13:01, 13 March 2009 (diff | hist) . . (-1) . . How it's Made (→Automatic Installation)
- 13:01, 13 March 2009 (diff | hist) . . (+109) . . How it's Made (→Hardware Setup)
- 12:59, 13 March 2009 (diff | hist) . . (+304) . . How it's Made (→Compute Boxes)
- 12:53, 13 March 2009 (diff | hist) . . (+293) . . m How it's Made (→Hardware Setup)
- 20:32, 12 March 2009 (diff | hist) . . (+64) . . N How it's Made (New page: == Overall Design == == Hardware Setup == == Software Setup ==)
- 20:30, 12 March 2009 (diff | hist) . . (+41) . . User's Guide (→What is This All About)
- 20:28, 12 March 2009 (diff | hist) . . (-2) . . User's Guide (→What is This All About)
- 20:27, 12 March 2009 (diff | hist) . . (+289) . . N User's Guide (New page: == What is This All About == === Continuous Builds === === Nightly Builds === === Weekly Builds === === Benchmarking === == How To Submit Your Build == === Binary Builds === === Sou...)
- 17:47, 12 March 2009 (diff | hist) . . (-1) . . CVC4
- 17:47, 12 March 2009 (diff | hist) . . (+569) . . N CVC4 (New page: Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC3]] benchmarking documentation. This website and the service is only intended for the deveolpers of CVC3 at NYU. You can start by taking ...)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)