6 May
2014
6 May
'14
4:32 p.m.
---
.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(a)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(a)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(a)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(a)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(a)lrde.epita.fr>
+
+ Convert to UTF-8.
+
+ * THANKS,
+ * TODO,
+ * doc/havm.texi:
+ Here.
+
+2014-05-06 Roland Levillain <roland(a)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(a)lrde.epita.fr>
+
+ Update the builtins documentation.
+
+ * doc/builtins.texi: Sync with tc-assignments.
+
+2014-05-06 Roland Levillain <roland(a)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(a)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(a)lrde.epita.fr>
Add a target to install HAVM's documentation on the Web.
--
1.7.10.4