6 May
2014
6 May
'14
4:34 p.m.
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "HAVM, a Tree intermediate language interpreter".
The branch master has been updated
via ac93a91b0d3537621a4d64619e217ab27ee47025 (commit)
via e1f8060a6baf6a6ba262ba282944f784aec94b48 (commit)
via b64d9b224ac338a88733ac1a01323a5f214e8994 (commit)
via cbc954b1d28ac0352dc8e9c584ab2d9b27602298 (commit)
via d3b5c93be88dd1e1dc18f7647ad49a050cba0c14 (commit)
from f2d7b4e2fc053aa06c4172aa4ce4a68ef6dba027 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
ac93a91 Regen ChangeLog for version 0.26.
e1f8060 Version 0.26.
b64d9b2 Update copyright notices.
cbc954b checkLow should occur before plaining.
d3b5c93 Arithmetic overflow should wrap around.
-----------------------------------------------------------------------
Summary of changes:
.last-cl-gen | 2 +-
AUTHORS | 20 ++++----
ChangeLog | 137 ++++++++++++++++++++++++++++++++++++++++++++++----
Makefile.am | 20 ++++----
NEWS | 29 +++++++----
README | 20 ++++----
THANKS | 1 +
TODO | 20 ++++----
configure.ac | 24 +++++----
doc/Makefile.am | 30 +++++------
src/Main.hs | 4 +-
src/Makefile.am | 20 ++++----
src/Opt.hs | 2 +-
src/StdBinop.hs | 15 ++++--
tests/Makefile.am | 15 ++++--
tests/cmp.test | 13 ++---
tests/defs.in | 12 ++---
tests/nestedseq.hir | 8 +++
tests/nestedseq.test | 23 +++++++++
tests/overflow.lir | 14 ++++++
tests/overflow.out | 1 +
tests/overflow.test | 30 +++++++++++
tests/trace.test | 13 ++---
23 files changed, 348 insertions(+), 125 deletions(-)
create mode 100644 tests/nestedseq.hir
create mode 100755 tests/nestedseq.test
create mode 100644 tests/overflow.lir
create mode 100644 tests/overflow.out
create mode 100755 tests/overflow.test
hooks/post-receive
--
HAVM, a Tree intermediate language interpreter