summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2013-12-01Useless typedefs avoided. Formatting improved on passing.Roberto Bagnara4-46/+19
2013-11-08Version number bumped.Roberto Bagnara1-1/+2
2013-10-28Worked around a Doxygen bug.Roberto Bagnara1-0/+5
2013-09-24Interfaced Polyhedron::positive_time_elapse_assign().Roberto Bagnara7-10/+43
2013-09-14Missing comment added.Roberto Bagnara1-0/+7
2013-09-14Commented-out code removed.Roberto Bagnara1-32/+19
2013-09-14The documentation details of the Polyhedron::conversion() static methodEnea Zaffanella1-0/+4
2013-05-15Merge branch 'master' into polyopsRoberto Bagnara7-30/+42
2013-04-21Trailing white space removed.Roberto Bagnara1-1/+1
2013-04-04Added a testcase showing an issue in method MIP_Problem::OK().Enea Zaffanella2-23/+37
2013-03-03Fixed constructor from a different partially reduced product element.Enea Zaffanella1-4/+1
2013-03-03Fix indentation.Enea Zaffanella1-1/+1
2013-02-27Complete application of systematic file header renaming.Enea Zaffanella1-1/+1
2013-01-30Added missing line.Abramo Bagnara1-0/+1
2013-01-17Merge branch 'master' into polyopsRoberto Bagnara1-2/+2
2013-01-17Comments fixed.Roberto Bagnara1-2/+2
2013-01-15Merge branch 'polyops' of ssh://git.cs.unipr.it/ppl/ppl into polyopsMarco Faella68-384/+406
2013-01-15first draft of positive_time_elapse addedMarco Faella4-1/+181
2013-01-04Const-qualify immutable objects.Roberto Bagnara7-8/+10
2013-01-04Missing comments added.Roberto Bagnara1-0/+3
2013-01-03Const-qualify immutable objects.Roberto Bagnara4-5/+5
2013-01-03Typo fixed.Roberto Bagnara2-4/+4
2013-01-02Const-qualify immutable objects.Roberto Bagnara39-241/+244
2013-01-01Const-qualify immutable objects.Roberto Bagnara24-84/+92
2013-01-01Const-qualify immutable objects.Roberto Bagnara10-43/+49
2013-01-01Extended copyright years.Roberto Bagnara430-431/+431
2012-12-19GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.Roberto Bagnara2-0/+12
2012-09-20EList is not Watchdog specific. Avoided needless naming incongruences.Abramo Bagnara17-299/+271
2012-09-05Fixed several Doxygen warnings.Enea Zaffanella3-25/+26
2012-08-30Fixed a precision problem in methodEnea Zaffanella1-11/+17
2012-08-27Indentation fixed.Roberto Bagnara1-10/+30
2012-08-25Avoided user defined and implementation define behaviors of left and right sh...Abramo Bagnara1-59/+54
2012-08-22Avoided some "magic constants".Roberto Bagnara3-9/+16
2012-08-22Fixed float_ieee754_half::POS_INF and float_ieee754_half::NEG_INF.Roberto Bagnara1-2/+2
2012-08-22Revert "Two comments turned into assertions."Roberto Bagnara1-2/+2
2012-08-21Avoided a couple of "magic constants".Roberto Bagnara1-2/+2
2012-08-21Comments should never be used for "commenting out" code.Roberto Bagnara1-10/+0
2012-08-21Unusual and difficult-to-maintain comment removed.Roberto Bagnara1-1/+1
2012-08-20Two comments turned into assertions.Roberto Bagnara1-2/+2
2012-08-20Do not declare more than one variable per declaration.Roberto Bagnara5-18/+32
2012-08-20Avoided non-constant pointers to function.Roberto Bagnara2-2/+2
2012-08-20Avoided non-constant pointers to function.Roberto Bagnara2-3/+3
2012-08-20Avoided non-constant pointers to function.Roberto Bagnara1-1/+2
2012-08-20Guarantee that header file names are unique as per C++11's 16.2#5.Roberto Bagnara415-1449/+1449
2012-08-19Fixed the code layout for several if-then-elses.Roberto Bagnara25-159/+318
2012-08-19Fixed comments that were meant to be Doxygen comments.Roberto Bagnara3-45/+48
2012-08-19Comment fixed.Roberto Bagnara1-1/+1
2012-08-18Modified the Expression_Adapter infrastructure.Enea Zaffanella26-385/+387
2012-08-18Do not use TABs for code layout.Roberto Bagnara185-5430/+5430
2012-08-18Avoided som implicit integral conversion that changed the signedness of the u...Roberto Bagnara2-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-29 15:20:09 +0000