GitLab

* .gitlab-ci.yml: here.

* src/Parse.hs: here.

* configure.ac, tests/local.am: here.

* src/VMMonad.hs: Import Control.Applicative.

* tests/defs.in: Let each test work in its own temp dir.

* tests/cmp.test, tests/trace.test, tests/overflow.test: cmp is quite
useless, use diff.

* debian/Makefile.am: Rename as...
* debian/local.am: this.
* doc/Makefile.am: Rename as...
* doc/local.am: this.
* src/Makefile.am: Rename as...
* tests/Makefile.am: Rename as...
* tests/local.am: this.
Adjust dependencies.

* AUTHORS, NEWS, THANKS,
configure.ac: here

Functor/Applicative/Monad-Proposal break the build. This
patch follows recommandations in the following migration guide:
https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10

* configure.ac: Drop support for GHC < 7.10.
* src/VMMonad.hs: here.

	* doc/builtins.texi: Sync with tc-assignments.

	* doc/Makefile.am (install-doc-remote): Add havm.pdf as
	prerequisite.

	* doc/havm.texi (Top): Here.

	* doc/havm.texi (Top): Here.
	(wiki): Remove macro.

	* doc/havm.texi (HIR): Here.

	* src/Ir.hs (Op): Add binary operators And, Or, Lshift, Rshift,
	Arshift and Xor.  Remove operator Mod.
	Add relational operators Ult, Ule, Ugt and Uge.
	* src/StdBinop.hs (binop): Implement operators And, Or, Lshift,
	Rshift, Arshift and Xor.  Remove operator Mod.
	(unsigned): New helper routine.
	* src/StdRelop.hs (relop): Implement operators Ult, Ule, Ugt and
	Uge.
	(unsigned): New helper routine.
	* src/Scan.hs (scanTokKeyword): Adjust.
	* NEWS: Update.

	* configure.ac, NEWS: Here.

	* configure.ac, NEWS: Here.
	* THANKS: Update.
	* src/Opt.hs: Update copyright years.
	* tests/cmp.test,
	* tests/trace.test:
	Delete trailing newlines.

	* 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.

	* 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.
Signed-off-by: Roland Levillain <roland@lrde.epita.fr>

	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.
Signed-off-by: Roland Levillain <roland@lrde.epita.fr>

	* THANKS,
	* TODO,
	* doc/havm.texi:
	Here.

	* doc/Makefile.am
	(install_doc_user, install_doc_host, install_doc_dir): Here.

	* doc/builtins.texi: Sync with tc-assignments.

	* 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.

	* 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.

	* doc/Makefile.am (install-doc-remote): New target.
	* Makefile.am (install-doc-remote): New target, delegating to
	doc/Makefile.

	* configure.ac: Set it to projects@lrde.epita.fr.

	* src/Makefile.am (AM_GHCFLAGS): Add -rtsopts.

	* src/Parse.y: Import `ord' from `Data.Char' instead of `Char'.
	* NEWS: Update.

	* configure.ac, NEWS: Here.

Using the following command:

  gitlog-to-changelog --no-cluster --format='%s%n%n%b%n' \
    --since=2012-05-17 | sed 's/^\t */\t/'

  * tests/defs.in (HAVM_pass): Here.

  * THANKS (Pablo Oliveira, Theophile Ranquet): Add.
  * src/Scan.hs (scanToKeyword): Here.
  * tests/Makefile.am: Adjust for...
  * tests/cmp.lir,
  * tests/cmp.out,
  * tests/cmp.test:
  ...this new test.

Reported by Pablo Oliveira.

	* COPYING: Here, using
	http://www.gnu.org/licenses/old-licenses/gpl-2.0.txt.

	* build-aux/update-copyright-headers: New script.
	Use it to update the copyright headers of...
	* AUTHORS,
	* Makefile.am,
	* NEWS,
	* README,
	* TODO,
	* configure.ac,
	* doc/Makefile.am,
	* src/Makefile.am:
	...these files.

	* NEWS,
	* configure.ac,
	* Makefile.am,
	* src/Makefile.am:
	Here.

	* src/Opt.hs (version_message): Here.

	* src/Main.hs (main): Here.

	* configure.ac (GHCFLAGS): New precious variable.
	(AM_GHCFLAGS): Rename as...
	(PACKAGE_GHCFLAGS): ...this.
	* src/Makefile.am: Adjust.
	(AM_GHCFLAGS): Rename as...
	(GHCFLAGS): ...this.
	(GHCCOMPILE): New variable.  Use it...
	(havm, static, profile): ...in these rules.