[cvs-nhc98] cvs commit: nhc98/tests/nofib/real/veritas
Attributes.lhs Auto.hs
Build_Tm.lhs Build_itrm.lhs Core_database.hs Core_datatype.hs
Dcore.hs DerivedRules.hs Display.hs Editor.hs Edlib.lhs Getops.hs
Globals.hs Goals.hs Kernel.hs Lookup.hs Main.hs Parse.lhs ...
Malcolm Wallace
malcolm at glass.cse.ogi.edu
Thu Aug 5 07:12:44 EDT 2004
malcolm 2004/08/05 04:12:44 PDT
Added files:
tests/nofib/real/veritas Attributes.lhs Auto.hs Build_Tm.lhs
Build_itrm.lhs Core_database.hs
Core_datatype.hs Dcore.hs
DerivedRules.hs Display.hs Editor.hs
Edlib.lhs Getops.hs Globals.hs
Goals.hs Kernel.hs Lookup.hs Main.hs
Parse.lhs Sub_Core1.hs Sub_Core2.hs
Sub_Core3.hs Sub_Core4.hs
Tacticals.hs Tactics.hs Tags.hs
ThmTactics.hs Token.lhs Tree.hs
Type_defs.lhs Unparse.lhs Vtslib.hs
X_interface.hs veritas.hmakerr
veritas.stdin veritas.stdout
Log:
Add a regression testsuite for the nhc98 compiler. It isn't very good,
but it is better than nothing. I've been using it for about four years
on nightly builds, so it's about time it entered the repository! It
includes a slightly altered version of the nofib suite.
Instructions are in the README.
More information about the Cvs-nhc98
mailing list