search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Update jKind jar files #29

Closed atomb closed 4 years ago

atomb commented 5 years ago

The nightly builds of formal-methods-workbench weren't working with Sally due to the wrong jkind-api.jar file. This PR should fix that problem. It is built from the sally-integration branch of https://github.com/galoisinc/jkind, but we have a PR in to merge this into upstream jKind.

atomb commented 4 years ago

The jKind PR has been merged, so these copies of jkind-api.jar should be aligned with the master branch of the upstream repository now.