Closed marsella closed 1 year ago
Closes #399 Closes #135
Switches pimod to the reduced-ownership model and removes the outdated proof trait. Also fixes a few minor bugs in the pimod tests.
Closes #399 Closes #135
Switches pimod to the reduced-ownership model and removes the outdated proof trait. Also fixes a few minor bugs in the pimod tests.