Depend on Scallion and Silex via release JARs

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Closed sankalpgambhir closed 1 week ago

sankalpgambhir commented 1 week ago

Complete changelist:

Bump version to 0.7.
Update sbt to 1.10.1.
Move scallion and silex to depend on jars via GitHub releases instead of cloning and compiling locally.
Tests now fork the jvm and use jvm options correctly, which also removes the relevant warning during testing.

Edit: also updated CI actions to recent versions