search

TAPAAL / verifypn

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
GNU General Public License v3.0
7 stars 17 forks source link

Update build-macos.yml #170

Closed srba closed 3 months ago

srba commented 3 months ago

updated to gcc-14 for all mac workflows

srba commented 3 months ago

fixing build for intel macs by installing m4 due to image change last week