search

zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 17 forks source link

normalizffi #53

Open NikolajBjorner opened 1 year ago

NikolajBjorner commented 1 year ago

The install instructions say to:

opam install ocamlgraph batteries ppx_deriving z3 apron ounit menhir cil OCRS ntl normalizffi

The last package appears not to exist.

@NikolajBjorner ➜ /workspaces/duet (modern) $ opam install normalizffi
Sorry, no solution found: there seems to be a problem with your request.
NikolajBjorner commented 1 year ago

I am running into other issues with dependencies (building cil). This is in a github codespace (ubuntu), so should be a representative fresh environment.

nclskoh commented 1 year ago

Sorry for the late follow-up. README has been updated to include all dependencies, and the upstream packages have been patched.