prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

Prusti 2.0: Free PCS

Open JonasAlaif opened this issue 2 years ago • 0 comments

Start working on the new MicroMir and the PCS analysis for it. Currently everything owned works fully and everything borrows doesn't at all.

TODO:

  • [ ] Add comments to current implementation
  • [ ] Setup proper CI testing
  • [ ] Coupling graph (borrows)

JonasAlaif avatar Apr 18 '23 10:04 JonasAlaif