2011-08-25  Antonio Carzaniga <firstname.lastname@usi.ch>

	* Version 1.1.5

	* Makefile.am:
	removed ssimp driver (binary program), so this is now a library-only
	package.

	* ChangeLog: *** empty log message ***

	* configure.ac: added macro dir.
	+1 minor version number.

	* Makefile.am: added ACLOCAL_AMFLAGS

	* configure.ac: added macro dir.
	+1 minor version number.

	* Makefile.am: added ACLOCAL_AMFLAGS

2008-08-21  Antonio Carzaniga <firstname.lastname@usi.ch>

	* Makefile.am, bootstrap, configure.ac, doc/header.html.in, doc/maindoc.h, doc/ssimp.css, siena/simplify.h, siena/ssimp_types.h, siena_simplify_impl.h, simplify.cc, ssimp_types.cc, test/basics.cc, test/conflicting.cc, test/covering.cc, test/type_impl.cc:
	checkpoint 1.1.5b1

2006-05-05  Antonio Carzaniga <firstname.lastname@usi.ch>

	* ChangeLog: *** empty log message ***

	* configure.ac: version 1.1.4

	* ChangeLog: *** empty log message ***

	* siena/ssimp_types.h:
	fixed bug in the way the add() methods remove elements form lists of
	filters or constraints.

2006-05-05  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* Version 1.1.4: this version fixes a couple of serious semantics
	and platform bugs.

	* configure.ac: version 1.1.4

	* ChangeLog: *** empty log message ***

	* siena/ssimp_types.h:
	fixed bug in the way the add() methods remove elements form lists of
	filters or constraints.

	* siena/ssimp_types.h:
	fixed bug in the way the add() methods remove elements form lists of
	filters or constraints.

2006-05-04  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* ChangeLog, INSTALL: *** empty log message ***

	* siena/ssimp_types.h:
	fixed logic bug in TFilter::add().  In this case, which represents a
	conjunctions, and therefore an intersection of sets, adding a set that
	is contained (i.e., covered) by an existing one must remove the
	existing one.

2006-05-04  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* Version 1.1.3: this version contains a few important fixes to
	the semantics of the simplifier and a few new simplification
	rules.  Among other things, the simplifier now deals with the "any
	integer" and "any any" kinds of constraints.
	
	* INSTALL: *** empty log message ***

	* siena/ssimp_types.h:
	fixed logic bug in TFilter::add().  In this case, which represents a
	conjunctions, and therefore an intersection of sets, adding a set that
	is contained (i.e., covered) by an existing one must remove the
	existing one.

2006-05-03  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* simplify.cc: added simplification.
	fixed sf pf and ss operators according to sff/siena syntax and
	semantics.
	now sf pf and ss use the sff functions.

	* configure.ac: checkpoint version 1.1.3.

2006-01-14  Matthew J. Rutherford

	* ssimp_types.cc: *** empty log message ***

	* siena/ssimp_types.h, ssimp_types.cc, test/Makefile.am, test/large.cc:
	Added test/large.cc to test a lot of filters in one predicate.  Added
	Constraint::sff(ostream&), TFilter::sff(ostream&),
	TPredicate::sff(ostream&) to faciliate output in an sff-like format.
	Not sure if its compatible.

2006-01-08  Matthew J. Rutherford

	* siena/ssimp_types.h, test/covering.cc:
	Added a Constraint constructor that takes only a name that is used to
	represent an ANY/ANYTYPE constraint; added tests to covering.cc for
	this: an ANY constraint covers any other type of constraint with the
	same name, and is not covered by anything.

2005-10-17  Cyrus P. Hall

	* INSTALL, siena/ssimp_types.h:
	Fixed a long standing (if mostly non-fatal) bug in the Value constructor where type was uninitialized.  This could cause a invalid invocation of the string assignment opperator in the copy constructor during map insertion.

	Bug found via valgrind.

2005-09-07  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* ChangeLog: *** empty log message ***

	* doc/Makefile.am: small fixes.

	* ssimp.spec: new RPM spec nomenclature.

	* INSTALL: *** empty log message ***

2005-09-07  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* doc/Makefile.am: small fixes.

	* ssimp.spec: new RPM spec nomenclature.

	* INSTALL: *** empty log message ***

2004-12-17  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* configure.ac: version 1.1.2

2004-12-17  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* configure.ac: version 1.1.2

2004-12-13  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* siena/ssimp_types.h: fixed compilation error exposed by gcc 3.4.2

2004-03-02  rutherfo  <rutherfo@siena.cs.colorado.edu>

	* ChangeLog, INSTALL, bootstrap: added standard bootstrap script.

2004-01-28  Antonio Carzaniga  <firstname.lastname@usi.ch>

	* siena/ssimp_types.h: fixed uses of covers() --> siena::covers().

	* depcomp: removed depcomp.

	* Makefile.in, aclocal.m4, config.guess, config.h.in, config.sub, configure, configure.ac, doc/Makefile.am, doc/Makefile.in, doc/doxygen.conf.in, install-sh, ltmain.sh, missing, mkinstalldirs, ssimp.spec, test/Makefile.in:
	fixed rpm/doc build process; removed config files.

	* INSTALL: *** empty log message ***

2004-01-28  carzanig  <carzanig@cs.colorado.edu>

	* siena/ssimp_types.h: fixed uses of covers() --> siena::covers().

	* depcomp: removed depcomp.

	* Makefile.in, aclocal.m4, config.guess, config.h.in, config.sub, configure, configure.ac, doc/Makefile.am, doc/Makefile.in, doc/doxygen.conf.in, install-sh, ltmain.sh, missing, mkinstalldirs, ssimp.spec, test/Makefile.in:
	fixed rpm/doc build process; removed config files.

	* INSTALL: *** empty log message ***

2004-01-06  carzanig  <carzanig@cs.colorado.edu>

	* ssimp.spec:
	changed package name (must be the same as autoconf package name)

2004-01-05  carzanig  <carzanig@cs.colorado.edu>

	* simplify.cc: included <cassert>.

	* doc/docpack.tar.gz:
	removed dockpack.tar.gz, which is a maintainer-clean file.

	* ChangeLog, INSTALL, Makefile.am, Makefile.in, NEWS, README, aclocal.m4, config.guess, config.h.in, config.sub, configure, configure.ac, depcomp, doc/Makefile.am, doc/Makefile.in, doc/docpack.tar.gz, doc/doxygen.conf.in, doc/fdl.txt, doc/footer.html, doc/header.html.in, doc/maindoc.h, doc/ssimp.css, install-sh, ltmain.sh, missing, mkinstalldirs, siena/simplify.h, siena/ssimp_types.h, siena_simplify_impl.h, simplify.cc, ssimp.spec, ssimp_types.cc, test/Makefile.am, test/Makefile.in, test/basics.cc, test/conflicting.cc, test/covering.cc, test/type_impl.cc, AUTHORS, COPYING:
	Baseline.  Imported from Matt's 1.1.0 release.

