search

flyvy-verifier / flyvy

An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.
BSD 2-Clause "Simplified" License
14 stars 1 forks source link

Run CI on pull requests #64

Closed tchajed closed 1 year ago

tchajed commented 1 year ago

This is needed to trigger on pull requests from forks.

Unfortunately it also means that CI no longer runs automatically for branches in the repo, and you'll need to create a PR.