jStar plugin for numerical abstractions
OCaml Shell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
src
unit_tests
LICENSE
Makefile
README

README

jabstr - jStar plugin for numerical abstractions
Copyright (C) 2010, 2011  Matko Botincan

Notes:
- If you make any changes to the sources jabstr depends on, you have to
  compile jabstr again, otherwise (nat)dynlink will trigger the error 
  "implementation mismatch on ..." and raise exception.