fiat team mailing list archive

Thread
Date

Added initial draft of P1NC element. [...]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Mon, 23 Jan 2006 22:05:52 +0100
Sender: Kevin Long <krlong@xxxxxxxxxx>

Commit from krlong (2006-01-23 22:05 CET)
------------------

Added initial draft of P1NC element.

Added more informative error checking.

  fiat++  configure                1.3
  fiat++  autom4te.cache/output.0  1.3
  fiat++  autom4te.cache/output.1  1.2
  fiat++  autom4te.cache/requests  1.3
  fiat++  autom4te.cache/traces.0  1.3
  fiat++  autom4te.cache/traces.1  1.2
+ fiat++  src/FIAT_exception.cpp   1.1
+ fiat++  src/FIAT_exception.hpp   1.1
  fiat++  src/FIAT_expansions.cpp  1.4
  fiat++  src/FIAT_expansions.hpp  1.5
  fiat++  src/FIAT_functional.hpp  1.7
  fiat++  src/FIAT_la.cpp          1.3
  fiat++  src/FIAT_polynomial.cpp  1.3
  fiat++  src/FIAT_quadrature.cpp  1.3
  fiat++  src/FIAT_rcp.hpp         1.3
  fiat++  src/Makefile.am          1.3
  fiat++  src/Makefile.in          1.3
+ fiat++  tests/test_p1nc.cpp      1.1