User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:29, 5 May 2011 (diff | hist) . . (-46) . . Meeting Minutes - May 6, 2011 (→Status)
- 23:55, 29 April 2011 (diff | hist) . . (-2) . . Meeting Minutes - May 6, 2011 (→Theory Combination!!!)
- 23:55, 29 April 2011 (diff | hist) . . (+34) . . Meeting Minutes - May 6, 2011 (→Discussion)
- 23:55, 29 April 2011 (diff | hist) . . (+1,521) . . N Meeting Minutes - May 6, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-05-06|10:30am|12:30am}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 23:53, 29 April 2011 (diff | hist) . . (-339) . . Meeting Minutes - April 29, 2011 (current)
- 08:37, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110429a.png (current)
- 08:37, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110429.notebook (current)
- 08:02, 29 April 2011 (diff | hist) . . (+1,051) . . Meeting Minutes - April 29, 2011
- 07:23, 29 April 2011 (diff | hist) . . (+402) . . Meeting Minutes - April 29, 2011
- 06:57, 29 April 2011 (diff | hist) . . (+413) . . Meeting Minutes - April 29, 2011
- 06:35, 29 April 2011 (diff | hist) . . (+149) . . Meeting Minutes - April 29, 2011
- 06:29, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422e.png (current)
- 06:28, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422d.png (current)
- 06:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422c.png (current)
- 06:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422b.png (current)
- 06:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422a.png (current)
- 06:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422.notebook (current)
- 11:05, 28 April 2011 (diff | hist) . . (+99) . . Meeting Minutes - April 29, 2011 (→Top-down substitutions)
- 11:01, 28 April 2011 (diff | hist) . . (-2) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 11:00, 28 April 2011 (diff | hist) . . (+342) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 10:59, 28 April 2011 (diff | hist) . . (+87) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 10:49, 28 April 2011 (diff | hist) . . (+251) . . Meeting Minutes - April 29, 2011 (→Advantages and disadvantages)
- 10:31, 28 April 2011 (diff | hist) . . (+1,341) . . Meeting Minutes - April 29, 2011 (→Circuit diagram)
- 10:18, 28 April 2011 (diff | hist) . . (+1,866) . . Meeting Minutes - April 29, 2011
- 09:54, 28 April 2011 (diff | hist) . . (+4,568) . . Meeting Minutes - April 29, 2011 (→Discussion)
- 09:15, 28 April 2011 (diff | hist) . . (-79) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 19:29, 27 April 2011 (diff | hist) . . (-6) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 19:29, 27 April 2011 (diff | hist) . . (+24) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 19:28, 27 April 2011 (diff | hist) . . (+226) . . Meeting Minutes - April 29, 2011
- 23:47, 26 April 2011 (diff | hist) . . (+3,522) . . N Meeting Minutes - April 29, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-04-29|10:30am|12:30am}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 23:35, 26 April 2011 (diff | hist) . . (-700) . . Meeting Minutes - April 22, 2011 (→Discussion) (current)
- 07:28, 22 April 2011 (diff | hist) . . (+1,261) . . Meeting Minutes - April 22, 2011
- 23:30, 21 April 2011 (diff | hist) . . (+341) . . Meeting Minutes - April 22, 2011 (→Datatypes make us reconsider our architecture)
- 23:02, 21 April 2011 (diff | hist) . . (+525) . . Developer's Guide (→Commit policy)
- 22:30, 21 April 2011 (diff | hist) . . (+7) . . Developer's Guide (→Commit policy)
- 22:28, 21 April 2011 (diff | hist) . . (-1) . . Meeting Minutes - April 22, 2011 (→Datatypes make us reconsider our architecture)
- 22:26, 21 April 2011 (diff | hist) . . (0) . . Meeting Minutes - April 22, 2011 (→Datatypes make us reconsider our architecture)
- 22:26, 21 April 2011 (diff | hist) . . (+319) . . Developer's Guide (→Commit policy)
- 22:24, 21 April 2011 (diff | hist) . . (+390) . . Meeting Minutes - April 22, 2011 (→Discussion)
- 22:17, 21 April 2011 (diff | hist) . . (+518) . . Meeting Minutes - April 22, 2011
- 16:06, 21 April 2011 (diff | hist) . . (+10) . . Developer's Guide (→ANTLR3)
- 16:04, 21 April 2011 (diff | hist) . . (+9) . . Developer's Guide (→ANTLR3)
- 10:51, 15 April 2011 (diff | hist) . . (+54) . . Meeting Minutes - April 22, 2011
- 10:51, 15 April 2011 (diff | hist) . . (-650) . . Meeting Minutes - April 15, 2011
- 10:48, 15 April 2011 (diff | hist) . . (+10) . . Meeting Minutes - April 15, 2011
- 10:48, 15 April 2011 (diff | hist) . . (0) . . Meeting Minutes - April 22, 2011
- 10:48, 15 April 2011 (diff | hist) . . (+83) . . Meeting Minutes - April 22, 2011
- 10:42, 15 April 2011 (diff | hist) . . (+1,865) . . N Meeting Minutes - April 22, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-04-22|10:30am|12:30am}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 20:55, 14 April 2011 (diff | hist) . . (+23) . . Meeting Minutes - April 15, 2011 (→NOTICE: Igor's defense)
- 20:55, 14 April 2011 (diff | hist) . . (+83) . . Meeting Minutes - April 15, 2011 (→Discussion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
