summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)AuthorFilesLines
2013-12-28Fixed title capitalization.Roberto Bagnara1-1/+3
2013-12-28Book title corrected.Roberto Bagnara1-1/+2
2013-12-28Fixed more book titles.Roberto Bagnara1-8/+12
2013-12-28Typo fixed.Patricia Hill1-1/+1
2013-12-28More references added.Patricia Hill1-0/+95
2013-12-28Removed duplicate entry.Roberto Bagnara1-31/+0
2013-12-28Book title fixed.Roberto Bagnara1-3/+4
2013-12-28Title fixed and abstract added.Roberto Bagnara1-1/+25
2013-12-28Fixed more book titles.Roberto Bagnara1-12/+16
2013-12-28Book title fixed.Roberto Bagnara1-1/+2
2013-12-28Fixed several typos.Roberto Bagnara1-10/+12
2013-12-27Typo fixed.Patricia Hill1-1/+0
2013-12-27Typo fixed.Patricia Hill1-1/+1
2013-12-27Added recently published papers citing the PPL.Patricia Hill1-2/+764
2013-10-28Updated.Roberto Bagnara6-12/+108
2013-10-28Label updated.Roberto Bagnara1-1/+1
2013-10-28BenerecettiFM13 has been published.Roberto Bagnara2-23/+48
2013-10-28Updated.Roberto Bagnara1-2/+2
2013-09-24Interfaced Polyhedron::positive_time_elapse_assign().Roberto Bagnara1-18/+21
2013-05-15Merge branch 'master' into polyopsRoberto Bagnara7-10/+14
2013-05-13Added test cases for the positive time elapse operator.Marco Faella3-21/+74
2013-05-11Apparently, some versions of Doxygen require this line.Roberto Bagnara4-0/+4
2013-04-04Fixed capitalization.Roberto Bagnara1-1/+1
2013-02-27Complete application of systematic file header renaming.Enea Zaffanella2-8/+8
2013-01-21Obsolete link updated.Roberto Bagnara1-1/+1
2013-01-14Links updated.Roberto Bagnara1-3/+3
2013-01-01Extended copyright years.Roberto Bagnara14-19/+19
2012-10-20Removed wrong observation on time-elapse for closed polyhedra.Enea Zaffanella1-4/+2
2012-08-20Guarantee that header file names are unique as per C++11's 16.2#5.Roberto Bagnara1-26/+26
2012-08-18Avoid a non-portable GNU Make idiom (using `$<' in a non-suffix rule context).Roberto Bagnara1-72/+128
2012-08-18Do not use TABs for code layout.Roberto Bagnara2-7/+7
2012-06-29Typo fixed.Roberto Bagnara1-1/+1
2012-06-29Typo fixed.Roberto Bagnara1-1/+1
2012-06-28Spurious blank line removed.Roberto Bagnara1-1/+0
2012-06-28Added AmatoPS12.Roberto Bagnara1-0/+20
2012-06-28Work around a Doxygen bug. Stick to ASCII.Roberto Bagnara1-2/+2
2012-06-28More PPL citations.Roberto Bagnara1-14/+520
2012-06-28Stick to ASCII.Roberto Bagnara1-1/+1
2012-06-28More PPL citations.Roberto Bagnara1-0/+244
2012-06-28New PPL citations.Roberto Bagnara1-1/+204
2012-06-27Upgraded doxygen configuration files to version 1.8.1.1.Enea Zaffanella6-24/+12
2012-06-27Updated.Roberto Bagnara4-22/+22
2012-06-27Updated.Roberto Bagnara1-12/+30
2012-06-27Notes fixed.Roberto Bagnara1-2/+2
2012-06-27BagnaraMPZ12IC has just been published.Roberto Bagnara1-2/+3
2012-06-27Updated.Roberto Bagnara1-1/+1
2012-04-16Updated.Roberto Bagnara3-13/+13
2012-04-07Avoid using @ outside BibTex entries.Roberto Bagnara1-1/+1
2012-04-07Avoid using @ outside BibTex entries.Roberto Bagnara1-1/+1
2012-04-07Missing comma added.Roberto Bagnara1-1/+1