havm issueshttps://gitlab.lre.epita.fr/tiger/havm/-/issues2018-06-17T06:16:58+02:00https://gitlab.lre.epita.fr/tiger/havm/-/issues/3Support for haskell 7.12018-06-17T06:16:58+02:00Etienne RenaultSupport for haskell 7.1With next version of haskell we obtain the
following error:
VMMonad.hs:44:10:
No instance for (Applicative Mnd)
arising from the superclasses of an instance declaration
In the instance declaration for `Monad Mnd'
...With next version of haskell we obtain the
following error:
VMMonad.hs:44:10:
No instance for (Applicative Mnd)
arising from the superclasses of an instance declaration
In the instance declaration for `Monad Mnd'
More details at https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10
https://gitlab.lre.epita.fr/tiger/havm/-/issues/2Add support for parallel checks in HAVM2018-06-17T06:16:58+02:00Clément Démoulinsclement.demoulins@epita.frAdd support for parallel checks in HAVMWe cannot safely run `make check -j2` nor `make distcheck -j2` at the moment in the HAVM build tree. The tests run by these targets (`tests/cmp.test` and `tests/trace.test`) write and read the same files (located in `tests/testSubDir/),...We cannot safely run `make check -j2` nor `make distcheck -j2` at the moment in the HAVM build tree. The tests run by these targets (`tests/cmp.test` and `tests/trace.test`) write and read the same files (located in `tests/testSubDir/), which prevent any safe concurrent execution.
I (Roland) have removed the « `-j` » options of the `make check` and `make distcheck` steps of HAVM's TeamCity builds (see https://teamcity.lrde.epita.fr/viewType.html?buildTypeId=Havm_X8664unknownLinuxGnu&tab=buildTypeSettings). Anyhow we shall add support for concurrent runs to HAVM's test engine.
https://gitlab.lre.epita.fr/tiger/havm/-/issues/1Write a home page for HAVM2018-06-17T06:16:58+02:00Clément Démoulinsclement.demoulins@epita.frWrite a home page for HAVMThe current page is almost empty!
* http://www.lrde.epita.fr/cgi-bin/twiki/view/Tiger/Havm
This does not give a good impression of a free software project.
The only real content is in the manual. There is a copy installed here:
* ...The current page is almost empty!
* http://www.lrde.epita.fr/cgi-bin/twiki/view/Tiger/Havm
This does not give a good impression of a free software project.
The only real content is in the manual. There is a copy installed here:
* http://www.lrde.epita.fr/~akim/ccmp/havm.html
but I presume it is now outdated.