platform/upstream/ppl - Domain: System / Base; Licenses: GPL-3.0;

Age	Commit message (Collapse)	Author	Files	Lines
2013-12-28	Removed duplicate entry.	Roberto Bagnara	1	-31/+0

2013-12-28	Book title fixed.	Roberto Bagnara	1	-3/+4

2013-12-28	Title fixed and abstract added.	Roberto Bagnara	1	-1/+25

2013-12-28	Fixed more book titles.	Roberto Bagnara	1	-12/+16

2013-12-28	Book title fixed.	Roberto Bagnara	1	-1/+2

2013-12-28	Fixed several typos.	Roberto Bagnara	1	-10/+12

2013-12-27	Typo fixed.	Patricia Hill	1	-1/+0

2013-12-27	Typo fixed.	Patricia Hill	1	-1/+1

2013-12-27	Added recently published papers citing the PPL.	Patricia Hill	1	-2/+764
	Added papers are books, journal articles or conference proceedings published in 2012-2013 that cite "The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems." Theses, workshop papers and technical reports have not been added in this commit.
2013-12-11	Fixed check_nil_terminating().	Roberto Bagnara	1	-6/+2

2013-12-11	Some corrections.	Roberto Bagnara	1	-3/+3

2013-12-11	Use Prolog_put_nil() and Prolog_get_nil().	Roberto Bagnara	2	-26/+26

2013-12-11	Added Prolog_put_nil() and Prolog_get_nil().	Roberto Bagnara	1	-0/+19

2013-12-01	Useless typedefs avoided. Formatting improved on passing.	Roberto Bagnara	4	-46/+19

2013-11-08	Version number bumped.	Roberto Bagnara	2	-2/+3

2013-10-28	Updated.	Roberto Bagnara	1	-0/+19

2013-10-28	Updated.	Roberto Bagnara	6	-12/+108

2013-10-28	Worked around a Doxygen bug.	Roberto Bagnara	1	-0/+5

2013-10-28	Updated.	Roberto Bagnara	1	-1/+3

2013-10-28	Updated.	Roberto Bagnara	1	-0/+2673

2013-10-28	Label updated.	Roberto Bagnara	1	-1/+1

2013-10-28	BenerecettiFM13 has been published.	Roberto Bagnara	2	-23/+48

2013-10-28	Updated.	Roberto Bagnara	4	-8/+8

2013-10-28	Test renamed.	Roberto Bagnara	2	-1/+3

2013-10-28	Improved.	Roberto Bagnara	1	-24/+27

2013-10-28	Version number bumped.	Roberto Bagnara	1	-1/+1

2013-10-27	Fixed a bug.	Patricia Hill	2	-3/+3

2013-10-27	A couple of corrections.	Roberto Bagnara	2	-3/+3

2013-10-27	Punctuation.	Roberto Bagnara	1	-1/+1

2013-10-27	Corrected.	Roberto Bagnara	1	-11/+8

2013-09-24	Interfaced Polyhedron::positive_time_elapse_assign().	Roberto Bagnara	19	-28/+212
	Various other improvements.
2013-09-14	Missing comment added.	Roberto Bagnara	1	-0/+7

2013-09-14	Commented-out code removed.	Roberto Bagnara	1	-32/+19

2013-09-14	Version number bumped.	Roberto Bagnara	1	-1/+1

2013-09-14	Merge branch 'polyops'.	Roberto Bagnara	10	-22/+694

2013-09-14	Version number bumped.	Roberto Bagnara	1	-1/+1

2013-09-14	Path fixed.	Roberto Bagnara	1	-1/+1

2013-09-14	Give up on -Werror: it increasingly causes problems.	Roberto Bagnara	2	-3/+3
	(Thanks to Stephen Montgomery-Smith.)
2013-09-14	Directory fixed.	Roberto Bagnara	1	-1/+1

2013-09-14	Version number bumped.	Roberto Bagnara	1	-1/+1

2013-09-14	Mention recently fixed Java interface bug.	Enea Zaffanella	1	-0/+5
	The bug was observed by Gianluca Amato when working (in Java) using a 32 bit build of the PPL. Fixed in commit 30478fbeb75f3e675ec0b3eff32f0a8dd7991f7a
2013-09-14	Initialize custom_compare_ext field in structure custom_operations.	Enea Zaffanella	2	-5/+10

2013-09-14	Do not clean inexistent dat file.	Enea Zaffanella	2	-16/+15
	Be consistent in naming dat files in Grid's ascii_dump/load tests.
2013-09-14	Convert C++ Variable id's to jlong before passing them to Java methods.	Enea Zaffanella	2	-3/+5

2013-09-14	Adapted to recent versions of GNU Prolog so as to work on 64-bit machines.	Roberto Bagnara	1	-6/+7

2013-09-14	Version number bumped.	Roberto Bagnara	1	-1/+1

2013-09-14	Use the serial test harness in these directories.	Roberto Bagnara	4	-0/+8

2013-09-14	Automake `subdir-objects' option is not for us.	Roberto Bagnara	6	-6/+6

2013-09-14	Updated.	Roberto Bagnara	5	-567/+472

2013-09-14	Put under Git control.	Roberto Bagnara	1	-0/+1