1. 17
  1. 2

    Oh man, this is so cool! I love the approach of providing students with all the tools needed to use the system included, allows for a complete understanding of the system and lends itself to being easy to hack on. Great stuff!

    1. 3

      That’s the kind of cool things that this entire-stack-in-one-file approach enables:

      • they can convert a compiled RISC-U executable into input to Z3 and then ask Z3 about its properties.
      • they have their own simple SAT-solver in examples/babysat.c
      • they have their own fuzzer and symbolic execution engine!
      • there’s a basic bare-metal version in machine/ that can boot on top of OpenSBI.