Marco Gario issues

Repositories
Issues
Comments

Results 23 issues of


                                            Marco Gario

Improve Yices usage

There are some features of yices that we are currently not using, but it would make sense to integrate. 1. Stand-alone model: We are currently using an EagerModel to represent...

enhancement

help wanted

Code Scanning Update codeql.yml with new build-mode

This is updating the CodeQL template to use the new `build-mode` option in the action. ## Pre-requisites - [ ] Prior to submitting a new workflow, please apply to join...

code-scanning

Better handling for required workflows

Return the workflow path from the run rather than trying to fetch the workflow information when the workflow information is missing or refers to a required workflow. This fixes the...