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 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.
participants (1)
-
Malcolm Wallace