Boris Shingarov
Boris Shingarov
Commits 07f2edc / 780d6c7 port microwatt across an incompatible API change in litedram. Unfortunately, newer litedram no longer works on Genesys2 (and possibly on NexysVideo and Nexys4DDR, as @fontamsoc reports...
Trying to run openhantek from current master with 5200A. Firmware is successfully uploaded and the program starts and the scope starts data acquisition (green led flashing); when changing voltage limits,...
Since commit d6203 (Send bindings to the SMT solver ahead of validating constraints), all `tests/horn/pos/ple*` and `tests/horn/neg/ple*` tests crash like this: ``` ... Computing Result SMT READ SMT Says: Error...
This includes the cable configuration, additions to the Python script, and the jtagspi proxy bitstream. The single-tap version is not included because 0.10 supported only 3-byte addresses which is unusable...
Consider this example: ``` type list('a) = | Nil | Cons (x:'a, xs:list('a)) ; /*@ val emptylist : 'a => list('a) */ let emptylist = (x) => { let t...
In an ideal world, Sprite is supposed to cover all of Vazou–Rondon–Jhala's ESOP-13 paper [Abstract Refinement Types](https://goto.ucsd.edu/~rjhala/papers/abstract_refinement_types.pdf). But I am having difficulty with `foldr` on p.10: ``` foldr :: forall...
What format is the `cpm/micro-prolog.dsk` image in? When I try to mount it under CP/M 2.2 running on a Z80-MBC2, `DIR` gives somewhat-meaningful output but trying to access any file...
(I am an absolute newcomer here who doesn't know what he is doing.) I am trying to read @astump 's book, and as the first step I am trying to...