Daniel Kroening de67aafea9 CI: run the Verilog tests with Z3 ... This exercises additonal functionality of the solver backend, and is hence worth running in CI.		2024-02-03 08:22:27 -08:00
..
workflows	CI: run the Verilog tests with Z3	2024-02-03 08:22:27 -08:00
dependabot.yml	Enable dependabot for GitHub actions	2024-01-23 11:12:37 +00:00