User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:17, 27 May 2011 (diff | hist) . . (+120) . . N Meeting Minutes - June 3, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-06-03|10:30am|12:30pm}} =Status= =Notes= ==CVC4 Demo== ==Theory Combination==') (current)
- 11:11, 27 May 2011 (diff | hist) . . (+71) . . N Meeting Minutes - May 27, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-05-27|10:30am|12:30pm}} =Notes=')
- 11:10, 27 May 2011 (diff | hist) . . (+56) . . Meeting Minutes - May 20, 2011 (current)
- 09:18, 27 May 2011 (diff | hist) . . (0) . . N File:Mtg20110527.png (current)
- 09:18, 27 May 2011 (diff | hist) . . (0) . . N File:Mtg20110527.notebook (current)
- 15:40, 16 May 2011 (diff | hist) . . (+802) . . Meeting Minutes - May 16, 2011 (→Notes) (current)
- 14:42, 16 May 2011 (diff | hist) . . (+69) . . N Meeting Minutes - May 16, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-05-16|5:30pm|6:30pm}} =Notes=')
- 09:01, 13 May 2011 (diff | hist) . . (+256) . . Meeting Minutes - May 13, 2011 (current)
- 08:50, 13 May 2011 (diff | hist) . . (+127) . . Meeting Minutes - May 13, 2011 (→Monday/Tuesday 5/16-17/2011 schedule)
- 08:42, 13 May 2011 (diff | hist) . . (+314) . . Meeting Minutes - May 13, 2011
- 08:37, 13 May 2011 (diff | hist) . . (+1,338) . . Meeting Minutes - May 13, 2011 (→Status)
- 07:28, 13 May 2011 (diff | hist) . . (-368) . . Meeting Minutes - May 6, 2011 (current)
- 07:28, 13 May 2011 (diff | hist) . . (+2,068) . . N Meeting Minutes - May 13, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-05-13|10:30am|12:30am}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 09:33, 6 May 2011 (diff | hist) . . (+77) . . Meeting Minutes - May 6, 2011 (→Theory interface)
- 09:15, 6 May 2011 (diff | hist) . . (+62) . . Meeting Minutes - May 6, 2011 (→Theory interface)
- 09:09, 6 May 2011 (diff | hist) . . (+2,251) . . Meeting Minutes - May 6, 2011
- 08:01, 6 May 2011 (diff | hist) . . (+40) . . Meeting Minutes - May 6, 2011 (→Notes)
- 10:55, 5 May 2011 (diff | hist) . . (+1) . . Meeting Minutes - May 6, 2011 (→Discussion)
- 10:52, 5 May 2011 (diff | hist) . . (+60) . . Meeting Minutes - May 6, 2011 (→Status)
- 10:52, 5 May 2011 (diff | hist) . . (+4,502) . . Meeting Minutes - May 6, 2011 (→Discussion)
- 10:29, 5 May 2011 (diff | hist) . . (-46) . . Meeting Minutes - May 6, 2011 (→Status)
- 00:55, 30 April 2011 (diff | hist) . . (-2) . . Meeting Minutes - May 6, 2011 (→Theory Combination!!!)
- 00:55, 30 April 2011 (diff | hist) . . (+34) . . Meeting Minutes - May 6, 2011 (→Discussion)
- 00:55, 30 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…')
- 00:53, 30 April 2011 (diff | hist) . . (-339) . . Meeting Minutes - April 29, 2011 (current)
- 09:37, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110429a.png (current)
- 09:37, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110429.notebook (current)
- 09:02, 29 April 2011 (diff | hist) . . (+1,051) . . Meeting Minutes - April 29, 2011
- 08:23, 29 April 2011 (diff | hist) . . (+402) . . Meeting Minutes - April 29, 2011
- 07:57, 29 April 2011 (diff | hist) . . (+413) . . Meeting Minutes - April 29, 2011
- 07:35, 29 April 2011 (diff | hist) . . (+149) . . Meeting Minutes - April 29, 2011
- 07:29, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422e.png (current)
- 07:28, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422d.png (current)
- 07:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422c.png (current)
- 07:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422b.png (current)
- 07:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422a.png (current)
- 07:26, 29 April 2011 (diff | hist) . . (0) . . N File:Mtg20110422.notebook (current)
- 12:05, 28 April 2011 (diff | hist) . . (+99) . . Meeting Minutes - April 29, 2011 (→Top-down substitutions)
- 12:01, 28 April 2011 (diff | hist) . . (-2) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 12:00, 28 April 2011 (diff | hist) . . (+342) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 11:59, 28 April 2011 (diff | hist) . . (+87) . . Meeting Minutes - April 29, 2011 (→Nonclausal Simplification)
- 11:49, 28 April 2011 (diff | hist) . . (+251) . . Meeting Minutes - April 29, 2011 (→Advantages and disadvantages)
- 11:31, 28 April 2011 (diff | hist) . . (+1,341) . . Meeting Minutes - April 29, 2011 (→Circuit diagram)
- 11:18, 28 April 2011 (diff | hist) . . (+1,866) . . Meeting Minutes - April 29, 2011
- 10:54, 28 April 2011 (diff | hist) . . (+4,568) . . Meeting Minutes - April 29, 2011 (→Discussion)
- 10:15, 28 April 2011 (diff | hist) . . (-79) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 20:29, 27 April 2011 (diff | hist) . . (-6) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 20:29, 27 April 2011 (diff | hist) . . (+24) . . Meeting Minutes - April 29, 2011 (→Sort cardinality and other type properties)
- 20:28, 27 April 2011 (diff | hist) . . (+226) . . Meeting Minutes - April 29, 2011
- 00:47, 27 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…')
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
