User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:37, 12 March 2013 (diff | hist) . . (+32) . . Meeting Minutes - March 12, 2013 (→Status)
- 08:36, 12 March 2013 (diff | hist) . . (+48) . . Meeting Minutes - March 12, 2013 (→Discussion)
- 08:36, 12 March 2013 (diff | hist) . . (+794) . . Meeting Minutes - March 12, 2013 (→Status)
- 17:02, 11 March 2013 (diff | hist) . . (-17) . . Meeting Minutes - March 12, 2013 (→Status)
- 17:02, 11 March 2013 (diff | hist) . . (+65) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:48, 11 March 2013 (diff | hist) . . (+108) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:45, 11 March 2013 (diff | hist) . . (+294) . . N Meeting Minutes - March 12, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-03-12|11:00am|1pm}} =Status= Morgan * * some KIND integration work ** --incremental --decision=justification much better performancewise…")
- 10:32, 5 March 2013 (diff | hist) . . (+25) . . Meeting Minutes - March 5, 2013 (→Discussion) (current)
- 09:55, 5 March 2013 (diff | hist) . . (+607) . . Meeting Minutes - March 5, 2013
- 09:19, 5 March 2013 (diff | hist) . . (+219) . . Meeting Minutes - March 5, 2013 (→Status)
- 06:58, 5 March 2013 (diff | hist) . . (+24) . . Meeting Minutes - March 5, 2013
- 06:58, 5 March 2013 (diff | hist) . . (+147) . . N Meeting Minutes - March 5, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-03-05|11:00am|1pm}} Morgan * SMT-Exec disk failure * CVC4 slowdown with KIND * extensions to NTS-LIB parser")
- 10:28, 26 February 2013 (diff | hist) . . (+681) . . Meeting Minutes - February 26, 2013 (current)
- 10:00, 26 February 2013 (diff | hist) . . (+60) . . Meeting Minutes - February 26, 2013
- 09:59, 26 February 2013 (diff | hist) . . (+979) . . N Meeting Minutes - February 26, 2013 (Created page with "=Status= Morgan * KIND integration * church lockdown * Java bindings issues * bugfixes * NTS parsing to support path schema enumeration/subsumption work Stephane * path schema …")
- 05:30, 22 February 2013 (diff | hist) . . (-173) . . Public talk:Third Party Applications (Blanked the page) (current)
- 14:05, 14 February 2013 (diff | hist) . . (+40) . . Meeting Minutes - February 19, 2013 (→Discussion) (current)
- 08:47, 13 February 2013 (diff | hist) . . (+1) . . Meeting Minutes - February 19, 2013 (→Status)
- 08:47, 13 February 2013 (diff | hist) . . (+54) . . Meeting Minutes - February 19, 2013
- 08:46, 13 February 2013 (diff | hist) . . (+14) . . Meeting Minutes - February 19, 2013 (→Status)
- 08:46, 13 February 2013 (diff | hist) . . (-188) . . Meeting Minutes - February 12, 2013 (current)
- 08:46, 13 February 2013 (diff | hist) . . (+386) . . N Meeting Minutes - February 19, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-02-19|11am|1pm}} =Status= Morgan * Fixed a preprocessing-time performance issue ([http://church.cims.nyu.edu/regress-results/compare_jobs…")
- 10:03, 12 February 2013 (diff | hist) . . (+2) . . Meeting Minutes - February 12, 2013 (→Models)
- 10:03, 12 February 2013 (diff | hist) . . (+189) . . Meeting Minutes - February 12, 2013 (→Discussion)
- 09:52, 12 February 2013 (diff | hist) . . (+785) . . Meeting Minutes - February 12, 2013 (→Status)
- 09:39, 12 February 2013 (diff | hist) . . (+997) . . Meeting Minutes - February 12, 2013 (→Status)
- 22:53, 11 February 2013 (diff | hist) . . (+90) . . Meeting Minutes - February 12, 2013 (→Status)
- 19:27, 10 February 2013 (diff | hist) . . (+146) . . Meeting Minutes - February 12, 2013 (→Status)
- 19:26, 10 February 2013 (diff | hist) . . (+306) . . Meeting Minutes - February 12, 2013
- 16:28, 8 February 2013 (diff | hist) . . (+29) . . Meeting Minutes - February 12, 2013 (→Status)
- 16:28, 8 February 2013 (diff | hist) . . (+109) . . Meeting Minutes - February 12, 2013 (→Status)
- 16:26, 8 February 2013 (diff | hist) . . (+53) . . Meeting Minutes - February 12, 2013 (→Status)
- 16:24, 8 February 2013 (diff | hist) . . (+123) . . Meeting Minutes - February 12, 2013 (→Status)
- 16:03, 8 February 2013 (diff | hist) . . (+132) . . Meeting Minutes - February 12, 2013
- 16:02, 8 February 2013 (diff | hist) . . (+134) . . Meeting Minutes - February 12, 2013 (→Status)
- 18:55, 7 February 2013 (diff | hist) . . (+40) . . Meeting Minutes - February 12, 2013 (→Discussion)
- 17:30, 7 February 2013 (diff | hist) . . (+21) . . Meeting Minutes - February 12, 2013 (→Status)
- 17:29, 7 February 2013 (diff | hist) . . (+766) . . N Meeting Minutes - February 12, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-02-12|11am|1pm}} =Status= Morgan * miplib-trick fixes * chroot jails on church for Fedora 14..18, debian-stable, newer Ubuntus ** useful …")
- 10:19, 5 February 2013 (diff | hist) . . (+30) . . Meeting Minutes - February 5, 2013 (→Discussion) (current)
- 10:06, 5 February 2013 (diff | hist) . . (+293) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:59, 5 February 2013 (diff | hist) . . (+110) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:52, 5 February 2013 (diff | hist) . . (+498) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:43, 5 February 2013 (diff | hist) . . (-4) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:34, 5 February 2013 (diff | hist) . . (+202) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:23, 5 February 2013 (diff | hist) . . (+36) . . Meeting Minutes - February 5, 2013 (→Status)
- 09:20, 5 February 2013 (diff | hist) . . (+149) . . Meeting Minutes - February 5, 2013 (→Status)
- 16:35, 4 February 2013 (diff | hist) . . (+601) . . Meeting Minutes - February 5, 2013
- 19:43, 29 January 2013 (diff | hist) . . (+95) . . N Meeting Minutes - February 5, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-02-05|11am|1pm}} =Status= =Discussion= =Action Items=")
- 19:42, 29 January 2013 (diff | hist) . . (-16) . . Meeting Minutes - January 29, 2013 (→Action Items) (current)
- 10:11, 29 January 2013 (diff | hist) . . (+212) . . Meeting Minutes - January 29, 2013 (→Quantifiers Models)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
