Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to vampire-4.8;
  2. tuned README;
  3. update Vampire version, following hints by Martin Desharnais;
  4. removed junk;
  5. tuned component_vampire script for Vampire 4.8 and added new flag to force version name
Changeset 78826:4183cbe41d24 by wenzelm:
updated to vampire-4.8;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 78825:a83fd469d48d by wenzelm:
tuned README;
The file was modified src/Pure/Admin/component_vampire.scala (diff)
Changeset 78824:e0cb5a96f5fe by wenzelm:
update Vampire version, following hints by Martin Desharnais;
The file was modified src/Pure/Admin/component_vampire.scala (diff)
Changeset 78823:893049a842b5 by wenzelm:
removed junk;
The file was modified src/Pure/Admin/component_minisat.scala (diff)
The file was modified src/Pure/Admin/component_vampire.scala (diff)
Changeset 78822:09b5113e5c9d by desharna:
tuned component_vampire script for Vampire 4.8 and added new flag to force version name
The file was modified src/Pure/Admin/component_vampire.scala (diff)