summaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Expand)AuthorFilesLines
2012-03-17Wording fixed/improved.Roberto Bagnara1-2/+2
2012-03-17Use consistent formatting for the FDL.Roberto Bagnara1-2/+2
2012-03-13Fixed licenses text.Abramo Bagnara5-11/+9
2012-03-13Removed bogus use of EXTRA_DIST.Roberto Bagnara1-1/+0
2012-03-11String fixed.Roberto Bagnara1-1/+1
2012-02-26Avoid to use Variable references. Uniformed Variable creations.Abramo Bagnara7-9/+9
2012-02-26Added `Watchdog' to `SUBDIRS'.Roberto Bagnara1-2/+2
2012-02-26Cater for platforms where no floating-point type is supported.Roberto Bagnara1-22/+16
2012-02-23Removed interval restrictions.Abramo Bagnara3-14/+8
2012-02-21Unwanted inclusion removed.Roberto Bagnara1-1/+0
2012-02-20Unwanted inclusion removed.Roberto Bagnara1-1/+0
2012-02-20The Parma Watchdog Library has been merged into the Parma Polyhedra Library.Roberto Bagnara2-3/+3
2012-02-20Global-replace mistake fixed.Roberto Bagnara1-1/+1
2012-02-20The Parma Watchdog Library has been merged into the Parma Polyhedra Library.Roberto Bagnara12-100/+177
2012-02-20Added/fixed some copyright notices.Roberto Bagnara1-0/+1
2012-02-14Restored a few tests commented out long time ago.Enea Zaffanella1-54/+38
2012-02-13Invoke libtool when checking with Valgrind enabled.Enea Zaffanella13-0/+13
2012-02-13Fixed value for Valgrind --num-callers option.Enea Zaffanella1-1/+1
2012-01-18Bumped copyright years.Roberto Bagnara579-579/+579
2012-01-02Added test showing a bug in BD_Shape::bounded_affine_preimage().Enea Zaffanella1-0/+21
2011-12-07tests/Polyhedron/linearsystem1: avoid using a low-level constructor of Constr...Marco Poletti1-3/+1
2011-12-07*_System (except Congruence_System): add a Representation field and a Represe...Marco Poletti1-2/+2
2011-12-06tests/Grid: use the Recycle_Input tag in the tests, fixing compilation errors.Marco Poletti3-4/+4
2011-12-06test/Polyhedron/sparserow1: rename m_swap() into coefficient_swap(), fixing c...Marco Poletti1-4/+4
2011-12-05Merge branch 'master' into sparse_matricesMarco Poletti2-10/+10
2011-12-04tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by castin...Marco Poletti1-2/+2
2011-12-04tests/Concrete_Expression: avoid using unnamed types as template arguments.Marco Poletti1-8/+8
2011-12-03Merge branch 'master' into sparse_matrices_testMarco Poletti1-0/+24
2011-12-03Merge commit '5d31265f3e17b7e1d0d03d0009a1906b2d03165c' into sparse_matrices_...Marco Poletti2-6/+6
2011-12-03Merge commit '39c1356315950be2201142fba21cf0f861e234c1' into sparse_matrices_...Marco Poletti11-20/+24
2011-12-03Merge commit 'fa86778c6ae396672711e10f2c195df3cb13311f' into sparse_matrices_...Marco Poletti576-576/+576
2011-12-03Merge commit '09144610d98413a390afed2c0f5b189e7a9e5f30' into sparse_matrices_...Marco Poletti3-4/+46
2011-12-03Merge commit 'a87bb62c2afee1571db0d44ac02b756c9e30cb3c' into sparse_matrices_...Marco Poletti8-0/+36
2011-12-03Merge commit '50dc24772dc142eed06b6109672b3804e15a0804' into sparse_matrices_...Marco Poletti18-0/+4787
2011-12-03tests/linearsystem1: avoid using the Constraint::expression() method.Marco Poletti1-5/+6
2011-12-03Added new test showing an error in Grid::relation_with(const Constraint&).Enea Zaffanella1-0/+24
2011-12-01BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors (#2).Marco Poletti1-1/+1
2011-12-01BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors.Marco Poletti1-1/+1
2011-11-07Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix.Enea Zaffanella3-9/+9
2011-11-07Avoid overloading std::swap for PPL types.Enea Zaffanella11-20/+24
2011-10-25Web site URI updated.Roberto Bagnara578-578/+578
2011-10-18test/Polyhedron/linearsystem1: avoid calling Linear_Expression::get_row().Marco Poletti1-3/+9
2011-10-17Added test showing a bug when solving again a 0-dimensional MIP_Problem.Enea Zaffanella2-1/+44
2011-10-10Better terminology and identifiers concerning time units.Roberto Bagnara1-3/+2
2011-08-21Improved portability to Solaris.Roberto Bagnara1-0/+8
2011-08-10Use all the available tests.Roberto Bagnara1-0/+2
2011-06-06Silenced gcc warnings.Abramo Bagnara1-0/+1
2011-06-06Silenced gcc warnings.Abramo Bagnara4-0/+4
2011-06-06Silenced gcc warning.Abramo Bagnara1-0/+1
2011-05-09Improved the documentation and removed an useless function.Fabio Bossi1-0/+20
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-26 02:37:12 +0000