nowarp/misti

Issues

• Generic Soufflé bindings library

  #3 opened 3 months ago by byakuren-hijiri
  0

• Cell overflow detector

  #20 opened 4 months ago by anton-trunov
  0

• Soufflé-based dataflow equations solver

  #17 opened 5 months ago by byakuren-hijiri
  0

• Support Stdlib objects and `native` functions in CFG

  #10 opened 7 months ago by byakuren-hijiri
  1

• Soufflé: Declarative API

  #12 opened 7 months ago by byakuren-hijiri
  0

• Soufflé: Add `souffle` to CI

  #14 opened 7 months ago by byakuren-hijiri
  0

• Soufflé: API to parse definitions from files

  #13 opened 7 months ago by byakuren-hijiri
  0

• Pretty-print statements in the CFG dump

  #11 opened 7 months ago by byakuren-hijiri
  0

• CFG tests should involve Jest snapshot testing

  #4 opened 7 months ago by byakuren-hijiri
  0

• CFG dump in JSON and Graphviz

  #6 opened 7 months ago by byakuren-hijiri
  0

• Generic Soufflé detector

  #8 opened 7 months ago by byakuren-hijiri
  0

• Add benchmarks

  #7 opened 7 months ago by byakuren-hijiri
  0

• GitHub action to update github-pages on release

  #5 opened 7 months ago by byakuren-hijiri
  0

• Support Tact 1.3

  #2 opened 7 months ago by byakuren-hijiri
  0