README.md · 865b1648dfe6d309290a6359086372e392dbf0bd · LARA / Stainless verifier

10 months ago

Move Inox as a submodule instead of an http dependency (#1520) · d0b07bb3

Samuel Chassot authored 10 months ago

* make inox submodule tracking main branch

* fix deprecated syntax in StainlessPlugin.scala

* wrong return type for def globalSettings in StainlessPlugin.scala

* add note about submodules in the readme

d0b07bb3

History

Move Inox as a submodule instead of an http dependency (#1520)

Samuel Chassot authored 10 months ago

* make inox submodule tracking main branch

* fix deprecated syntax in StainlessPlugin.scala

* wrong return type for def globalSettings in StainlessPlugin.scala

* add note about submodules in the readme