User contributions
From CVC4
(newest | oldest) View (newer 250 | older 250) (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
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)