User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:52, 17 September 2012 (diff | hist) . . (+135) . . Public Interface Review
- 12:51, 17 September 2012 (diff | hist) . . (+45) . . MediaWiki:Sidebar
- 12:50, 17 September 2012 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 12:50, 17 September 2012 (diff | hist) . . (+29) . . MediaWiki:Sidebar
- 12:32, 17 September 2012 (diff | hist) . . (-1,596) . . Meeting Minutes - September 11, 2012 (current)
- 12:31, 17 September 2012 (diff | hist) . . (-174) . . Meeting Minutes - September 18, 2012 (→Action items)
- 12:29, 17 September 2012 (diff | hist) . . (+1,429) . . N Meeting Minutes - September 18, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-18|11am|1pm}} =Status= =Discussion= =Action items= '''From last time:''' *Merge model stuff into trunk (Andy) *After model merge, ad…")
- 12:18, 17 September 2012 (diff | hist) . . (0) . . Using SSL with Church (→Fingerprint)
- 12:17, 17 September 2012 (diff | hist) . . (0) . . File:Church-ssl-cert.pem (uploaded a new version of "File:Church-ssl-cert.pem") (current)
- 07:58, 14 September 2012 (diff | hist) . . (+71) . . MediaWiki:Sidebar
- 07:57, 14 September 2012 (diff | hist) . . (+58) . . MediaWiki:Sidebar
- 07:56, 14 September 2012 (diff | hist) . . (-273) . . MediaWiki:Sidebar
- 07:51, 14 September 2012 (diff | hist) . . (+27) . . N Tutorials (Created page with "Tutorial content for CVC4..")
- 09:26, 11 September 2012 (diff | hist) . . (+145) . . Meeting Minutes - September 11, 2012 (→Discussion)
- 08:38, 11 September 2012 (diff | hist) . . (+522) . . Meeting Minutes - September 11, 2012 (→Status)
- 08:16, 11 September 2012 (diff | hist) . . (-88) . . Meeting Minutes - September 11, 2012 (→Status)
- 08:14, 11 September 2012 (diff | hist) . . (+3,356) . . N Meeting Minutes - September 11, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-11|11am|1pm}} =Status= Morgan * bugfixing * CVC3 compatibility layer * public interface review Dejan * thesis Kshitij * working on p…")
- 12:49, 30 August 2012 (diff | hist) . . (-267) . . Meeting Minutes - September 6, 2012 (→Action items) (current)
- 12:48, 30 August 2012 (diff | hist) . . (+234) . . Meeting Minutes - August 30, 2012 (→Compatibility layer) (current)
- 12:47, 30 August 2012 (diff | hist) . . (-1,588) . . Meeting Minutes - August 30, 2012
- 12:47, 30 August 2012 (diff | hist) . . (+3,623) . . N Meeting Minutes - September 6, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-06|11am|1pm}} =Status= Morgan * bugfixing * CVC3 compatibility layer * public interface review Dejan * thesis Kshitij * working on p…")
- 08:50, 30 August 2012 (diff | hist) . . (+182) . . Meeting Minutes - August 30, 2012 (→Action items)
- 08:42, 30 August 2012 (diff | hist) . . (+37) . . Release checklist
- 08:39, 30 August 2012 (diff | hist) . . (+25) . . Meeting Minutes - August 30, 2012 (→Status)
- 08:33, 30 August 2012 (diff | hist) . . (+37) . . Meeting Minutes - August 30, 2012 (→Action items)
- 08:33, 30 August 2012 (diff | hist) . . (+302) . . Meeting Minutes - August 30, 2012 (→Status)
- 16:34, 29 August 2012 (diff | hist) . . (+287) . . Meeting Minutes - August 30, 2012 (→Recent slowdown tracked to r4246 kinds file)
- 15:40, 29 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 30, 2012
- 18:04, 27 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 30, 2012
- 12:19, 27 August 2012 (diff | hist) . . (+46) . . Meeting Minutes - August 30, 2012 (→Compatibility layer)
- 12:18, 27 August 2012 (diff | hist) . . (-175) . . Meeting Minutes - August 30, 2012 (→Compatibility layer)
- 11:55, 27 August 2012 (diff | hist) . . (+26) . . Meeting Minutes - August 30, 2012 (→Action items)
- 11:15, 27 August 2012 (diff | hist) . . (+64) . . Meeting Minutes - August 30, 2012
- 16:14, 24 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 30, 2012 (→Action items)
- 11:29, 24 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 30, 2012 (→Action items)
- 10:52, 23 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 23, 2012 (→Action items) (current)
- 10:52, 23 August 2012 (diff | hist) . . (+102) . . Meeting Minutes - August 30, 2012 (→Action items)
- 10:09, 23 August 2012 (diff | hist) . . (-2,496) . . Meeting Minutes - August 23, 2012 (→Discussion)
- 10:08, 23 August 2012 (diff | hist) . . (0) . . Meeting Minutes - August 30, 2012
- 10:08, 23 August 2012 (diff | hist) . . (+81) . . Meeting Minutes - August 30, 2012
- 10:08, 23 August 2012 (diff | hist) . . (+1,225) . . Meeting Minutes - August 30, 2012 (→Action items)
- 10:06, 23 August 2012 (diff | hist) . . (+2,510) . . N Meeting Minutes - August 30, 2012 (Created page with "==Public Interface Review== Dejan and Morgan's suggestions/TODO list here. Still need to look at the ''signatures'' of classes; the first pass was j…")
- 10:06, 23 August 2012 (diff | hist) . . (+64) . . Meeting Minutes - August 23, 2012 (→Action items)
- 10:05, 23 August 2012 (diff | hist) . . (+176) . . Meeting Minutes - August 23, 2012 (→Bound vars (distinct from other vars))
- 09:54, 23 August 2012 (diff | hist) . . (+342) . . Meeting Minutes - August 23, 2012 (→Sharing + Datatypes)
- 09:41, 23 August 2012 (diff | hist) . . (+96) . . Meeting Minutes - August 23, 2012 (→Action items)
- 09:41, 23 August 2012 (diff | hist) . . (+138) . . Meeting Minutes - August 23, 2012 (→FMF Issues)
- 09:09, 23 August 2012 (diff | hist) . . (+127) . . Meeting Minutes - August 23, 2012 (→Action items)
- 09:08, 23 August 2012 (diff | hist) . . (+118) . . Meeting Minutes - August 23, 2012 (→SmtExec available for some CVC4-testing jobs)
- 09:08, 23 August 2012 (diff | hist) . . (-118) . . Meeting Minutes - August 23, 2012 (→Lambdas)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
