* doc/builtins.texi: Sync with tc-assignments.
---
doc/builtins.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/builtins.texi b/doc/builtins.texi
index cb1fe15..14e0f1a 100644
--- a/doc/builtins.texi
+++ b/doc/builtins.texi
@@ -42,7 +42,7 @@ Return the address of a freshly allocated block of memory of size
@c This is because of a bug in Texinfo that we can use @deffnx inside
@c a @ifset here.
@deffn int not (@var{boolean}: int)
-Return 1 if @var{boolean} = 1, else return 0.
+Return 1 if @var{boolean} = 0, else return 1.
@end deffn
@ifset havm
--
1.7.10.4
Chers collègues,
Comme certains d'entre vous le savent, j'organise depuis deux ans
maintenant, un projet Tiger à l'ISTY (l'école d'ingénieurs rattachée à
l'Université de Versailles).
Je me suis fortement inspiré du projet Tiger de l'Epita (merci encore
pour la superbe documentation !).
Mes étudiants utilisent HAVM pour tester les programmes IR et en sont
contents. Néanmoins, le bug lié à la mauvaise execution d'un jump
pendant l'évaluation d'une expression agace souvent les étudiants (même
si avec un brin de persévérance on peut le contourner).
Toujours est-il que j'ai essayé de fixer ce bug dans HAVM, mais n'étant
pas un expert Haskell, cela était difficile. Finalement, je me suis dit
que ce serait plus rapide pour moi de ré-implémenter la VM dans un
langage que je maîtrise mieux. Je vous présente donc IRVM:
https://github.com/pablooliveira/irvm
Si vous souhaitez l'utiliser ou si vous avez des retours, n'hésitez pas
à m'en faire part. La stratégie pour résoudre le problème de
l'évaluation/jump est finalement assez simple, et je pense pourrait être
portée dans HAVM par quelqu'un de doué en Haskell (si vous souhaitez
échanger la dessus, n'hésitez pas également).
Cordialement,
Pablo Oliveira
Dear HAVM maintainers,
Tiger specifications do not precisely define the expected behavior of an
integer overflow. Currently, HAVM does not coerce its arithmetic
computations to an Int32 type.
To be consistent with nolimips, spim, and most current architectures, it
would be nice that arithmetic operations in HAVM wrap around.
The tentative attached patch fixes this. (I went for the less intrusive
fix, a more radical solution would be to redefine all Int types in HAVM
to Int32.)
Regards,
Pablo Oliveira
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 "MonoBURG, Mono's tree-rewriting system (LRDE fork) ".
The branch master has been updated
via 111a57856df7394f29448300c43bc8867f9d8573 (commit)
from 07feae528a7d26c6d9bbc93311f9575f9b8ae732 (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 -----------------------------------------------------------------
111a578 Teach Git to ignore more files from build-aux/.
-----------------------------------------------------------------------
Summary of changes:
.gitignore | 2 ++
1 file changed, 2 insertions(+)
hooks/post-receive
--
MonoBURG, Mono's tree-rewriting system (LRDE fork)
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 "Nolimips, a MIPS simulator with infinitely many registers".
The branch master has been updated
via 1fe6133cad03f44158b790874205b3913ccb030b (commit)
via f7da8d1844d049e133429ba3668ab2b28813480d (commit)
via b7653f90748ac9f15a334d168eccda5b54ae6ef7 (commit)
from 4cd50030a2e8461e5f91950b696b3702dedabc26 (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 -----------------------------------------------------------------
1fe6133 Get rid of the OS X sed workaround.
f7da8d1 Convert to UTF-8.
b7653f9 Remove traces of PRCS.
-----------------------------------------------------------------------
Summary of changes:
AUTHORS | 4 +-
ChangeLog | 402 ++++++++++++++++++++++++++---------------------------
NEWS | 2 +-
THANKS | 4 +-
doc/Makefile.am | 2 +-
doc/nolimips.texi | 6 +-
prj | 264 -----------------------------------
7 files changed, 211 insertions(+), 473 deletions(-)
delete mode 100644 prj
hooks/post-receive
--
Nolimips, a MIPS simulator with infinitely many registers
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 "Nolimips, a MIPS simulator with infinitely many registers".
The branch master has been updated
via 4cd50030a2e8461e5f91950b696b3702dedabc26 (commit)
via a182a1850c345a3048e77f4b84d69a415aba47ae (commit)
via 041be256b6658f167d2e2f1ab622b64b8bdabef6 (commit)
from 2774636c4f02ea16abd7bcd3afa1ce7eb78a9918 (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 -----------------------------------------------------------------
4cd5003 Fix a macro issue.
a182a18 Work around OS X sed's limitations.
041be25 Remove unnecessary bits from lib/Makefile.am.
-----------------------------------------------------------------------
Summary of changes:
doc/Makefile.am | 2 +-
doc/macros.texi | 5 -----
doc/nolimips.texi | 3 ++-
lib/Makefile.am.tmpl | 13 +------------
4 files changed, 4 insertions(+), 19 deletions(-)
hooks/post-receive
--
Nolimips, a MIPS simulator with infinitely many registers