Skip to content

Actions: RipplB/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

correction after rebase Check copyright #155: Commit 89d4db8 pushed by RipplB
July 8, 2024 09:05 36s zeta-merge-clean
zeta-merge-clean
July 8, 2024 09:05 36s
correction after rebase Check copyright #154: Commit 298852a pushed by RipplB
July 8, 2024 08:21 30s zeta-merge-clean
zeta-merge-clean
July 8, 2024 08:21 30s
Bump version Check copyright #153: Commit 7fb8ccb pushed by RipplB
July 7, 2024 21:59 30s zeta-merge-clean
zeta-merge-clean
July 7, 2024 21:59 30s
Fix simplifying of fp NaN literal (non)equalities Check copyright #152: Commit 285b991 pushed by RipplB
July 6, 2024 20:40 27s remove_arg_dependencies
remove_arg_dependencies
July 6, 2024 20:40 27s
Fix simplifying of fp NaN literal (non)equalities Check copyright #151: Commit 285b991 pushed by RipplB
July 6, 2024 14:54 29s enumtype_smtlib
enumtype_smtlib
July 6, 2024 14:54 29s
Fix simplifying of fp NaN literal (non)equalities Check copyright #150: Commit 021194d pushed by RipplB
July 6, 2024 14:04 28s enumtype_smtlib
enumtype_smtlib
July 6, 2024 14:04 28s
Fix simplifying of fp NaN literal (non)equalities Check copyright #149: Commit 5f2b8bb pushed by RipplB
July 5, 2024 13:28 28s enumtype_smtlib
enumtype_smtlib
July 5, 2024 13:28 28s
fix smtlib installers Check copyright #148: Commit fdb14f9 pushed by RipplB
June 29, 2024 18:17 29s enumtype_smtlib
enumtype_smtlib
June 29, 2024 18:17 29s
fix smtlib installers Check copyright #147: Commit 98e29d3 pushed by RipplB
June 28, 2024 15:12 31s enumtype_smtlib
enumtype_smtlib
June 28, 2024 15:12 31s
Add EnumType support to JavaSMT Check copyright #146: Commit 4703cb0 pushed by RipplB
June 26, 2024 08:08 37s enumtype_smtlib
enumtype_smtlib
June 26, 2024 08:08 37s
Merge pull request #271 from ftsrg/smtlib-fixes Check copyright #145: Commit 928c853 pushed by RipplB
June 26, 2024 07:57 29s master
master
June 26, 2024 07:57 29s
Use FunctionDeclarationKind instead of function name to match Theta e… Check copyright #144: Commit cfbc083 pushed by RipplB
June 23, 2024 11:04 30s enumtype_smtlib
enumtype_smtlib
June 23, 2024 11:04 30s
Add EnumType support to JavaSMT Check copyright #143: Commit b86349f pushed by RipplB
June 21, 2024 10:19 29s enumtype_smtlib
enumtype_smtlib
June 21, 2024 10:19 29s
Merge pull request #269 from ftsrg/code-reformat Check copyright #142: Commit c4e24fa pushed by RipplB
June 21, 2024 09:08 31s master
master
June 21, 2024 09:08 31s
Merge pull request #251 from RipplB/multi_product Check copyright #141: Commit f0de2e5 pushed by RipplB
June 21, 2024 09:00 28s master
master
June 21, 2024 09:00 28s
Tests for multi Check copyright #140: Commit 2de1369 pushed by RipplB
June 21, 2024 08:56 28s multi_product
multi_product
June 21, 2024 08:56 28s
Tests for multi Check copyright #139: Commit de0cfd6 pushed by RipplB
June 20, 2024 23:45 25s multi_product
multi_product
June 20, 2024 23:45 25s
Tests for multi Check copyright #138: Commit 576ed35 pushed by RipplB
June 20, 2024 23:18 26s multi_product
multi_product
June 20, 2024 23:18 26s
Add multi analysis test Check copyright #137: Commit b0b7bb6 pushed by RipplB
June 20, 2024 23:14 34s multi_product
multi_product
June 20, 2024 23:14 34s
Add multi analysis test Check copyright #136: Commit fe28a60 pushed by RipplB
June 20, 2024 23:03 26s multi_product
multi_product
June 20, 2024 23:03 26s
Add multi analysis test Check copyright #135: Commit f429612 pushed by RipplB
June 20, 2024 22:51 32s multi_product
multi_product
June 20, 2024 22:51 32s
Add multi analysis test Check copyright #134: Commit 64a550e pushed by RipplB
June 20, 2024 22:38 33s multi_product
multi_product
June 20, 2024 22:38 33s
Add multi analysis test Check copyright #133: Commit f231d9e pushed by RipplB
June 20, 2024 21:49 29s multi_product
multi_product
June 20, 2024 21:49 29s
Add multi analysis test Check copyright #132: Commit a009558 pushed by RipplB
June 20, 2024 17:37 27s multi_product
multi_product
June 20, 2024 17:37 27s
Merge pull request #252 from ftsrg/c-frontend-fix Check copyright #131: Commit b42b297 pushed by RipplB
June 20, 2024 17:00 30s master
master
June 20, 2024 17:00 30s