search

hferee / UIML

Uniform Interpolation for Modal Logics
Other
4 stars 1 forks source link

Run the ci on PRs from foreign repos #15

Closed Yag000 closed 1 week ago

Yag000 commented 1 week ago

The CI will now run for PRs from external repositories.

I've also fixed a dependency issue and remove the weight function on the benchmark code and we now use the extracted weight function.