User contributions
From CVC4
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 12:46, 2 December 2014 (diff | hist) . . (+112) . . About CVC4 (→Decision Procedures)
- 12:06, 19 November 2014 (diff | hist) . . (0) . . m About CVC4 (→Decision Procedures)
- 15:00, 13 November 2014 (diff | hist) . . (0) . . Publications (current)
- 15:00, 13 November 2014 (diff | hist) . . (+2,056) . . Publications
- 14:47, 13 November 2014 (diff | hist) . . (+2) . . About CVC4
- 13:06, 12 November 2014 (diff | hist) . . (-7) . . Meeting Minutes - November 19, 2014 (current)
- 13:01, 12 November 2014 (diff | hist) . . (+72) . . Meeting Minutes - November 19, 2014
- 13:01, 12 November 2014 (diff | hist) . . (-589) . . Meeting Minutes - November 12, 2014 (→Discussion) (current)
- 13:01, 12 November 2014 (diff | hist) . . (+601) . . N Meeting Minutes - November 19, 2014 (Created page with "=Discussion= ==New mailing list?== Cesare's proposal. ==Quantifiers + decision=justification== ==String fragment restriction== We have a decision procedure for the fragment …")
- 13:00, 12 November 2014 (diff | hist) . . (+41) . . Meeting Minutes - November 12, 2014 (→Status)
- 12:50, 12 November 2014 (diff | hist) . . (+344) . . Meeting Minutes - November 12, 2014 (→Status)
- 12:33, 12 November 2014 (diff | hist) . . (+270) . . Meeting Minutes - November 12, 2014 (→Status)
- 10:33, 12 November 2014 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar) (current)
- 07:17, 12 November 2014 (diff | hist) . . (+47) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 05:45, 12 November 2014 (diff | hist) . . (+12) . . Meeting Minutes - November 12, 2014 (→Status)
- 05:35, 12 November 2014 (diff | hist) . . (+71) . . Meeting Minutes - November 12, 2014
- 15:17, 11 November 2014 (diff | hist) . . (+178) . . Meeting Minutes - November 12, 2014 (→Discussion)
- 15:16, 11 November 2014 (diff | hist) . . (+326) . . Meeting Minutes - November 12, 2014
- 11:48, 11 November 2014 (diff | hist) . . (+130) . . N Meeting Minutes - November 12, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-11-12|1:30pm|3:30pm}} =Status= Morgan =Discussion= Quantifiers + decision=justification")
- 11:47, 11 November 2014 (diff | hist) . . (0) . . Meeting Minutes - October 22, 2014 (current)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)