- 07 Dec, 2021 1 commit
-
-
Etienne Renault authored
* src/VMMonad.hs: Here.
-
- 19 Feb, 2020 2 commits
-
-
Bruno BELANYI authored
Resolve "Cannot compile on GHC 8.8+" See merge request !3
-
Bruno BELANYI authored
The `fail` method on `Monad` has been removed in `ghc` 8.8+, I added a conditional compilation statement according to what was indicated in the following wiki article: <https://gitlab.haskell.org/ghc/ghc/wikis/proposal/monad-fail#adapting-old-code> * src/VMMonad.hs: Here.
-
- 07 Mar, 2019 1 commit
-
-
Etienne Renault authored
* .last-cl-gen, ChangeLog, NEWS, configure.ac: Here.
-
- 10 Feb, 2019 2 commits
-
-
Etienne Renault authored
vmmonad: added Monad.Fail compliance for Monad Mnd solving #5 See merge request !2
-
Erwan Auer authored
With GHC 8.6, [the option -XMonadFailDesugaring is enabled by default](https://ghc.haskell.org/trac/ghc/wiki/Migration/8.6#MonadFailDesugaringbydefault), causing partial pattern matches in `do`-statement to desugar with the `fail` method from the `MonadFail` class. * src/VMMonad.hs: here.
-
- 04 Jan, 2019 1 commit
-
-
Etienne Renault authored
style: expand tabs to spaces to fix warnings See merge request !1
-
- 13 Jun, 2018 1 commit
-
-
Maxime Joubert authored
Use spaces rather than tabulations to fix ghc warnings. Remove trailing whitspaces. * src/Annotation.hs, * src/Code.hs, * src/Config.hs.in, * src/Cpu.hs, * src/Eval.hs, * src/High.hs, * src/Ir.hs, * src/Level.hs, * src/Location.hs, * src/Main.hs, * src/Memory.hs, * src/Opt.hs, * src/Parse.hs, * src/Plain.hs, * src/Position.hs, * src/Preload.hs, * src/Profile.hs, * src/Report.hs, * src/Result.hs, * src/Runtime.hs, * src/RuntimeChar.hs, * src/RuntimePrint.hs, * src/RuntimeString.hs, * src/RuntimeSystem.hs, * src/Scan.hs, * src/Token.hs, * src/Trace.hs, * src/VMMonad.hs, * src/local.am: here.
-
- 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
-
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.
-
* 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>
-
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 1 commit
-
-
Theophile Ranquet authored
-