Skip to content

Actions: RipplB/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial multi test Check copyright #80: Commit 70b0297 pushed by RipplB
March 4, 2024 14:08 24s multi_product
multi_product
March 4, 2024 14:08 24s
Aid smtlib testing Check copyright #79: Commit bb4254c pushed by RipplB
March 3, 2024 20:18 24s enumtype_smtlib
enumtype_smtlib
March 3, 2024 20:18 24s
Update sonar.yml Check copyright #78: Commit 006b6fc pushed by RipplB
February 27, 2024 08:40 28s master
master
February 27, 2024 08:40 28s
Merge branch 'master' into multi_product Check copyright #77: Commit ad55575 pushed by leventeBajczi
February 26, 2024 15:47 25s multi_product
multi_product
February 26, 2024 15:47 25s
Merge branch 'master' into multi_product Check copyright #76: Commit 5da15ee pushed by leventeBajczi
February 26, 2024 15:46 24s multi_product
multi_product
February 26, 2024 15:46 24s
Merge branch 'master' into multi_product Check copyright #75: Commit f0627ae pushed by leventeBajczi
February 26, 2024 15:45 30s multi_product
multi_product
February 26, 2024 15:45 30s
Use solvermanager to avoid dangling solver processes in long tests Check copyright #74: Commit 2af9a58 pushed by RipplB
February 26, 2024 12:26 28s enumtype_smtlib
enumtype_smtlib
February 26, 2024 12:26 28s
Finish datatype interpolation Check copyright #73: Commit 2166105 pushed by RipplB
February 23, 2024 15:26 25s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:26 25s
Fixed badge creation for windows Check copyright #72: Commit 3171daf pushed by RipplB
February 23, 2024 15:26 28s master
master
February 23, 2024 15:26 28s
Finish datatype interpolation Check copyright #71: Commit f8e66ae pushed by RipplB
February 23, 2024 15:25 27s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:25 27s
Finish datatype interpolation Check copyright #70: Commit 8aa4690 pushed by RipplB
February 23, 2024 15:01 25s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:01 25s
Merge branch 'master' into multi_product Check copyright #69: Commit f0f0316 pushed by leventeBajczi
February 23, 2024 13:12 25s multi_product
multi_product
February 23, 2024 13:12 25s
Merge branch 'master' into multi_product Check copyright #68: Commit 181e88c pushed by leventeBajczi
February 23, 2024 13:07 24s multi_product
multi_product
February 23, 2024 13:07 24s
Merge branch 'master' into multi_product Check copyright #67: Commit 5ee7afd pushed by leventeBajczi
February 23, 2024 13:05 23s multi_product
multi_product
February 23, 2024 13:05 23s
Merge branch 'master' into multi_product Check copyright #66: Commit 78be96d pushed by leventeBajczi
February 23, 2024 12:56 26s multi_product
multi_product
February 23, 2024 12:56 26s
Merge branch 'master' into multi_product Check copyright #65: Commit 2d8119b pushed by leventeBajczi
February 23, 2024 12:16 25s multi_product
multi_product
February 23, 2024 12:16 25s
Added multi formalism to create product of arbitrary number of formal… Check copyright #64: Commit af2672b pushed by RipplB
February 22, 2024 21:44 10m 41s multi_product
multi_product
February 22, 2024 21:44 10m 41s
Added multi formalism to create product of arbitrary number of formal… Check copyright #63: Commit 7a4ad5f pushed by RipplB
February 22, 2024 21:23 26s multi_product
multi_product
February 22, 2024 21:23 26s
Refactor into StmtAction Check copyright #62: Commit 4ff2682 pushed by RipplB
February 22, 2024 21:05 23s tdk
tdk
February 22, 2024 21:05 23s
Merge pull request #250 from ftsrg/fix-docs Check copyright #61: Commit 46907d2 pushed by RipplB
February 18, 2024 20:57 28s master
master
February 18, 2024 20:57 28s
Progress Check copyright #60: Commit 4d094c6 pushed by RipplB
January 16, 2024 14:11 24s enumtype_smtlib
enumtype_smtlib
January 16, 2024 14:11 24s
Progress in transformations Check copyright #59: Commit 32a5cd4 pushed by RipplB
January 15, 2024 22:42 24s enumtype_smtlib
enumtype_smtlib
January 15, 2024 22:42 24s
Aid distr benchmark Check copyright #58: Commit fc844dd pushed by RipplB
October 29, 2023 10:11 27s tdk
tdk
October 29, 2023 10:11 27s
Try fix oob interpolant foldin Check copyright #57: Commit e8a6fde pushed by RipplB
October 27, 2023 14:57 29s tdk
tdk
October 27, 2023 14:57 29s
Revert pathutils to old Check copyright #56: Commit 71d2c7b pushed by RipplB
October 27, 2023 14:55 30s tdk
tdk
October 27, 2023 14:55 30s