User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:30, 18 August 2014 (diff | hist) . . (+373) . . Meeting Minutes - August 18, 2014 (→Status)
- 09:47, 18 August 2014 (diff | hist) . . (+515) . . Meeting Minutes - August 18, 2014
- 13: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")
- 13: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=")
- 10:23, 11 August 2014 (diff | hist) . . (+65) . . Meeting Minutes - August 11, 2014 (→Discussion) (current)
- 10:01, 11 August 2014 (diff | hist) . . (+222) . . Meeting Minutes - August 11, 2014 (→Status)
- 09:46, 11 August 2014 (diff | hist) . . (-51) . . Meeting Minutes - August 11, 2014 (→Discussion)
- 09:46, 11 August 2014 (diff | hist) . . (+51) . . Meeting Minutes - August 11, 2014 (→Discussion)
- 09:45, 11 August 2014 (diff | hist) . . (+42) . . Meeting Minutes - August 11, 2014 (→Status)
- 09:45, 11 August 2014 (diff | hist) . . (+27) . . Meeting Minutes - August 11, 2014 (→Status)
- 09:34, 11 August 2014 (diff | hist) . . (+83) . . Meeting Minutes - August 11, 2014 (→Status)
- 12:15, 5 August 2014 (diff | hist) . . (+2) . . Meeting Minutes - August 11, 2014 (→Status)
- 12:13, 5 August 2014 (diff | hist) . . (+182) . . Meeting Minutes - August 11, 2014
- 12:06, 5 August 2014 (diff | hist) . . (+96) . . Meeting Minutes - August 11, 2014
- 05:47, 5 August 2014 (diff | hist) . . (+99) . . Meeting Minutes - August 11, 2014 (→resource limiting and re-starting)
- 05:36, 5 August 2014 (diff | hist) . . (+132) . . Meeting Minutes - August 11, 2014
- 14:10, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - August 11, 2014
- 14: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…")
- 14:08, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - August 4, 2014 (current)
- 14:08, 4 August 2014 (diff | hist) . . (+41) . . Meeting Minutes - July 14, 2014 (current)
- 10:26, 4 August 2014 (diff | hist) . . (+522) . . Meeting Minutes - August 4, 2014
- 09: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…")
- 10:00, 28 July 2014 (diff | hist) . . (+30) . . About CVC4
- 09:49, 28 July 2014 (diff | hist) . . (+10) . . About CVC4
- 09:49, 28 July 2014 (diff | hist) . . (-1) . . About CVC4
- 07:39, 26 June 2014 (diff | hist) . . (+40) . . Release checklist
- 07:39, 26 June 2014 (diff | hist) . . (+383) . . Release checklist
- 13: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…")
- 13:00, 23 June 2014 (diff | hist) . . (-5) . . Meeting Minutes - June 23, 2014 (→Release checklist) (current)
- 11:30, 23 June 2014 (diff | hist) . . (+198) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 11:25, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 11:22, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 11:19, 23 June 2014 (diff | hist) . . (-122) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 11:14, 23 June 2014 (diff | hist) . . (+248) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 10:24, 23 June 2014 (diff | hist) . . (+12) . . Meeting Minutes - June 23, 2014 (→Status)
- 10:04, 23 June 2014 (diff | hist) . . (-1) . . Meeting Minutes - June 23, 2014 (→Status)
- 10:01, 23 June 2014 (diff | hist) . . (0) . . Meeting Minutes - June 23, 2014 (→Status)
- 10:01, 23 June 2014 (diff | hist) . . (+10) . . Meeting Minutes - June 23, 2014 (→Status)
- 10:00, 23 June 2014 (diff | hist) . . (+395) . . Meeting Minutes - June 23, 2014 (→Status)
- 19:11, 17 June 2014 (diff | hist) . . (+225) . . Options (→:link) (current)
- 13: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…")
- 10:30, 16 June 2014 (diff | hist) . . (+107) . . Meeting Minutes - June 16, 2014 (→Release checklist) (current)
- 10:16, 16 June 2014 (diff | hist) . . (+57) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 10:15, 16 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 10:13, 16 June 2014 (diff | hist) . . (+154) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 10:10, 16 June 2014 (diff | hist) . . (+102) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 09:56, 16 June 2014 (diff | hist) . . (+133) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 08:02, 16 June 2014 (diff | hist) . . (+374) . . Meeting Minutes - June 16, 2014
- 08: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==")
- 10:40, 9 June 2014 (diff | hist) . . (+344) . . Meeting Minutes - June 9, 2014 (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
