fiat team mailing list archive

Thread
Date

updated bug fix for p1 nonconforming, configure

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Fri, 13 Jan 2006 05:07:41 +0100
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2006-01-13 05:07 CET)
-----------------

updated bug fix for p1 nonconforming, configure

  fiat++  Makefile.in                      1.2
  fiat++  aclocal.m4                       1.2
  fiat++  configure                        1.2
  fiat++  autom4te.cache/output.0          1.2
  fiat++  autom4te.cache/requests          1.2
  fiat++  autom4te.cache/traces.0          1.2
  fiat++  autom4te.cache/traces.2          1.2
  fiat++  config/tac_arg_with_blitzlib.m4  1.2
  fiat++  src/FIAT.hpp                     1.2
  fiat++  src/FIAT_p1nc.cpp                1.2
  fiat++  src/FIAT_p1nc.hpp                1.2
  fiat++  src/FIAT_rcp.hpp                 1.2
  fiat++  src/Makefile.in                  1.2
  fiat++  tests/Makefile.am                1.2
  fiat++  tests/Makefile.in                1.2