User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:46, 2 December 2014 (diff | hist) . . (+112) . . About CVC4 (→Decision Procedures)
- 11:06, 19 November 2014 (diff | hist) . . (0) . . m About CVC4 (→Decision Procedures)
- 14:00, 13 November 2014 (diff | hist) . . (0) . . Publications (current)
- 14:00, 13 November 2014 (diff | hist) . . (+2,056) . . Publications
- 13:47, 13 November 2014 (diff | hist) . . (+2) . . About CVC4
- 12:06, 12 November 2014 (diff | hist) . . (-7) . . Meeting Minutes - November 19, 2014 (current)
- 12:01, 12 November 2014 (diff | hist) . . (+72) . . Meeting Minutes - November 19, 2014
- 12:01, 12 November 2014 (diff | hist) . . (-589) . . Meeting Minutes - November 12, 2014 (→Discussion) (current)
- 12: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 …")
- 12:00, 12 November 2014 (diff | hist) . . (+41) . . Meeting Minutes - November 12, 2014 (→Status)
- 11:50, 12 November 2014 (diff | hist) . . (+344) . . Meeting Minutes - November 12, 2014 (→Status)
- 11:33, 12 November 2014 (diff | hist) . . (+270) . . Meeting Minutes - November 12, 2014 (→Status)
- 09:33, 12 November 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar) (current)
- 06:17, 12 November 2014 (diff | hist) . . (+47) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 04:45, 12 November 2014 (diff | hist) . . (+12) . . Meeting Minutes - November 12, 2014 (→Status)
- 04:35, 12 November 2014 (diff | hist) . . (+71) . . Meeting Minutes - November 12, 2014
- 14:17, 11 November 2014 (diff | hist) . . (+178) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 14:16, 11 November 2014 (diff | hist) . . (+326) . . Meeting Minutes - November 12, 2014
- 10: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")
- 10:47, 11 November 2014 (diff | hist) . . (0) . . Meeting Minutes - October 22, 2014 (current)
- 09:47, 27 September 2014 (diff | hist) . . (-100) . . SMT-LIB Compliance (current)
- 08: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)
- 12:05, 15 September 2014 (diff | hist) . . (-2) . . Meeting Minutes - September 15, 2014 (→Status) (current)
- 12:05, 15 September 2014 (diff | hist) . . (+15) . . Meeting Minutes - September 15, 2014 (→Sets)
- 12:04, 15 September 2014 (diff | hist) . . (+308) . . Meeting Minutes - September 15, 2014 (→Status)
- 10:29, 15 September 2014 (diff | hist) . . (+26) . . Template:Mtglinks (current)
- 10:28, 15 September 2014 (diff | hist) . . (+72) . . Meeting Minutes - September 15, 2014
- 10:27, 15 September 2014 (diff | hist) . . (+18) . . Meeting Minutes - September 15, 2014
- 10:27, 15 September 2014 (diff | hist) . . (+75) . . Meeting Minutes - September 15, 2014
- 10:22, 15 September 2014 (diff | hist) . . (-24) . . Developer Meeting Minutes for 2014 (→Fourth Quarter 2014) (current)
- 10:21, 15 September 2014 (diff | hist) . . (-23) . . Developer Meeting Minutes for 2014 (→Third Quarter 2014)
- 10:20, 15 September 2014 (diff | hist) . . (-47) . . Developer Meeting Minutes (→Meeting calendar)
- 10:19, 15 September 2014 (diff | hist) . . (+269) . . Meeting Minutes - September 15, 2014
- 10: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…")
- 08:52, 27 August 2014 (diff | hist) . . (+60) . . Meeting Minutes - September 2, 2014 (current)
- 08:51, 27 August 2014 (diff | hist) . . (+20) . . Meeting Minutes - September 2, 2014
- 08: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…")
- 11:20, 25 August 2014 (diff | hist) . . (+235) . . Meeting Minutes - August 25, 2014 (→Discussion) (current)
- 11:00, 25 August 2014 (diff | hist) . . (+10) . . Meeting Minutes - August 25, 2014 (→Status)
- 10:57, 25 August 2014 (diff | hist) . . (+2,365) . . Meeting Minutes - August 25, 2014
- 09:59, 25 August 2014 (diff | hist) . . (+547) . . Meeting Minutes - August 25, 2014
- 09:49, 22 August 2014 (diff | hist) . . (+119) . . Meeting Minutes - August 25, 2014 (→Status)
- 09:32, 22 August 2014 (diff | hist) . . (+106) . . Meeting Minutes - August 25, 2014 (→Status)
- 09:29, 22 August 2014 (diff | hist) . . (+29) . . Meeting Minutes - August 25, 2014 (→Discussion)
- 09:29, 22 August 2014 (diff | hist) . . (+13) . . Meeting Minutes - August 25, 2014 (→Discussion)
- 09:29, 22 August 2014 (diff | hist) . . (+399) . . Meeting Minutes - August 25, 2014
- 07:29, 22 August 2014 (diff | hist) . . (+267) . . Meeting Minutes - August 25, 2014
- 10:37, 18 August 2014 (diff | hist) . . (+17) . . Meeting Minutes - August 18, 2014 (→Followups) (current)
- 10:36, 18 August 2014 (diff | hist) . . (+59) . . Meeting Minutes - August 18, 2014 (→Followups)
- 10:31, 18 August 2014 (diff | hist) . . (+29) . . Meeting Minutes - August 18, 2014 (→Followups)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
