Regen ChangeLog for version 0.26.

.last-cl-gen

-9575357c6269b0c7860f19fe2eeaf343c71e4b94
+e1f8060a6baf6a6ba262ba282944f784aec94b48

ChangeLog

+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Version 0.26.
+
+	* configure.ac, NEWS: Here.
+	* THANKS: Update.
+	* src/Opt.hs: Update copyright years.
+	* tests/cmp.test,
+	* tests/trace.test:
+	Delete trailing newlines.
+
+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Update copyright notices.
+
+	* AUTHORS,
+	* Makefile.am,
+	* NEWS,
+	* README,
+	* TODO,
+	* configure.ac,
+	* doc/Makefile.am,
+	* src/Makefile.am,
+	* tests/cmp.test,
+	* tests/defs.in,
+	* tests/nestedseq.test,
+	* tests/overflow.test,
+	* tests/trace.test:
+	Here.
+
+2014-05-06  Pablo de Oliveira  <pablo@sifflez.org>
+
+	checkLow should occur before plaining.
+
+	* src/Main.hs (evalM): Here.
+	In some cases, plaining removes nested seqs in the original
+	program.  If plaining happens first, checkLow may accept a
+	program as valid LIR when in fact the original program
+	contained nested seqs.
+	* tests/nestedseq.hir,
+	* tests/nestedseq.test:
+	New test.
+	* tests/Makefile.am (TESTS): Add nestedseq.test.
+	(EXTRA_DIST): Add nestedseq.hir.
+
+2014-05-06  Pablo de Oliveira  <pablo@sifflez.org>
+
+	Arithmetic overflow should wrap around.
+
+	Tiger specifications do not define the expected behavior of an
+	integer overflow. Yet, to be consistent with Nolimips, Spim,
+	and most current architectures, we ensure that arithmetic
+	operations in HAVM wrap around.
+
+	* src/StdBinop.hs (modulo32): New function.
+	Use it...
+	(binop): ...here.
+	* tests/overflow.lir,
+	* tests/overflow.out,
+	* tests/overflow.test:
+	New test.
+	* tests/Makefile.am (TESTS): Add overflow.test.
+	(EXTRA_DIST): Add overflow.lir and overflow.out.
+
+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Convert to UTF-8.
+
+	* THANKS,
+	* TODO,
+	* doc/havm.texi:
+	Here.
+
+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Update doc remote installation settings to target the new location.
+
+	* doc/Makefile.am
+	(install_doc_user, install_doc_host, install_doc_dir): Here.
+
+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Update the builtins documentation.
+
+	* doc/builtins.texi: Sync with tc-assignments.
+
+2014-05-06  Roland Levillain  <roland@lrde.epita.fr>
+
+	Fix and update copyright years.
+
+	* AUTHORS,
+	* ChangeLog,
+	* Makefile.am,
+	* NEWS,
+	* README,
+	* TODO,
+	* configure.ac,
+	* debian/copyright,
+	* doc/Makefile.am,
+	* doc/havm.texi,
+	* src/Makefile.am,
+	* src/Opt.hs,
+	* tests/cmp.test,
+	* tests/defs.in,
+	* tests/trace.test:
+	Here.
+
+2013-09-23  Roland Levillain  <roland@lrde.epita.fr>
+
+	Add a rule to update ChangeLog using Git commit messages.
+
+	* build-aux/gitlog-to-changelog: New.
+	Imported from Git Gnulib.
+	* .last-cl-gen: New.
+	* Makefile.am (update-ChangeLog): New target.
+	(EXTRA_DIST): Add build-aux/gitlog-to-changelog and .last-cl-gen.
+
 2013-01-07  Roland Levillain  <roland@lrde.epita.fr>
 
 	Add a target to install HAVM's documentation on the Web.