Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
168 workflow runs
168 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
Added pathutils.foldin for mdd proof Check copyright #3644: Pull request #492 synchronize by leventeBajczi
2m 37s mdd-proof-fold
mdd-proof-fold
2m 37s
version bump Check copyright #3643: Commit 168efa7 pushed by leventeBajczi
2m 5s mdd-proof-fold
mdd-proof-fold
2m 5s
Added pathutils.foldin for mdd proof Check copyright #3642: Pull request #492 opened by leventeBajczi
1m 17s mdd-proof-fold
mdd-proof-fold
1m 17s
Added pathutils.folding Check copyright #3641: Commit 8ff7f60 pushed by leventeBajczi
1m 55s mdd-proof-fold
mdd-proof-fold
1m 55s
Emergentheta Check copyright #3640: Pull request #437 synchronize by leventeBajczi
1m 47s emergentheta
emergentheta
1m 47s
using cir Check copyright #3639: Commit a42d2d4 pushed by leventeBajczi
1m 28s emergentheta
emergentheta
1m 28s
Emergentheta Check copyright #3638: Pull request #437 synchronize by leventeBajczi
1m 37s emergentheta
emergentheta
1m 37s
Updated mlir Check copyright #3637: Commit 1fca1b0 pushed by leventeBajczi
1m 32s emergentheta
emergentheta
1m 32s
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