septract/jstar-old

Issues

• refactor into backend, Java frontend, eclipse plugin

  #6 opened 13 years ago by rgrig
  2

• make parser modular

  #9 opened 13 years ago by rgrig
  1

• make symbolic execution return an error stream rather than spamming stdout

  #8 opened 14 years ago by septract
  0

• debian package

  #7 opened 14 years ago by rgrig
  0

• update release script for git

  #5 opened 14 years ago by rgrig
  0

• extract mli files

  #3 opened 14 years ago by rgrig
  1

• vstte 2010 examples

  #4 opened 14 years ago by rgrig
  0

• refactor error reporting code

  #2 opened 14 years ago by rgrig
  0

• testing framework

  #1 opened 14 years ago by rgrig
  0