summaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Expand)AuthorFilesLines
2013-10-28Test renamed.Roberto Bagnara2-1/+3
2013-10-28Improved.Roberto Bagnara1-24/+27
2013-09-14Do not clean inexistent dat file.Enea Zaffanella2-16/+15
2013-09-14Use the serial test harness in these directories.Roberto Bagnara4-0/+8
2013-05-15Merge branch 'master' into polyopsRoberto Bagnara3-8/+22
2013-05-13Added test cases for the positive time elapse operator.Marco Faella2-0/+430
2013-04-04Added a testcase showing an issue in method MIP_Problem::OK().Enea Zaffanella1-0/+14
2013-03-03Activate a couple of tests that were ignored.Enea Zaffanella1-7/+7
2013-02-27Complete application of systematic file header renaming.Enea Zaffanella1-1/+1
2013-01-01Extended copyright years.Roberto Bagnara581-582/+582
2012-08-30Added a new test showing a precision problem in one of the methodsEnea Zaffanella1-0/+35
2012-08-27Added test invocations that were left out by mistake.Roberto Bagnara3-2/+7
2012-08-20Guarantee that header file names are unique as per C++11's 16.2#5.Roberto Bagnara14-13/+13
2012-08-18Do not use TABs for code layout.Roberto Bagnara104-2196/+2196
2012-08-14Changed the way of accessing the underlying expression in classesEnea Zaffanella6-55/+54
2012-07-13Changed test04 to print more info when noisy.Enea Zaffanella1-12/+17
2012-06-26Fixed fpu rounding set/restore.Abramo Bagnara1-6/+0
2012-06-25Indentation fixed.Roberto Bagnara1-3/+3
2012-06-25Cater for systems where Watchdog objects are not supported.Roberto Bagnara1-0/+8
2012-06-21Restore the pre-PPL rounding mode before using libm functions.Roberto Bagnara3-5/+26
2012-05-23Added tests showing a bug in method contains() of weakly-relational shapes.Enea Zaffanella2-3/+45
2012-05-18Properly match #endif's directives using comments.Enea Zaffanella1-3/+3
2012-05-04Added a new test showing a bug in PIP_Problem.Enea Zaffanella1-0/+20
2012-04-23test01() no longer overflows with 8-bits and assertions on C polyhedra.Enea Zaffanella1-0/+6
2012-04-23test09() no longer overflows with 8-bit coefficients and assertions on.Enea Zaffanella1-1/+1
2012-04-19test14() overflows with 16 bit integers and assertions turned off.Enea Zaffanella1-1/+1
2012-04-19test16() overflows on 16 bits even with assertions turned off.Enea Zaffanella1-1/+1
2012-04-17Merge branch 'master' into sparse_matricesEnea Zaffanella3-12/+202
2012-04-11Test PIP_Problem/weightwatch1 requires unbounded coefficients.Enea Zaffanella1-1/+1
2012-04-07New test program.Roberto Bagnara2-5/+71
2012-04-07Comments improved.Roberto Bagnara1-11/+11
2012-04-07Cleaned.Roberto Bagnara1-3/+1
2012-04-06The given problem is not satisfiable (independently verified with other solve...Roberto Bagnara1-11/+3
2012-04-06Make it easier to reproduce issue [PPL 0000353].Roberto Bagnara3-108/+88
2012-04-05Set the validity bits.Roberto Bagnara1-38/+38
2012-04-05To reproduce Mantis issue [PPL 0000353].Roberto Bagnara2-0/+154
2012-04-04Merge branch 'master' into sparse_matricesEnea Zaffanella1-0/+4
2012-03-30On machines where float is supported and double is not supported, test01() ca...Roberto Bagnara1-0/+4
2012-03-30Merge branch 'master' into sparse_matricesEnea Zaffanella12-71/+75
2012-03-27Do not assume doubles are supported.Roberto Bagnara2-15/+20
2012-03-26Surround non integer costants with a cast to boundary type.Abramo Bagnara5-41/+41
2012-03-26Do not rely on doubles being supported.Roberto Bagnara4-13/+13
2012-03-26Removed unused parameter name.Roberto Bagnara1-2/+1
2012-03-26Merge branch 'master' into sparse_matricesEnea Zaffanella1-0/+1
2012-03-23Added `@extra_includes@' to `AM_CPPFLAGS'.Roberto Bagnara1-0/+1
2012-03-23Added test showing an assertion crashing in Linear_System::remove_row_no_ok().Enea Zaffanella1-0/+32
2012-03-23Merge branch 'master' into sparse_matricesEnea Zaffanella580-802/+860
2012-03-19Text revised.Roberto Bagnara1-2/+2
2012-03-18Copyright wording fixed.Roberto Bagnara1-1/+1
2012-03-17Use a consistent formatting.Roberto Bagnara1-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 17:05:30 +0000