Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
160 workflow runs
160 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
formatting Check copyright #3636: Commit 28ae65d pushed by AdamZsofi
1m 38s bitvector-conversion
bitvector-conversion
1m 38s
Removed deprecated flag from chc Check copyright #3635: Commit 0b09a73 pushed by leventeBajczi
1m 46s master
master
1m 46s
%= /= fix Check copyright #3634: Commit 252fea3 pushed by AdamZsofi
1m 38s bitvector-conversion
bitvector-conversion
1m 38s
Merge pull request #491 from ftsrg/fix-chc-script Check copyright #3633: Commit 769e3bf pushed by leventeBajczi
2m 22s master
master
2m 22s
Add scriptName to Theta-chccomp configuration Check copyright #3632: Pull request #491 synchronize by leventeBajczi
3m 11s fix-chc-script
fix-chc-script
3m 11s
Bump version from 6.29.1 to 6.29.2 Check copyright #3631: Commit 63323d4 pushed by leventeBajczi
3m 5s fix-chc-script
fix-chc-script
3m 5s
Add scriptName to Theta-chccomp configuration Check copyright #3630: Pull request #491 opened by leventeBajczi
1m 9s fix-chc-script
fix-chc-script
1m 9s
Add scriptName to Theta-chccomp configuration Check copyright #3629: Commit 5807c91 pushed by leventeBajczi
1m 12s fix-chc-script
fix-chc-script
1m 12s
Merge pull request #489 from ftsrg/btor2-fixes Check copyright #3628: Commit 86a6079 pushed by AdamZsofi
1m 37s master
master
1m 37s
Btor2Xcfa Fixes Check copyright #3627: Pull request #489 synchronize by AdamZsofi
2m 8s btor2-fixes
btor2-fixes
2m 8s
applied copyright Check copyright #3626: Commit 2e424de pushed by AdamZsofi
1m 43s btor2-fixes
btor2-fixes
1m 43s
Btor2Xcfa Fixes Check copyright #3625: Pull request #489 synchronize by thetabotmaintainer Bot
1m 53s btor2-fixes
btor2-fixes
1m 53s
Version bump Check copyright #3624: Commit 67c40da pushed by thetabotmaintainer Bot
1m 32s btor2-fixes
btor2-fixes
1m 32s
Btor2Xcfa Fixes Check copyright #3623: Pull request #489 opened by AdamZsofi
1m 22s btor2-fixes
btor2-fixes
1m 22s
chc btor2 pass fix Check copyright #3622: Commit 8c90938 pushed by AdamZsofi
1m 16s btor2-fixes
btor2-fixes
1m 16s
fix btor2 opti flag description and verbose visitor logger Check copyright #3621: Commit 3eb6b9d pushed by AdamZsofi
1m 31s btor2-fixes
btor2-fixes
1m 31s
Merge pull request #348 from szaboeva2004/btor2xcfa Check copyright #3620: Commit d4644f0 pushed by AdamZsofi
1m 50s master
master
1m 50s
Btor2Xcfa Check copyright #3619: Pull request #348 synchronize by szaboeva2004
1m 36s szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
1m 36s
Btor2Xcfa Check copyright #3618: Pull request #348 synchronize by AdamZsofi
1m 46s szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
1m 46s
Btor2Xcfa Check copyright #3617: Pull request #348 synchronize by szaboeva2004
1m 50s szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
1m 50s
Made variable declarations optional Check copyright #3616: Pull request #487 opened by arminzavada
1m 55s optional_variables
optional_variables
1m 55s
Made variable declarations optional Check copyright #3615: Commit 2de3a10 pushed by arminzavada
1m 55s optional_variables
optional_variables
1m 55s
Improve solver exceptions for BoundedChecker Check copyright #3614: Pull request #486 opened by mondokm
1m 51s solverexceptions
solverexceptions
1m 51s
Improve solver exceptions Check copyright #3613: Commit 6817238 pushed by mondokm
1m 41s solverexceptions
solverexceptions
1m 41s
Btor2Xcfa Check copyright #3612: Pull request #348 synchronize by AdamZsofi
1m 57s szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
1m 57s