--- .last-cl-gen | 2 +- ChangeLog | 117 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 118 insertions(+), 1 deletion(-) diff --git a/.last-cl-gen b/.last-cl-gen index 429a509..36f3319 100644 --- a/.last-cl-gen +++ b/.last-cl-gen @@ -1 +1 @@ -9575357c6269b0c7860f19fe2eeaf343c71e4b94 +e1f8060a6baf6a6ba262ba282944f784aec94b48 diff --git a/ChangeLog b/ChangeLog index c8bc312..1be6a27 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,120 @@ +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. -- 1.7.10.4