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