User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:46, 13 February 2013 (diff | hist) . . (-188) . . Meeting Minutes - February 12, 2013 (current)
- 07: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…")
- 09:03, 12 February 2013 (diff | hist) . . (+2) . . Meeting Minutes - February 12, 2013 (→Models)
- 09:03, 12 February 2013 (diff | hist) . . (+189) . . Meeting Minutes - February 12, 2013 (→Discussion)
- 08:52, 12 February 2013 (diff | hist) . . (+785) . . Meeting Minutes - February 12, 2013 (→Status)
- 08:39, 12 February 2013 (diff | hist) . . (+997) . . Meeting Minutes - February 12, 2013 (→Status)
- 21:53, 11 February 2013 (diff | hist) . . (+90) . . Meeting Minutes - February 12, 2013 (→Status)
- 18:27, 10 February 2013 (diff | hist) . . (+146) . . Meeting Minutes - February 12, 2013 (→Status)
- 18:26, 10 February 2013 (diff | hist) . . (+306) . . Meeting Minutes - February 12, 2013
- 15:28, 8 February 2013 (diff | hist) . . (+29) . . Meeting Minutes - February 12, 2013 (→Status)
- 15:28, 8 February 2013 (diff | hist) . . (+109) . . Meeting Minutes - February 12, 2013 (→Status)
- 15:26, 8 February 2013 (diff | hist) . . (+53) . . Meeting Minutes - February 12, 2013 (→Status)
- 15:24, 8 February 2013 (diff | hist) . . (+123) . . Meeting Minutes - February 12, 2013 (→Status)
- 15:03, 8 February 2013 (diff | hist) . . (+132) . . Meeting Minutes - February 12, 2013
- 15:02, 8 February 2013 (diff | hist) . . (+134) . . Meeting Minutes - February 12, 2013 (→Status)
- 17:55, 7 February 2013 (diff | hist) . . (+40) . . Meeting Minutes - February 12, 2013 (→Discussion)
- 16:30, 7 February 2013 (diff | hist) . . (+21) . . Meeting Minutes - February 12, 2013 (→Status)
- 16: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 …")
- 09:19, 5 February 2013 (diff | hist) . . (+30) . . Meeting Minutes - February 5, 2013 (→Discussion) (current)
- 09:06, 5 February 2013 (diff | hist) . . (+293) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:59, 5 February 2013 (diff | hist) . . (+110) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:52, 5 February 2013 (diff | hist) . . (+498) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:43, 5 February 2013 (diff | hist) . . (-4) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:34, 5 February 2013 (diff | hist) . . (+202) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:23, 5 February 2013 (diff | hist) . . (+36) . . Meeting Minutes - February 5, 2013 (→Status)
- 08:20, 5 February 2013 (diff | hist) . . (+149) . . Meeting Minutes - February 5, 2013 (→Status)
- 15:35, 4 February 2013 (diff | hist) . . (+601) . . Meeting Minutes - February 5, 2013
- 18: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=")
- 18:42, 29 January 2013 (diff | hist) . . (-16) . . Meeting Minutes - January 29, 2013 (→Action Items) (current)
- 09:11, 29 January 2013 (diff | hist) . . (+212) . . Meeting Minutes - January 29, 2013 (→Quantifiers Models)
- 09:02, 29 January 2013 (diff | hist) . . (+609) . . Meeting Minutes - January 29, 2013 (→Status)
- 08:47, 29 January 2013 (diff | hist) . . (+3) . . Meeting Minutes - January 29, 2013 (→Status)
- 08:45, 29 January 2013 (diff | hist) . . (+114) . . Meeting Minutes - January 29, 2013 (→Status)
- 08:45, 29 January 2013 (diff | hist) . . (0) . . Meeting Minutes - January 29, 2013
- 08:44, 29 January 2013 (diff | hist) . . (+351) . . Meeting Minutes - January 29, 2013 (→Status)
- 08:37, 29 January 2013 (diff | hist) . . (+641) . . Meeting Minutes - January 29, 2013 (→Status)
- 04:38, 29 January 2013 (diff | hist) . . (+158) . . Meeting Minutes - January 29, 2013 (→Discussion)
- 12:40, 28 January 2013 (diff | hist) . . (-1) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 12:39, 28 January 2013 (diff | hist) . . (+36) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 12:38, 28 January 2013 (diff | hist) . . (+4) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 12:38, 28 January 2013 (diff | hist) . . (+2,544) . . Meeting Minutes - January 29, 2013 (→Discussion)
- 12:34, 28 January 2013 (diff | hist) . . (+10) . . Meeting Minutes - January 29, 2013
- 12:34, 28 January 2013 (diff | hist) . . (+298) . . N Meeting Minutes - January 29, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-01-29|11am|1pm}} =Status= Morgan * finished CADE-related experiments * MacOS port (stable port is "cvc4", nightly port is "cvc4-devel") *…")
- 09:59, 22 January 2013 (diff | hist) . . (+4) . . Developer's Guide (fix antlr.org links -> antlr3.org)
- 11:44, 19 January 2013 (diff | hist) . . (+28) . . Meeting Minutes - January 22, 2013 (→Discussion) (current)
- 11:44, 19 January 2013 (diff | hist) . . (-154) . . Meeting Minutes - January 22, 2013 (→Where do we go from here?)
- 08:32, 19 January 2013 (diff | hist) . . (+54) . . Meeting Minutes - January 22, 2013 (→Status)
- 08:30, 19 January 2013 (diff | hist) . . (+91) . . Meeting Minutes - January 22, 2013 (→Status)
- 07:47, 19 January 2013 (diff | hist) . . (0) . . Meeting Minutes - January 22, 2013 (→Where do we go from here?)
- 07:46, 19 January 2013 (diff | hist) . . (+17) . . Meeting Minutes - January 22, 2013
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
