Skip to content

Actions: hwmcc/btor2tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

btorsplit: Fix bad keyword detection. CI #36: Commit a1bb693 pushed by mpreiner
December 16, 2024 02:19 22s master
master
December 16, 2024 02:19 22s
fix bitvector rotation for arg > width CI #35: Commit da82ea7 pushed by Froleyks
November 26, 2024 11:01 24s master
master
November 26, 2024 11:01 24s
bug fix of btor2aiger in PR #27 CI #34: Pull request #28 opened by gipsyh
November 24, 2024 11:31 18s gipsyh:master
gipsyh:master
November 24, 2024 11:31 18s
support arbitrary initialization functions in btor2aiger (#27) CI #33: Commit 6f0bbf4 pushed by mpreiner
September 3, 2024 19:40 24s master
master
September 3, 2024 19:40 24s
support arbitrary initialization functions in btor2aiger CI #32: Pull request #27 opened by gipsyh
September 2, 2024 01:01 23s gipsyh:master
gipsyh:master
September 2, 2024 01:01 23s
bump aiger version and support arbitrary initialization functions in btor2aiger CI #31: Pull request #20 synchronize by gipsyh
August 27, 2024 01:51 23s gipsyh:master
gipsyh:master
August 27, 2024 01:51 23s
Fixes and missing operator implementations for btorsim (#25) CI #30: Commit 44bcadb pushed by mpreiner
August 7, 2024 17:00 20s master
master
August 7, 2024 17:00 20s
Fixes and missing operator implementations for btorsim CI #29: Pull request #25 synchronize by Ferdi265
August 6, 2024 18:54 21s Ferdi265:btorsim-fixes
Ferdi265:btorsim-fixes
August 6, 2024 18:54 21s
parser: BTOR2 does not have keywords starting with 'l'. CI #27: Commit ff44a21 pushed by mpreiner
July 23, 2024 02:17 22s master
master
July 23, 2024 02:17 22s
bump aiger version and support arbitrary initialization functions in btor2aiger CI #20: Pull request #20 synchronize by gipsyh
March 22, 2024 01:01 31s gipsyh:master
gipsyh:master
March 22, 2024 01:01 31s
parser: Disallow negative array indices. CI #19: Commit 8775f9a pushed by mpreiner
March 22, 2024 00:49 30s master
master
March 22, 2024 00:49 30s
Add BUILD_TOOLS option for building only libraries required by boolec… CI #18: Commit 14065fa pushed by mpreiner
March 6, 2024 22:01 35s master
master
March 6, 2024 22:01 35s
Add BUILD_TOOLS option for building only libraries required by boolector. CI #17: Pull request #19 synchronize by cr1901
March 6, 2024 21:46 27s cr1901:build-tools
cr1901:build-tools
March 6, 2024 21:46 27s
Add BUILD_TOOLS option for building only libraries required by boolector. CI #15: Pull request #19 synchronize by cr1901
March 4, 2024 22:40 45s cr1901:build-tools
cr1901:build-tools
March 4, 2024 22:40 45s