Boris Shingarov

If we ever manage to move the target-agnostic JIT over to OSTVM, that would give us PPC for free. As to the stack interpreter, it *should* work as is. I...

Cool!! FWIW, I booted up the Unleashed on which we demoed Squeak back in November, to refresh my memory of what I did. In all honesty this is just a...

Has this ever been fixed? According to https://github.com/antonblanchard/microwatt/issues/363 the current master works on NexysVideo. Perhaps only the issue needs closing? I verified today and memtest fails on Genesys2 for me.

You mean stepping in gdb? Yeah I can do that although I think it's going to be painful because I am not familiar with the openhantek codebase. I am thinking...

I simply do ``` $ git clone https://github.com/ucsd-progsys/liquid-fixpoint.git $ cd liquid-fixpoint $ stack install ``` Then ``` fixpoint -v tests/horn/pos/ple0.smt2 ``` gives the above crash.

But if I checkout any preceding commit, it works just fine: ``` RESULT: Safe (Stats {numCstr = 1, numIter = 2, numBrkt = 2, numChck = 2, numVald = 1})...

``` $ z3 --version Z3 version 4.8.9 - 64 bit ```

[ple0.smt2.evals.smt2.txt](https://github.com/ucsd-progsys/liquid-fixpoint/files/7564899/ple0.smt2.evals.smt2.txt) [ple0.smt2.smt2.txt](https://github.com/ucsd-progsys/liquid-fixpoint/files/7564900/ple0.smt2.smt2.txt)

(sorry had to append .txt to the names because this UI rejects attachments based on "extension")

I don't have a Nexys Video to investigate what's going on there, but https://github.com/enjoy-digital/litedram/issues/281 still sits as "Open" and "Regression". Maybe it's been fixed and it's just the status of...