http://cvc4.stanford.edu/w/api.php?action=feedcontributions&feedformat=atom&user=Admin 2026-04-04T17:07:22Z User contributions MediaWiki 1.26.4 http://cvc4.stanford.edu/w/index.php?title=CVC4&diff=437 2009-10-01T21:05:49Z

<p>Admin: </p> <hr /> <div>Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.<br /> <br /> '''Relevant to CVC4 development:'''<br /> * [[Developer Meeting Minutes]]<br /> * [[CVC4 Wishlist|CVC4 wishlist]]<br /> * [[References|Bibliographical references of interest]]<br /> <br /> '''Some CVC3 resources (login may be required):'''<br /> * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla]<br /> * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list]<br /> * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page]<br /> * [[Fuzz-testing, October 2009|Results of Fuzz-testing CVC3 prior to release]] {{NEW}}<br /> <br /> '''Some CVC4 resources (login may be required):'''<br /> * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]<br /> <br /> '''Relevant to this wiki:'''<br /> * [[User Registration|User registration]]<br /> * [[Developer Resources|Developer resources]]</div>

Admin http://cvc4.stanford.edu/w/index.php?title=CVC4&diff=436 2009-10-01T21:05:36Z

<p>Admin: </p> <hr /> <div>Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.<br /> <br /> '''Relevant to CVC4 development:'''<br /> * [[Developer Meeting Minutes]]<br /> * [[CVC4 Wishlist|CVC4 wishlist]]<br /> * [[References|Bibliographical references of interest]]<br /> <br /> '''Some CVC3 resources (login may be required):'''<br /> * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla]<br /> * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list]<br /> * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page]<br /> * {{NEW}} [[Fuzz-testing, October 2009|Results of Fuzz-testing CVC3 prior to release]]<br /> <br /> '''Some CVC4 resources (login may be required):'''<br /> * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]<br /> <br /> '''Relevant to this wiki:'''<br /> * [[User Registration|User registration]]<br /> * [[Developer Resources|Developer resources]]</div>

Admin http://cvc4.stanford.edu/w/index.php?title=CVC4&diff=430 2009-10-01T20:57:45Z

<p>Admin: </p> <hr /> <div>Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.<br /> <br /> {{NEW}} [[Fuzz-testing, October 2009|Results of Fuzz-testing CVC3 prior to release]]<br /> <br /> '''Relevant to CVC4 development:'''<br /> * [[Developer Meeting Minutes]]<br /> * [[CVC4 Wishlist|CVC4 wishlist]]<br /> * [[References|Bibliographical references of interest]]<br /> <br /> '''Some CVC3 resources (login may be required):'''<br /> * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla]<br /> * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list]<br /> * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page]<br /> <br /> '''Some CVC4 resources (login may be required):'''<br /> * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]<br /> <br /> '''Relevant to this wiki:'''<br /> * [[User Registration|User registration]]<br /> * [[Developer Resources|Developer resources]]</div>

Admin http://cvc4.stanford.edu/w/index.php?title=CVC4&diff=428 2009-10-01T20:56:50Z

<p>Admin: </p> <hr /> <div>Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.<br /> <br /> {{NEW}} Results of Fuzz-testing CVC3 prior to release<br /> <br /> '''Relevant to CVC4 development:'''<br /> * [[Developer Meeting Minutes]]<br /> * [[CVC4 Wishlist|CVC4 wishlist]]<br /> * [[References|Bibliographical references of interest]]<br /> <br /> '''Some CVC3 resources (login may be required):'''<br /> * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla]<br /> * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list]<br /> * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page]<br /> <br /> '''Some CVC4 resources (login may be required):'''<br /> * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla]<br /> * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]<br /> <br /> '''Relevant to this wiki:'''<br /> * [[User Registration|User registration]]<br /> * [[Developer Resources|Developer resources]]</div>

Admin