[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 ...

5 Aug 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.

[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