User contributions
From CVC4
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
- 12:46, 2 December 2014 (diff | hist) . . (+112) . . About CVC4 (→Decision Procedures)
- 12:06, 19 November 2014 (diff | hist) . . (0) . . m About CVC4 (→Decision Procedures)
- 15:00, 13 November 2014 (diff | hist) . . (0) . . Publications (current)
- 15:00, 13 November 2014 (diff | hist) . . (+2,056) . . Publications
- 14:47, 13 November 2014 (diff | hist) . . (+2) . . About CVC4
- 13:06, 12 November 2014 (diff | hist) . . (-7) . . Meeting Minutes - November 19, 2014 (current)
- 13:01, 12 November 2014 (diff | hist) . . (+72) . . Meeting Minutes - November 19, 2014
- 13:01, 12 November 2014 (diff | hist) . . (-589) . . Meeting Minutes - November 12, 2014 (→Discussion) (current)
- 13:01, 12 November 2014 (diff | hist) . . (+601) . . N Meeting Minutes - November 19, 2014 (Created page with "=Discussion= ==New mailing list?== Cesare's proposal. ==Quantifiers + decision=justification== ==String fragment restriction== We have a decision procedure for the fragment …")
- 13:00, 12 November 2014 (diff | hist) . . (+41) . . Meeting Minutes - November 12, 2014 (→Status)
- 12:50, 12 November 2014 (diff | hist) . . (+344) . . Meeting Minutes - November 12, 2014 (→Status)
- 12:33, 12 November 2014 (diff | hist) . . (+270) . . Meeting Minutes - November 12, 2014 (→Status)
- 10:33, 12 November 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar) (current)
- 07:17, 12 November 2014 (diff | hist) . . (+47) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 05:45, 12 November 2014 (diff | hist) . . (+12) . . Meeting Minutes - November 12, 2014 (→Status)
- 05:35, 12 November 2014 (diff | hist) . . (+71) . . Meeting Minutes - November 12, 2014
- 15:17, 11 November 2014 (diff | hist) . . (+178) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 15:16, 11 November 2014 (diff | hist) . . (+326) . . Meeting Minutes - November 12, 2014
- 11:48, 11 November 2014 (diff | hist) . . (+130) . . N Meeting Minutes - November 12, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-11-12|1:30pm|3:30pm}} =Status= Morgan =Discussion= Quantifiers + decision=justification")
- 11:47, 11 November 2014 (diff | hist) . . (0) . . Meeting Minutes - October 22, 2014 (current)
- 10:47, 27 September 2014 (diff | hist) . . (-100) . . SMT-LIB Compliance (current)
- 09:28, 24 September 2014 (diff | hist) . . (+171) . . N Meeting Minutes - September 24, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-09-24|1:30pm|3:30pm}} =Status= Morgan * proofs - cnf * tutorial - planning * resource-limiting for adacore - happy * trip planning") (current)
- 13:05, 15 September 2014 (diff | hist) . . (-2) . . Meeting Minutes - September 15, 2014 (→Status) (current)
- 13:05, 15 September 2014 (diff | hist) . . (+15) . . Meeting Minutes - September 15, 2014 (→Sets)
- 13:04, 15 September 2014 (diff | hist) . . (+308) . . Meeting Minutes - September 15, 2014 (→Status)
- 11:29, 15 September 2014 (diff | hist) . . (+26) . . Template:Mtglinks (current)
- 11:28, 15 September 2014 (diff | hist) . . (+72) . . Meeting Minutes - September 15, 2014
- 11:27, 15 September 2014 (diff | hist) . . (+18) . . Meeting Minutes - September 15, 2014
- 11:27, 15 September 2014 (diff | hist) . . (+75) . . Meeting Minutes - September 15, 2014
- 11:22, 15 September 2014 (diff | hist) . . (-24) . . Developer Meeting Minutes for 2014 (→Fourth Quarter 2014) (current)
- 11:21, 15 September 2014 (diff | hist) . . (-23) . . Developer Meeting Minutes for 2014 (→Third Quarter 2014)
- 11:20, 15 September 2014 (diff | hist) . . (-47) . . Developer Meeting Minutes (→Meeting calendar)
- 11:19, 15 September 2014 (diff | hist) . . (+269) . . Meeting Minutes - September 15, 2014
- 11:09, 15 September 2014 (diff | hist) . . (+590) . . N Meeting Minutes - September 15, 2014 (Created page with "Morgan * papers (apart from CVC4) * CVC4 now in Debian NEW (pending approval to Debian/unstable) * Kshitij * explicit patterns now in grasshopper benchmarks * some fixes to use…")
- 09:52, 27 August 2014 (diff | hist) . . (+60) . . Meeting Minutes - September 2, 2014 (current)
- 09:51, 27 August 2014 (diff | hist) . . (+20) . . Meeting Minutes - September 2, 2014
- 09:51, 27 August 2014 (diff | hist) . . (+189) . . N Meeting Minutes - September 2, 2014 (Created page with "{{mtglinks|||2014-09-02|1:30pm|3:30pm}} Don't forget Tim's paperwork Morgan * unsat cores progress this week ** support for quantifiers ** smt-libv2 ** core-checker * survey wi…")
- 12:20, 25 August 2014 (diff | hist) . . (+235) . . Meeting Minutes - August 25, 2014 (→Discussion) (current)
- 12:00, 25 August 2014 (diff | hist) . . (+10) . . Meeting Minutes - August 25, 2014 (→Status)
- 11:57, 25 August 2014 (diff | hist) . . (+2,365) . . Meeting Minutes - August 25, 2014
- 10:59, 25 August 2014 (diff | hist) . . (+547) . . Meeting Minutes - August 25, 2014
- 10:49, 22 August 2014 (diff | hist) . . (+119) . . Meeting Minutes - August 25, 2014 (→Status)
- 10:32, 22 August 2014 (diff | hist) . . (+106) . . Meeting Minutes - August 25, 2014 (→Status)
- 10:29, 22 August 2014 (diff | hist) . . (+29) . . Meeting Minutes - August 25, 2014 (→Discussion)
- 10:29, 22 August 2014 (diff | hist) . . (+13) . . Meeting Minutes - August 25, 2014 (→Discussion)
- 10:29, 22 August 2014 (diff | hist) . . (+399) . . Meeting Minutes - August 25, 2014
- 08:29, 22 August 2014 (diff | hist) . . (+267) . . Meeting Minutes - August 25, 2014
- 11:37, 18 August 2014 (diff | hist) . . (+17) . . Meeting Minutes - August 18, 2014 (→Followups) (current)
- 11:36, 18 August 2014 (diff | hist) . . (+59) . . Meeting Minutes - August 18, 2014 (→Followups)
- 11:31, 18 August 2014 (diff | hist) . . (+29) . . Meeting Minutes - August 18, 2014 (→Followups)
- 11:30, 18 August 2014 (diff | hist) . . (+373) . . Meeting Minutes - August 18, 2014 (→Status)
- 10:47, 18 August 2014 (diff | hist) . . (+515) . . Meeting Minutes - August 18, 2014
- 14:23, 17 August 2014 (diff | hist) . . (+156) . . N Meeting Minutes - August 25, 2014 (Created page with "{{mtglinks|||2014-08-25|1:30pm|3:30pm}} =Status= What to do about Labor Day? Reschedule? Don't forget to reserve 412 for the fall semester meeting times")
- 14:22, 17 August 2014 (diff | hist) . . (+49) . . N Meeting Minutes - August 18, 2014 (Created page with "{{mtglinks|||2014-08-18|1:30pm|3:30pm}} =Status=")
- 11:23, 11 August 2014 (diff | hist) . . (+65) . . Meeting Minutes - August 11, 2014 (→Discussion) (current)
- 11:01, 11 August 2014 (diff | hist) . . (+222) . . Meeting Minutes - August 11, 2014 (→Status)
- 10:46, 11 August 2014 (diff | hist) . . (-51) . . Meeting Minutes - August 11, 2014 (→Discussion)
- 10:46, 11 August 2014 (diff | hist) . . (+51) . . Meeting Minutes - August 11, 2014 (→Discussion)
- 10:45, 11 August 2014 (diff | hist) . . (+42) . . Meeting Minutes - August 11, 2014 (→Status)
- 10:45, 11 August 2014 (diff | hist) . . (+27) . . Meeting Minutes - August 11, 2014 (→Status)
- 10:34, 11 August 2014 (diff | hist) . . (+83) . . Meeting Minutes - August 11, 2014 (→Status)
- 13:15, 5 August 2014 (diff | hist) . . (+2) . . Meeting Minutes - August 11, 2014 (→Status)
- 13:13, 5 August 2014 (diff | hist) . . (+182) . . Meeting Minutes - August 11, 2014
- 13:06, 5 August 2014 (diff | hist) . . (+96) . . Meeting Minutes - August 11, 2014
- 06:47, 5 August 2014 (diff | hist) . . (+99) . . Meeting Minutes - August 11, 2014 (→resource limiting and re-starting)
- 06:36, 5 August 2014 (diff | hist) . . (+132) . . Meeting Minutes - August 11, 2014
- 15:10, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - August 11, 2014
- 15:09, 4 August 2014 (diff | hist) . . (+274) . . N Meeting Minutes - August 11, 2014 (Created page with "=Status= Morgan * Debian - official * MacPorts - official * looked into nasty linking behavior ** double-link at runtime (with different versioning) - Liana's issue ** double-li…")
- 15:08, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - August 4, 2014 (current)
- 15:08, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - July 14, 2014 (current)
- 11:26, 4 August 2014 (diff | hist) . . (+522) . . Meeting Minutes - August 4, 2014
- 10:51, 4 August 2014 (diff | hist) . . (+498) . . N Meeting Minutes - August 4, 2014 (Created page with "=Status= Morgan * Found bugs in new TPTP * Fixed symmetry-breaker bug (was applying in some cases it shouldn't) * Better --rlimit support * Re-entering unsat-cores support (targ…")
- 11:00, 28 July 2014 (diff | hist) . . (+30) . . About CVC4
- 10:49, 28 July 2014 (diff | hist) . . (+10) . . About CVC4
- 10:49, 28 July 2014 (diff | hist) . . (-1) . . About CVC4
- 08:39, 26 June 2014 (diff | hist) . . (+40) . . Release checklist
- 08:39, 26 June 2014 (diff | hist) . . (+383) . . Release checklist
- 14:01, 23 June 2014 (diff | hist) . . (+704) . . N Meeting Minutes - June 30, 2014 (Created page with "{{mtglinks|||2014-06-30|1:30pm|3:30pm}} =Status= ==Release checklist== Sets * syntax (Kshitij, Clark) * logic names to use (Kshitij, Clark) * examples/api/ and wiki tutorial o…")
- 14:00, 23 June 2014 (diff | hist) . . (-5) . . Meeting Minutes - June 23, 2014 (→Release checklist) (current)
- 12:30, 23 June 2014 (diff | hist) . . (+198) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 12:25, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 12:22, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 12:19, 23 June 2014 (diff | hist) . . (-122) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 12:14, 23 June 2014 (diff | hist) . . (+248) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 11:24, 23 June 2014 (diff | hist) . . (+12) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:04, 23 June 2014 (diff | hist) . . (-1) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:01, 23 June 2014 (diff | hist) . . (0) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:01, 23 June 2014 (diff | hist) . . (+10) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:00, 23 June 2014 (diff | hist) . . (+395) . . Meeting Minutes - June 23, 2014 (→Status)
- 20:11, 17 June 2014 (diff | hist) . . (+225) . . Options (→:link) (current)
- 14:29, 16 June 2014 (diff | hist) . . (+864) . . N Meeting Minutes - June 23, 2014 (Created page with "{{mtglinks|||2014-06-23|1:30pm|3:30pm}} =Status= SMT-COMP application binary submitted without incident. =Discussion= ==Benchmark duties== ==Release checklist== Sets * synt…")
- 11:30, 16 June 2014 (diff | hist) . . (+107) . . Meeting Minutes - June 16, 2014 (→Release checklist) (current)
- 11:16, 16 June 2014 (diff | hist) . . (+57) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:15, 16 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:13, 16 June 2014 (diff | hist) . . (+154) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:10, 16 June 2014 (diff | hist) . . (+102) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 10:56, 16 June 2014 (diff | hist) . . (+133) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 09:02, 16 June 2014 (diff | hist) . . (+374) . . Meeting Minutes - June 16, 2014
- 09:00, 16 June 2014 (diff | hist) . . (+108) . . N Meeting Minutes - June 16, 2014 (Created page with "{{mtglinks|||2014-06-16|1:30pm|3:30pm}} =Status= =Discussion= ==Benchmark duties== ==Release checklist==")
- 11:40, 9 June 2014 (diff | hist) . . (+344) . . Meeting Minutes - June 9, 2014 (current)
- 08:23, 9 June 2014 (diff | hist) . . (+170) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 08:19, 9 June 2014 (diff | hist) . . (+123) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 07:47, 9 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 07:38, 9 June 2014 (diff | hist) . . (+342) . . Meeting Minutes - June 9, 2014
- 20:54, 8 June 2014 (diff | hist) . . (-58) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 20:01, 8 June 2014 (diff | hist) . . (+321) . . N Meeting Minutes - June 9, 2014 (Created page with "{{mtglinks|||2014-06-09|1:30pm|3:30pm}} =Status= Morgan * benchmarks benchmarks benchmarks ! =Discussion= ==SMT-LIB duties remaining== * Statuses for some ABV benchmarks? * …")
- 07:58, 19 May 2014 (diff | hist) . . (+60) . . N Meeting Minutes - May 19, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-05-19|1:30pm|3:30pm}}") (current)
- 11:33, 5 May 2014 (diff | hist) . . (+64) . . Meeting Minutes - May 5, 2014 (→solveWithAssumptions and Tim's idea) (current)
- 11:29, 5 May 2014 (diff | hist) . . (+274) . . Meeting Minutes - May 5, 2014 (→T-Entailment)
- 11:26, 5 May 2014 (diff | hist) . . (+127) . . Meeting Minutes - May 5, 2014 (→Status)
- 11:05, 5 May 2014 (diff | hist) . . (+148) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:55, 5 May 2014 (diff | hist) . . (+34) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:55, 5 May 2014 (diff | hist) . . (+21) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:52, 5 May 2014 (diff | hist) . . (+271) . . Meeting Minutes - May 5, 2014
- 10:29, 5 May 2014 (diff | hist) . . (+29) . . Meeting Minutes - May 5, 2014
- 10:27, 5 May 2014 (diff | hist) . . (+220) . . Meeting Minutes - May 5, 2014
- 10:25, 5 May 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (current)
- 10:24, 5 May 2014 (diff | hist) . . (+80) . . N Meeting Minutes - May 5, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-05-05|1:30pm|3:30pm}} Status Discussion")
- 16:16, 2 May 2014 (diff | hist) . . (0) . . Tutorials (→bitvectors)
- 11:31, 28 April 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (→Status)
- 11:30, 28 April 2014 (diff | hist) . . (+86) . . Meeting Minutes - April 28, 2014 (→Status)
- 11:24, 28 April 2014 (diff | hist) . . (+505) . . Meeting Minutes - April 28, 2014
- 11:18, 21 April 2014 (diff | hist) . . (+238) . . Meeting Minutes - April 21, 2014 (current)
- 11:03, 21 April 2014 (diff | hist) . . (+312) . . Meeting Minutes - April 21, 2014
- 11:01, 21 April 2014 (diff | hist) . . (+175) . . Meeting Minutes - April 21, 2014
- 10:58, 21 April 2014 (diff | hist) . . (+357) . . Meeting Minutes - April 21, 2014
- 10:26, 21 April 2014 (diff | hist) . . (+123) . . Meeting Minutes - April 21, 2014
- 10:25, 21 April 2014 (diff | hist) . . (+172) . . N Meeting Minutes - April 21, 2014 (Created page with "http://128.122.20.235/web/compare_jobs.php?reference=74&job=73 https://docs.google.com/spreadsheet/ccc?key=0Am4jrxbVga9RdENCMjhYeFhYeGZvSkFObGlieHNWbFE&usp=drive_web#gid=0")
- 17:47, 11 April 2014 (diff | hist) . . (+84) . . N Meeting Minutes - April 14, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-04-14|1:30pm|3:30pm}} =Status= =Discussion=") (current)
- 12:38, 7 April 2014 (diff | hist) . . (+548) . . Meeting Minutes - April 7, 2014 (current)
- 12:15, 7 April 2014 (diff | hist) . . (+736) . . Meeting Minutes - April 7, 2014
- 11:38, 7 April 2014 (diff | hist) . . (+178) . . Meeting Minutes - April 7, 2014
- 11:35, 7 April 2014 (diff | hist) . . (+16) . . Meeting Minutes - April 7, 2014
- 11:19, 7 April 2014 (diff | hist) . . (+26) . . Meeting Minutes - April 7, 2014
- 11:17, 7 April 2014 (diff | hist) . . (+436) . . N Meeting Minutes - April 7, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-04-07|2:00pm|3:30pm}} http://multicore.doc.ic.ac.uk/tools/GPUVerify/scatter/?x=jeroen2/cvc4-trunk-AUFBVLIA&y=jeroen2/cvc4-1.3& http://mul…")
- 11:08, 7 April 2014 (diff | hist) . . (-1) . . Meeting Minutes - March 31, 2014 (current)
- 11:57, 31 March 2014 (diff | hist) . . (+198) . . Meeting Minutes - March 31, 2014 (→Discussion)
- 11:46, 31 March 2014 (diff | hist) . . (0) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 11:45, 31 March 2014 (diff | hist) . . (+146) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 11:34, 31 March 2014 (diff | hist) . . (+145) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 11:23, 31 March 2014 (diff | hist) . . (+192) . . Meeting Minutes - March 31, 2014 (→Discussion)
- 11:22, 31 March 2014 (diff | hist) . . (+678) . . Meeting Minutes - March 31, 2014 (→Status)
- 14:48, 28 March 2014 (diff | hist) . . (+72) . . Meeting Minutes - March 31, 2014
- 06:06, 19 March 2014 (diff | hist) . . (+165) . . N Meeting Minutes - March 24, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-03-24|1:30pm|3:30pm}} =Status= =Discussion= ==Feature request for query inequality between two arbitrary arithmetic terms==")
- 11:48, 17 March 2014 (diff | hist) . . (+29) . . Meeting Minutes - March 17, 2014 (→Follow-ups) (current)
- 11:45, 17 March 2014 (diff | hist) . . (+42) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 11:41, 17 March 2014 (diff | hist) . . (+55) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 11:40, 17 March 2014 (diff | hist) . . (+151) . . Meeting Minutes - March 17, 2014 (→Unsat cores)
- 11:21, 17 March 2014 (diff | hist) . . (+26) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 11:20, 17 March 2014 (diff | hist) . . (+134) . . Meeting Minutes - March 17, 2014 (→Status)
- 11:05, 17 March 2014 (diff | hist) . . (+321) . . Meeting Minutes - March 17, 2014
- 10:44, 17 March 2014 (diff | hist) . . (+30) . . Meeting Minutes - March 17, 2014 (→Discussion)
- 10:44, 17 March 2014 (diff | hist) . . (+65) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 10:43, 17 March 2014 (diff | hist) . . (+241) . . Meeting Minutes - March 17, 2014 (→Status)
- 09:55, 17 March 2014 (diff | hist) . . (-81) . . Meeting Minutes - March 17, 2014
- 09:55, 17 March 2014 (diff | hist) . . (+85) . . Meeting Minutes - March 17, 2014
- 16:13, 15 March 2014 (diff | hist) . . (-404) . . Meeting Minutes - March 17, 2014
- 12:10, 15 March 2014 (diff | hist) . . (+34) . . Meeting Minutes - March 17, 2014 (→Uninterpreted constants in QF_LIA)
- 12:05, 15 March 2014 (diff | hist) . . (+19) . . Meeting Minutes - March 17, 2014 (→Uninterpreted constants in QF_LIA)
- 12:02, 15 March 2014 (diff | hist) . . (+351) . . Meeting Minutes - March 17, 2014
- 16:37, 13 March 2014 (diff | hist) . . (+373) . . Meeting Minutes - March 17, 2014
- 11:44, 10 March 2014 (diff | hist) . . (+113) . . Meeting Minutes - March 10, 2014 (→Status) (current)
- 11:33, 10 March 2014 (diff | hist) . . (+17) . . Meeting Minutes - March 10, 2014 (→Discussion)
- 11:32, 10 March 2014 (diff | hist) . . (+50) . . Meeting Minutes - March 10, 2014 (→Followups)
- 11:30, 10 March 2014 (diff | hist) . . (+24) . . Meeting Minutes - March 17, 2014 (→Status)
- 11:29, 10 March 2014 (diff | hist) . . (+18) . . Meeting Minutes - March 17, 2014
- 11:26, 10 March 2014 (diff | hist) . . (+162) . . Meeting Minutes - March 10, 2014 (→Status)
- 11:25, 10 March 2014 (diff | hist) . . (-247) . . Meeting Minutes - March 10, 2014 (→Followups)
- 11:20, 10 March 2014 (diff | hist) . . (+36) . . Meeting Minutes - March 17, 2014
- 11:20, 10 March 2014 (diff | hist) . . (+268) . . Meeting Minutes - March 17, 2014
- 11:17, 10 March 2014 (diff | hist) . . (+98) . . N Meeting Minutes - March 17, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-03-17|1:30pm|3:30pm}} =Status= =Follow-ups= =Discussion=")
- 11:14, 10 March 2014 (diff | hist) . . (+400) . . Meeting Minutes - March 10, 2014 (→Status)
- 10:51, 10 March 2014 (diff | hist) . . (+260) . . Meeting Minutes - March 10, 2014 (→Status)
- 05:43, 10 March 2014 (diff | hist) . . (+68) . . Meeting Minutes - March 10, 2014
- 05:42, 10 March 2014 (diff | hist) . . (+21) . . Meeting Minutes - March 10, 2014 (→Status)
- 05:40, 10 March 2014 (diff | hist) . . (+15) . . Meeting Minutes - March 10, 2014 (→Status)
- 14:09, 8 March 2014 (diff | hist) . . (+1,339) . . Meeting Minutes - March 10, 2014 (→{{BUG|553}} and heuristics settings ordering issues)
- 14:01, 8 March 2014 (diff | hist) . . (+57) . . Meeting Minutes - March 10, 2014
- 13:35, 8 March 2014 (diff | hist) . . (+44) . . Meeting Minutes - March 10, 2014
- 06:25, 7 March 2014 (diff | hist) . . (+16) . . Meeting Minutes - March 10, 2014
- 06:24, 7 March 2014 (diff | hist) . . (+17) . . Meeting Minutes - March 10, 2014
- 06:24, 7 March 2014 (diff | hist) . . (+7) . . Meeting Minutes - March 10, 2014
- 11:06, 1 March 2014 (diff | hist) . . (+44) . . Meeting Minutes - March 10, 2014 (→Status)
- 11:06, 1 March 2014 (diff | hist) . . (+33) . . Meeting Minutes - March 10, 2014 (→Status)
- 10:37, 1 March 2014 (diff | hist) . . (+19) . . Meeting Minutes - March 10, 2014 (→Status)
- 21:05, 28 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 10, 2014
- 21:05, 28 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014 (current)
- 21:04, 28 February 2014 (diff | hist) . . (+461) . . N Meeting Minutes - March 10, 2014 (Created page with "=Status= Morgan * CVC4 commits ** proofs *** letification for UF *** arrays ** CVC language parser for infix/mixfix string operators ** Quantifier bugfixes ** Theory-preprocessi…")
- 21:03, 28 February 2014 (diff | hist) . . (-426) . . Meeting Minutes - March 3, 2014 (→Status)
- 13:10, 25 February 2014 (diff | hist) . . (0) . . Meeting Minutes - March 3, 2014
- 13:01, 25 February 2014 (diff | hist) . . (+62) . . Meeting Minutes - March 3, 2014
- 12:57, 25 February 2014 (diff | hist) . . (+462) . . N Meeting Minutes - March 3, 2014 (Created page with "=Status= Morgan * CVC4 commits ** proofs *** letification for UF *** arrays ** CVC language parser for infix/mixfix string opertaors ** Quantifier bugfixes ** Theory-preprocessi…")
- 12:54, 25 February 2014 (diff | hist) . . (-44) . . Meeting Minutes - February 24, 2014 (→Followups) (current)
- 13:14, 24 February 2014 (diff | hist) . . (+43) . . Meeting Minutes - February 24, 2014 (→Policy: ALL_SUPPORTED and strings and --rewrite-divk)
- 13:00, 24 February 2014 (diff | hist) . . (+165) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:54, 24 February 2014 (diff | hist) . . (-29) . . Meeting Minutes - February 24, 2014 (→RewriteRules, rewritten)
- 12:53, 24 February 2014 (diff | hist) . . (+105) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:45, 24 February 2014 (diff | hist) . . (+4) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:44, 24 February 2014 (diff | hist) . . (+442) . . Meeting Minutes - February 24, 2014
- 12:16, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:15, 24 February 2014 (diff | hist) . . (+18) . . Meeting Minutes - February 24, 2014 (→RewriteRules)
- 12:15, 24 February 2014 (diff | hist) . . (+36) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:15, 24 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014 (→Status)
- 12:06, 24 February 2014 (diff | hist) . . (-2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+2) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+6) . . Meeting Minutes - February 24, 2014 (→Strings in CVC format)
- 12:05, 24 February 2014 (diff | hist) . . (+151) . . Meeting Minutes - February 24, 2014
- 11:43, 24 February 2014 (diff | hist) . . (+775) . . Meeting Minutes - February 24, 2014
- 09:55, 21 February 2014 (diff | hist) . . (+278) . . Meeting Minutes - February 24, 2014 (→DecisionEngine, lemmas, and the ite skolem map)
- 08:55, 20 February 2014 (diff | hist) . . (+29) . . Meeting Minutes - February 24, 2014
- 08:06, 20 February 2014 (diff | hist) . . (+78) . . Meeting Minutes - February 24, 2014
- 08:05, 20 February 2014 (diff | hist) . . (+52) . . Meeting Minutes - February 24, 2014
- 15:17, 19 February 2014 (diff | hist) . . (+38) . . Meeting Minutes - February 24, 2014
- 16:01, 14 February 2014 (diff | hist) . . (+134) . . N Meeting Minutes - February 24, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-02-24|1:30pm|3:30pm}} =Status= =Discussion= ==ALL_SUPPORTED and strings and --rewrite-divk==")
- 16:01, 14 February 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 11:46, 13 February 2014 (diff | hist) . . (+22) . . Meeting Minutes - February 13, 2014 (→Discussion) (current)
- 16:00, 12 February 2014 (diff | hist) . . (+33) . . Meeting Minutes - February 13, 2014
- 06:30, 11 February 2014 (diff | hist) . . (+84) . . N Meeting Minutes - February 13, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-02-13|1:30pm|3:30pm}} =Status= =Discussion=")
- 06:29, 11 February 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 12:43, 27 January 2014 (diff | hist) . . (+23) . . Meeting Minutes - January 27, 2014 (current)
- 12:40, 27 January 2014 (diff | hist) . . (+118) . . Meeting Minutes - January 27, 2014
- 12:32, 27 January 2014 (diff | hist) . . (+371) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:21, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:20, 27 January 2014 (diff | hist) . . (+99) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:04, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+27) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+186) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (-11) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (+439) . . N Meeting Minutes - January 27, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-27|1:30pm|3:30pm}} =Status= Morgan * some forward progress on ** proof compaction ** strings experiments for Tianyi for CAV ** rings p…")
- 12:31, 21 January 2014 (diff | hist) . . (-21) . . Meeting Minutes - January 21, 2014 (→Discussion) (current)
- 12:22, 21 January 2014 (diff | hist) . . (+77) . . Meeting Minutes - January 21, 2014
- 12:06, 21 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 21, 2014
- 11:59, 21 January 2014 (diff | hist) . . (+120) . . Meeting Minutes - January 21, 2014
- 11:56, 21 January 2014 (diff | hist) . . (+249) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:59, 21 January 2014 (diff | hist) . . (+20) . . Meeting Minutes - January 21, 2014 (→Followups)
- 06:58, 21 January 2014 (diff | hist) . . (-13) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:58, 21 January 2014 (diff | hist) . . (+69) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:57, 21 January 2014 (diff | hist) . . (+190) . . Meeting Minutes - January 21, 2014
- 12:28, 18 January 2014 (diff | hist) . . (+157) . . N Meeting Minutes - January 21, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-21|1:30pm|3:30pm}} =Status= =Discussion= Partial functions in the theory of strings (e.g. "charAt" and "substr")")
- 12:28, 18 January 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 12:31, 13 January 2014 (diff | hist) . . (+48) . . Meeting Minutes - January 13, 2014 (→Status) (current)
- 12:31, 13 January 2014 (diff | hist) . . (-1) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:30, 13 January 2014 (diff | hist) . . (+47) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (-2) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (+241) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:58, 13 January 2014 (diff | hist) . . (+39) . . Meeting Minutes - January 13, 2014 (→Follow-ups)
- 11:57, 13 January 2014 (diff | hist) . . (+187) . . Meeting Minutes - January 13, 2014
- 10:07, 13 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 13, 2014
- 10:03, 13 January 2014 (diff | hist) . . (+986) . . Meeting Minutes - January 13, 2014
- 09:59, 13 January 2014 (diff | hist) . . (+62) . . Meeting Minutes - January 13, 2014
- 09:58, 13 January 2014 (diff | hist) . . (+103) . . N Meeting Minutes - January 13, 2014 (Created page with "http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=5980&reference_id=5978&category=&p=5")
- 08:49, 9 January 2014 (diff | hist) . . (+1) . . Meeting Minutes - January 6, 2014 (→Status) (current)
- 12:45, 6 January 2014 (diff | hist) . . (+71) . . Meeting Minutes - January 6, 2014 (→Followups)
- 12:44, 6 January 2014 (diff | hist) . . (+13) . . Meeting Minutes - January 6, 2014 (→Discussion)
- 12:39, 6 January 2014 (diff | hist) . . (+108) . . Meeting Minutes - January 6, 2014 (→Followups)
- 12:38, 6 January 2014 (diff | hist) . . (+333) . . Meeting Minutes - January 6, 2014
- 12:20, 6 January 2014 (diff | hist) . . (+490) . . Meeting Minutes - January 6, 2014 (→Status)
- 11:56, 6 January 2014 (diff | hist) . . (+384) . . Meeting Minutes - January 6, 2014 (→Status)
- 11:42, 18 December 2013 (diff | hist) . . (+75) . . Meeting Minutes - January 6, 2014
- 11:41, 18 December 2013 (diff | hist) . . (+286) . . N Meeting Minutes - January 6, 2014 (Created page with "=Status= Morgan *enabled leaderboard over weekend *enabled preprocess compare-jobs script *CASCADE regressions *reviewed readline use **default configure is production-all-gpl *…")
- 11:40, 18 December 2013 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 11:40, 18 December 2013 (diff | hist) . . (+358) . . Developer Meeting Minutes (→Meeting calendar)
- 11:39, 18 December 2013 (diff | hist) . . (+1,392) . . N Developer Meeting Minutes for 2014 (Created page with "==First Quarter 2014== <ul>{{ mtgindex|2014-01-06}}{{ mtgindex|2014-01-13}}{{ mtgindex|2014-01-20}}{{ mtgindex|2014-01-27}}{{ mtgindex|2014-02-03}}{{ mtgindex|2014-02-10}}{{ mtg…")
- 11:34, 18 December 2013 (diff | hist) . . (0) . . Developer Meeting Minutes for 2013 (→Third Quarter 2013) (current)
- 20:41, 16 December 2013 (diff | hist) . . (+22) . . Meeting Minutes - December 16, 2013 (→Follow ups) (current)
- 12:46, 16 December 2013 (diff | hist) . . (+45) . . Meeting Minutes - December 16, 2013 (→Discussion)
- 12:29, 16 December 2013 (diff | hist) . . (+103) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:21, 16 December 2013 (diff | hist) . . (+294) . . Meeting Minutes - December 16, 2013 (→Follow ups)
- 12:03, 16 December 2013 (diff | hist) . . (-14) . . Meeting Minutes - December 16, 2013 (→Follow-ups)
- 12:03, 16 December 2013 (diff | hist) . . (+66) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:00, 16 December 2013 (diff | hist) . . (-97) . . Meeting Minutes - December 16, 2013 (→Status)
- 11:59, 16 December 2013 (diff | hist) . . (+228) . . Meeting Minutes - December 16, 2013 (→Status)
- 23:01, 12 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 16, 2013 (→Status)
- 23:01, 12 December 2013 (diff | hist) . . (+44) . . Meeting Minutes - December 16, 2013
- 17:04, 12 December 2013 (diff | hist) . . (+87) . . Meeting Minutes - December 16, 2013
- 22:42, 11 December 2013 (diff | hist) . . (+157) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:57, 11 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 16, 2013
- 12:57, 11 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 16, 2013
- 12:57, 11 December 2013 (diff | hist) . . (+370) . . N Meeting Minutes - December 16, 2013 (Created page with "=Status= Morgan * GLPK build improvements---license * StarExec jobs * CASCADE regressions * preprocessing statistic in database, compare script * follow-ups to everyone expectin…")
- 21:22, 10 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013 (→Followups) (current)
- 13:06, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:03, 9 December 2013 (diff | hist) . . (+51) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 13:02, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:02, 9 December 2013 (diff | hist) . . (+29) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:00, 9 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013
- 12:54, 9 December 2013 (diff | hist) . . (+4) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:43, 9 December 2013 (diff | hist) . . (+180) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:28, 9 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:27, 9 December 2013 (diff | hist) . . (+102) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:24, 9 December 2013 (diff | hist) . . (+32) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:13, 9 December 2013 (diff | hist) . . (+132) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:07, 9 December 2013 (diff | hist) . . (+68) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:01, 9 December 2013 (diff | hist) . . (+27) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:01, 9 December 2013 (diff | hist) . . (+16) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:00, 9 December 2013 (diff | hist) . . (+1) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:00, 9 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 9, 2013
- 12:00, 9 December 2013 (diff | hist) . . (+49) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:59, 9 December 2013 (diff | hist) . . (-3) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:59, 9 December 2013 (diff | hist) . . (+6) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:57, 9 December 2013 (diff | hist) . . (+559) . . N Meeting Minutes - December 9, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-12-09|1:30pm|3:30pm}} =Status= Release 1.3 is out! Morgan * release duties * seminar given Wei * Kshitij * sets * leaving in 2 days …")
- 08:08, 9 December 2013 (diff | hist) . . (-1) . . Acknowledgments (current)
- 08:08, 9 December 2013 (diff | hist) . . (+73) . . Acknowledgments
- 08:04, 9 December 2013 (diff | hist) . . (+607) . . CVC4 Copyright (current)
- 08:03, 9 December 2013 (diff | hist) . . (0) . . CVC4 Copyright
- 08:03, 9 December 2013 (diff | hist) . . (+6) . . CVC4 Copyright
- 08:01, 9 December 2013 (diff | hist) . . (-39) . . About CVC4
- 08:01, 9 December 2013 (diff | hist) . . (+60) . . About CVC4
- 13:11, 2 December 2013 (diff | hist) . . (+7) . . Meeting Minutes - December 2, 2013 (→Release) (current)
- 12:35, 2 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:32, 2 December 2013 (diff | hist) . . (+162) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:29, 2 December 2013 (diff | hist) . . (+69) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:27, 2 December 2013 (diff | hist) . . (+179) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:23, 2 December 2013 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:22, 2 December 2013 (diff | hist) . . (+26) . . N File:Manual ring 2exp10 3vars 0ite unsat.smt2 (Example from Tim 12/2/2013) (current)
- 12:21, 2 December 2013 (diff | hist) . . (+2) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:21, 2 December 2013 (diff | hist) . . (+50) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:20, 2 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:20, 2 December 2013 (diff | hist) . . (+1,907) . . Meeting Minutes - December 2, 2013
- 12:18, 2 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 2, 2013 (→Release)
- 12:16, 2 December 2013 (diff | hist) . . (+12) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:16, 2 December 2013 (diff | hist) . . (+119) . . Meeting Minutes - December 2, 2013 (→Agenda)
- 12:14, 2 December 2013 (diff | hist) . . (+81) . . Meeting Minutes - December 2, 2013 (→Release)
- 12:13, 2 December 2013 (diff | hist) . . (+19) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:13, 2 December 2013 (diff | hist) . . (+146) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:07, 2 December 2013 (diff | hist) . . (+77) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:02, 2 December 2013 (diff | hist) . . (+31) . . Meeting Minutes - December 2, 2013
- 12:02, 2 December 2013 (diff | hist) . . (+324) . . Meeting Minutes - December 2, 2013
- 16:41, 27 November 2013 (diff | hist) . . (+174) . . Meeting Minutes - December 2, 2013
- 13:57, 27 November 2013 (diff | hist) . . (+1) . . About CVC4
- 09:27, 27 November 2013 (diff | hist) . . (+286) . . N Meeting Minutes - December 2, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-12-02|1:30pm|3:30pm}} =Status= Morgan * preparing release ** library versioning ** debian packaging ** etc. * incremental mode default in…")
- 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)
- 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)
- 10:53, 28 August 2013 (diff | hist) . . (+67) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+13) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+63) . . Meeting Minutes - August 28, 2013 (→Status)
- 15:24, 22 August 2013 (diff | hist) . . (-223) . . Meeting Minutes - August 21, 2013 (current)
- 15:24, 22 August 2013 (diff | hist) . . (+223) . . Meeting Minutes - August 28, 2013
- 15:23, 22 August 2013 (diff | hist) . . (+80) . . N Meeting Minutes - August 28, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-08-28|1:30pm|3:30pm}} =Status= =Agenda=")
- 15:23, 22 August 2013 (diff | hist) . . (+192) . . Developer Meeting Minutes for 2013
- 15:21, 22 August 2013 (diff | hist) . . (+121) . . Developer Meeting Minutes for 2013 (→First Quarter 2013)
- 15:20, 22 August 2013 (diff | hist) . . (+336) . . Developer Meeting Minutes (→Meeting calendar)
- 15:16, 22 August 2013 (diff | hist) . . (0) . . About CVC4 (→Decision Procedures)
- 07:09, 20 August 2013 (diff | hist) . . (+26) . . Meeting Minutes - August 21, 2013
- 09:38, 15 August 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 09:37, 15 August 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 09:36, 15 August 2013 (diff | hist) . . (0) . . Meeting Minutes - August 21, 2013
- 17:14, 14 August 2013 (diff | hist) . . (+62) . . Meeting Minutes - August 21, 2013
- 17:13, 14 August 2013 (diff | hist) . . (+1,268) . . N Meeting Minutes - August 21, 2013 (Created page with "=Status= =Agenda= ==Preprocessing and incrementality (Tim)== ==CVC4 bugs, release== * should quash these bugs before release ===ITE simplification bug=== # A term-level ITE…")
- 17:13, 14 August 2013 (diff | hist) . . (-1,206) . . Meeting Minutes - August 14, 2013 (current)
- 11:33, 14 August 2013 (diff | hist) . . (+191) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:30, 14 August 2013 (diff | hist) . . (+88) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:13, 14 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 11:12, 14 August 2013 (diff | hist) . . (+645) . . Meeting Minutes - August 14, 2013 (→Status)
- 15:32, 13 August 2013 (diff | hist) . . (-39) . . Meeting Minutes - August 14, 2013 (→Cluster breakage)
- 15:02, 13 August 2013 (diff | hist) . . (+262) . . Meeting Minutes - August 14, 2013
- 12:34, 13 August 2013 (diff | hist) . . (+20) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:34, 13 August 2013 (diff | hist) . . (+48) . . Meeting Minutes - August 14, 2013
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:26, 13 August 2013 (diff | hist) . . (+134) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 12:24, 13 August 2013 (diff | hist) . . (+152) . . Meeting Minutes - August 14, 2013 (→Agenda)
- 12:23, 13 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:22, 13 August 2013 (diff | hist) . . (+18) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:22, 13 August 2013 (diff | hist) . . (+1,128) . . N Meeting Minutes - August 14, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-08-14|1:30pm|3:30pm}} =Status= Morgan * poster * numerous bugfixes * incrementality * papers (w/ Stephane) Liana Wei Tim Kshitij And…")
- 16:20, 31 July 2013 (diff | hist) . . (0) . . Developer's Guide (→Adding theory support to the parser)
- 16:17, 31 July 2013 (diff | hist) . . (+2) . . Developer's Guide (→Adding theory support to the parser)
- 13:38, 11 July 2013 (diff | hist) . . (0) . . Public:Third Party Applications
- 13:37, 11 July 2013 (diff | hist) . . (+335) . . Public:Third Party Applications
- 11:32, 6 July 2013 (diff | hist) . . (+96) . . Public:Third Party Applications
- 09:58, 1 June 2013 (diff | hist) . . (-337) . . Public:Third Party Applications (Undo revision 4654 by 198.61.225.140 (Talk))
- 09:58, 1 June 2013 (diff | hist) . . (-54) . . m Public:Third Party Applications (Reverted edits by 193.36.178.45 (Talk) to last revision by 198.61.225.140)
- 10:01, 31 May 2013 (diff | hist) . . (-320) . . Public:Third Party Applications (Undo revision 4650 by 4.30.97.163 (Talk))
- 10:01, 31 May 2013 (diff | hist) . . (+49) . . m Public:Third Party Applications (Reverted edits by 186.177.17.226 (Talk) to last revision by 4.30.97.163)
- 14:12, 30 May 2013 (diff | hist) . . (-386) . . m Public:Third Party Applications (Reverted edits by 5.53.134.241 (Talk) to last revision by Mdeters)
- 09:58, 29 May 2013 (diff | hist) . . (+28) . . SMT-LIB Compliance
- 09:58, 29 May 2013 (diff | hist) . . (-95) . . SMT-LIB Compliance
- 13:43, 27 May 2013 (diff | hist) . . (-273) . . m Public:Third Party Applications (Reverted edits by 174.142.18.252 (Talk) to last revision by Mdeters)
- 08:10, 25 May 2013 (diff | hist) . . (-934) . . m Public:Third Party Applications (Reverted edits by 78.128.76.231 (Talk) to last revision by Mdeters)
- 05:34, 24 May 2013 (diff | hist) . . (-22) . . m Public:Third Party Applications (Reverted edits by 42.96.129.66 (Talk) to last revision by 69.122.19.66)
- 08:43, 21 May 2013 (diff | hist) . . (+462) . . N Meeting Minutes - May 21, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-05-21|11:00am|1pm}} =Status= Morgan * numerous bugfixes, mostly compliance issues raised by David Cok Liana * fmcad paper ** justificati…") (current)
- 05:06, 16 May 2013 (diff | hist) . . (-7) . . m Public:Third Party Applications (Reverted edits by 151.58.238.13 (Talk) to last revision by Mdeters)
- 09:13, 14 May 2013 (diff | hist) . . (+56) . . Meeting Minutes - May 14, 2013 (current)
- 09:10, 14 May 2013 (diff | hist) . . (-7) . . Public:Third Party Applications
- 09:06, 14 May 2013 (diff | hist) . . (+23) . . m Public:Third Party Applications (Reverted edits by 124.195.9.125 (Talk) to last revision by 2.228.151.221)
- 09:06, 14 May 2013 (diff | hist) . . (+60) . . Meeting Minutes - May 14, 2013
- 09:05, 14 May 2013 (diff | hist) . . (+1,075) . . N Meeting Minutes - May 14, 2013 (Created page with "=Status= Clark * baby Andy * CASC, binary due next Monday ** will refactor some, run final tests * expecting middle-of-the-pack for FOF * decently high expectations (perhaps ev…")
- 09:02, 7 May 2013 (diff | hist) . . (+59) . . Meeting Minutes - May 7, 2013 (current)
- 09:01, 7 May 2013 (diff | hist) . . (+1,320) . . N Meeting Minutes - May 7, 2013 (Created page with " =Status= Morgan * preparing for release Clark * investigating some slowdowns, arrays bug (?) Stephane * undecidability proof for 1SL2 * slides for Thursday's seminar * FroCoS…")
- 09:28, 30 April 2013 (diff | hist) . . (+144) . . Meeting Minutes - April 30, 2013 (→Discussion) (current)
- 08:58, 30 April 2013 (diff | hist) . . (+1,509) . . Meeting Minutes - April 30, 2013 (→Status)
- 14:08, 29 April 2013 (diff | hist) . . (+117) . . Meeting Minutes - April 30, 2013 (→Discussion)
- 12:06, 29 April 2013 (diff | hist) . . (+356) . . N Meeting Minutes - April 30, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-30|11:00am|1pm}} =Status= Morgan * glpk stuff, fcsimplex merge * lazy-defs checking * working with Stephane on various projects * pape…")
- 09:23, 25 April 2013 (diff | hist) . . (+372) . . Meeting Minutes - April 25, 2013 (current)
- 09:04, 25 April 2013 (diff | hist) . . (+523) . . Meeting Minutes - April 25, 2013
- 08:58, 25 April 2013 (diff | hist) . . (+1,518) . . Meeting Minutes - April 25, 2013 (→Status)
- 17:40, 24 April 2013 (diff | hist) . . (+88) . . Meeting Minutes - April 25, 2013 (→Status)
- 17:02, 24 April 2013 (diff | hist) . . (+40) . . Meeting Minutes - April 25, 2013 (→Discussion)
- 17:01, 24 April 2013 (diff | hist) . . (+252) . . Meeting Minutes - April 25, 2013
- 17:00, 24 April 2013 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 16:30, 24 April 2013 (diff | hist) . . (+77) . . Meeting Minutes - April 25, 2013
- 16:29, 24 April 2013 (diff | hist) . . (+58) . . N Meeting Minutes - April 25, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-25|11:00am|1pm}}")
- 05:20, 19 April 2013 (diff | hist) . . (-1,435) . . m Public:Third Party Applications (Reverted edits by 208.115.77.11 (Talk) to last revision by Mdeters)
- 12:07, 15 April 2013 (diff | hist) . . (-2,232) . . Public:Third Party Applications (Undo revision 4602 by 63.238.72.56 (Talk))
- 12:06, 15 April 2013 (diff | hist) . . (-1) . . m Public:Third Party Applications (Reverted edits by 190.143.102.154 (Talk) to last revision by 63.238.72.56)
- 08:52, 13 April 2013 (diff | hist) . . (-1,595) . . m Public:Third Party Applications (Reverted edits by 81.82.217.56 (Talk) to last revision by Mdeters)
- 09:30, 9 April 2013 (diff | hist) . . (+22) . . Meeting Minutes - April 9, 2013 (→Status) (current)
- 09:29, 9 April 2013 (diff | hist) . . (+289) . . Meeting Minutes - April 9, 2013 (→Discussion)
- 08:56, 9 April 2013 (diff | hist) . . (+869) . . N Meeting Minutes - April 9, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-09|11:00am|1pm}} =Status= Morgan * completeness proofs w/ Stephane * release-related duties * installer for Mac OS X Clark * Preparat…")
- 09:55, 6 April 2013 (diff | hist) . . (-869) . . Public:Third Party Applications
- 04:44, 4 April 2013 (diff | hist) . . (-498) . . Public:Third Party Applications
- 12:46, 2 April 2013 (diff | hist) . . (+7) . . SMT-LIB Compliance
- 10:51, 2 April 2013 (diff | hist) . . (+70) . . Public:Third Party Applications (reverting spam)
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)