search

TAPAAL / verifytapn

VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
https://www.tapaal.net
GNU General Public License v2.0
1 stars 4 forks source link

Update build-macos.yml #25

Closed petergjoel closed 1 year ago

petergjoel commented 1 year ago

fixing osx builder