- 22 Feb, 2018 1 commit
-
-
Etienne Renault authored
* .gitlab-ci.yml: here.
-
- 10 Oct, 2016 2 commits
-
-
Etienne Renault authored
* src/Parse.hs: here.
-
Etienne Renault authored
* configure.ac, tests/local.am: here.
-
- 13 Apr, 2016 3 commits
-
-
Akim Demaille authored
* src/VMMonad.hs: Import Control.Applicative.
-
Akim Demaille authored
* 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.
-
Akim Demaille authored
* 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.
-
- 28 Jan, 2016 2 commits
-
-
Etienne Renault authored
* AUTHORS, NEWS, THANKS, configure.ac: here
-
Francis Visoiu Mistrih authored
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.
-
- 11 Jun, 2014 1 commit
-
-
Roland Levillain authored
* doc/builtins.texi: Sync with tc-assignments.
-
- 13 May, 2014 5 commits
-
-
Roland Levillain authored
* doc/Makefile.am (install-doc-remote): Add havm.pdf as prerequisite.
-
Roland Levillain authored
* doc/havm.texi (Top): Here.
-
Roland Levillain authored
* doc/havm.texi (Top): Here. (wiki): Remove macro.
-
Roland Levillain authored
* doc/havm.texi (HIR): Here.
-
Roland Levillain authored
* 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.
-
- 06 May, 2014 10 commits
-
-
Roland Levillain authored
* configure.ac, NEWS: Here.
-
Roland Levillain authored
-
Roland Levillain authored
* configure.ac, NEWS: Here. * THANKS: Update. * src/Opt.hs: Update copyright years. * tests/cmp.test, * tests/trace.test: Delete trailing newlines.
-
Roland Levillain authored
* 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.
-
Pablo de Oliveira authored
* 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>
-
Pablo de Oliveira authored
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>
-
Roland Levillain authored
* THANKS, * TODO, * doc/havm.texi: Here.
-
Roland Levillain authored
* doc/Makefile.am (install_doc_user, install_doc_host, install_doc_dir): Here.
-
Roland Levillain authored
* doc/builtins.texi: Sync with tc-assignments.
-
Roland Levillain authored
* 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.
-
- 23 Sep, 2013 1 commit
-
-
Roland Levillain authored
* 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.
-
- 07 Jan, 2013 2 commits
-
-
Roland Levillain authored
* doc/Makefile.am (install-doc-remote): New target. * Makefile.am (install-doc-remote): New target, delegating to doc/Makefile.
-
Roland Levillain authored
* configure.ac: Set it to projects@lrde.epita.fr.
-
- 18 Dec, 2012 1 commit
-
-
Roland Levillain authored
* src/Makefile.am (AM_GHCFLAGS): Add -rtsopts.
-
- 26 Nov, 2012 3 commits
-
-
Roland Levillain authored
* src/Parse.y: Import `ord' from `Data.Char' instead of `Char'. * NEWS: Update.
-
Roland Levillain authored
* configure.ac, NEWS: Here.
-
Roland Levillain authored
Using the following command: gitlog-to-changelog --no-cluster --format='%s%n%n%b%n' \ --since=2012-05-17 | sed 's/^\t */\t/'
-
- 31 Oct, 2012 3 commits
-
-
Theophile Ranquet authored
-
Theophile Ranquet authored
* tests/defs.in (HAVM_pass): Here.
-
Theophile Ranquet authored
* 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.
-
- 16 May, 2012 4 commits
-
-
Roland Levillain authored
* COPYING: Here, using http://www.gnu.org/licenses/old-licenses/gpl-2.0.txt.
-
Roland Levillain authored
* 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.
-
Roland Levillain authored
* NEWS, * configure.ac, * Makefile.am, * src/Makefile.am: Here.
-
Roland Levillain authored
* src/Opt.hs (version_message): Here.
-
- 14 May, 2012 1 commit
-
-
Roland Levillain authored
* src/Main.hs (main): Here.
-
- 07 Mar, 2012 1 commit
-
-
Roland Levillain authored
* 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.
-