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

Add EnumType support to JavaSMT Check copyright #130: Commit b8c2006 pushed by RipplB
June 20, 2024 15:55 32s enumtype_smtlib
enumtype_smtlib
June 20, 2024 15:55 32s
Add multi analysis test Check copyright #129: Commit 5a5efbd pushed by RipplB
June 1, 2024 23:06 26s multi_product
multi_product
June 1, 2024 23:06 26s
Add multi analysis test Check copyright #128: Commit a762abf pushed by RipplB
June 1, 2024 22:37 29s multi_product
multi_product
June 1, 2024 22:37 29s
Added unittest to new xsts functionalities Check copyright #127: Commit e46e855 pushed by RipplB
June 1, 2024 19:46 30s multi_product
multi_product
June 1, 2024 19:46 30s
Added unittest to new cfa functionalities Check copyright #126: Commit 493b740 pushed by RipplB
June 1, 2024 19:31 31s multi_product
multi_product
June 1, 2024 19:31 31s
Add var changer unit tests to formalisms Check copyright #125: Commit e001fbb pushed by RipplB
June 1, 2024 17:58 27s multi_product
multi_product
June 1, 2024 17:58 27s
Move multi tests to their own module Check copyright #124: Commit f8c38f4 pushed by RipplB
May 28, 2024 08:16 30s multi_product
multi_product
May 28, 2024 08:16 30s
Move multi tests to their own module Check copyright #123: Commit a8bae44 pushed by RipplB
May 28, 2024 07:56 28s multi_product
multi_product
May 28, 2024 07:56 28s
Separate MultiPartialOrd, MultiInitFunc, MultiTransFunc Check copyright #122: Commit cdacaa6 pushed by RipplB
May 27, 2024 15:48 28s multi_product
multi_product
May 27, 2024 15:48 28s
Separate MultiPartialOrd and MultiInitFunc Check copyright #121: Commit 43b326e pushed by RipplB
May 23, 2024 13:39 27s multi_product
multi_product
May 23, 2024 13:39 27s
Separate MultiTransFunc Check copyright #120: Commit e9d763c pushed by RipplB
May 23, 2024 07:42 28s multi_product
multi_product
May 23, 2024 07:42 28s
Fixed serious formatting issue Check copyright #119: Commit 75c1092 pushed by leventeBajczi
May 22, 2024 14:28 31s multi_product
multi_product
May 22, 2024 14:28 31s
Formatting Check copyright #118: Commit ffbf3e6 pushed by RipplB
May 22, 2024 14:15 29s multi_product
multi_product
May 22, 2024 14:15 29s
Formatting Check copyright #117: Commit 633b38d pushed by RipplB
May 22, 2024 14:06 34s multi_product
multi_product
May 22, 2024 14:06 34s
Mark unused class correctly Check copyright #116: Commit ed176c3 pushed by RipplB
May 22, 2024 13:34 31s multi_product
multi_product
May 22, 2024 13:34 31s
Code quality improvements Check copyright #115: Commit 87b7502 pushed by RipplB
May 22, 2024 11:40 30s multi_product
multi_product
May 22, 2024 11:40 30s
Formatting Check copyright #114: Commit 9882ee3 pushed by RipplB
May 20, 2024 21:30 28s multi_product
multi_product
May 20, 2024 21:30 28s
Clear air around MultiBuilderResult Check copyright #113: Commit 5be9f68 pushed by RipplB
May 20, 2024 21:24 30s multi_product
multi_product
May 20, 2024 21:24 30s
Make hashcode consider sourceMattersInEquality flag Check copyright #112: Commit 66b4d5a pushed by RipplB
May 19, 2024 21:05 28s multi_product
multi_product
May 19, 2024 21:05 28s
formatting Check copyright #111: Commit 67adb9c pushed by RipplB
April 30, 2024 19:17 25s multi_product
multi_product
April 30, 2024 19:17 25s
apply copyright header Check copyright #110: Commit 819bc48 pushed by RipplB
April 30, 2024 19:12 26s multi_product
multi_product
April 30, 2024 19:12 26s
version bump Check copyright #109: Commit 5c8d681 pushed by RipplB
April 30, 2024 18:52 34s multi_product
multi_product
April 30, 2024 18:52 34s
add test of product of same xsts twice Check copyright #108: Commit 5e21919 pushed by RipplB
April 30, 2024 18:40 27s multi_product
multi_product
April 30, 2024 18:40 27s
Merge origin/main Check copyright #107: Commit b133f60 pushed by RipplB
April 29, 2024 15:56 1m 37s multi_product
multi_product
April 29, 2024 15:56 1m 37s
Update README.md Check copyright #106: Commit fd60827 pushed by RipplB
April 29, 2024 15:46 31s master
master
April 29, 2024 15:46 31s