Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
1,576 workflow runs
1,576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reformatted code Check copyright #336: Commit b40cc00 pushed by thetabotmaintainer bot
November 2, 2023 12:33 32s chc2c
chc2c
November 2, 2023 12:33 32s
Added code from CHC2C implementation Check copyright #335: Pull request #234 synchronize by thetabotmaintainer bot
November 2, 2023 12:31 30s chc2c
chc2c
November 2, 2023 12:31 30s
Reapplied copyright Check copyright #334: Commit ec09bd5 pushed by thetabotmaintainer bot
November 2, 2023 12:31 32s chc2c
chc2c
November 2, 2023 12:31 32s
Added code from CHC2C implementation Check copyright #333: Pull request #234 opened by leventeBajczi
November 2, 2023 12:30 35s chc2c
chc2c
November 2, 2023 12:30 35s
Added code from CHC2C implementation Check copyright #332: Commit da79631 pushed by leventeBajczi
November 2, 2023 12:14 29s chc2c
chc2c
November 2, 2023 12:14 29s
Xcfa phased procedure pass optimization + unsupported initializer Check copyright #331: Pull request #233 synchronize by csanadtelbisz
November 2, 2023 12:12 27s csanadtelbisz:xcfa-refactor-struct-init
csanadtelbisz:xcfa-refactor-struct-init
November 2, 2023 12:12 27s
Xcfa phased procedure pass optimization + unsupported initializer Check copyright #330: Pull request #233 synchronize by csanadtelbisz
November 1, 2023 22:51 29s csanadtelbisz:xcfa-refactor-struct-init
csanadtelbisz:xcfa-refactor-struct-init
November 1, 2023 22:51 29s
Xcfa phased procedure pass optimization + unsupported initializer Check copyright #329: Pull request #233 synchronize by csanadtelbisz
November 1, 2023 21:40 31s csanadtelbisz:xcfa-refactor-struct-init
csanadtelbisz:xcfa-refactor-struct-init
November 1, 2023 21:40 31s
Xcfa phased procedure pass optimization + unsupported initializer Check copyright #328: Pull request #233 opened by csanadtelbisz
November 1, 2023 21:28 27s csanadtelbisz:xcfa-refactor-struct-init
csanadtelbisz:xcfa-refactor-struct-init
November 1, 2023 21:28 27s
WIP: Choice-else branch support Check copyright #327: Pull request #232 opened by arminzavada
October 28, 2023 13:17 36s arminzavada:master
arminzavada:master
October 28, 2023 13:17 36s
XCFA-refactor 2023 [draft] Check copyright #326: Pull request #198 synchronize by AdamZsofi
October 27, 2023 12:14 31s xcfa-refactor
xcfa-refactor
October 27, 2023 12:14 31s
last modifications in progress check Check copyright #325: Commit 275ee53 pushed by AdamZsofi
October 27, 2023 12:14 31s xcfa-refactor
xcfa-refactor
October 27, 2023 12:14 31s
XCFA-refactor 2023 [draft] Check copyright #324: Pull request #198 synchronize by csanadtelbisz
October 26, 2023 21:14 32s xcfa-refactor
xcfa-refactor
October 26, 2023 21:14 32s
COI (abstract data-flow-based statement simplification) Check copyright #323: Commit d6778fd pushed by csanadtelbisz
October 26, 2023 21:14 28s xcfa-refactor
xcfa-refactor
October 26, 2023 21:14 28s
COI (abstract data-flow-based statement simplification) Check copyright #322: Pull request #231 synchronize by csanadtelbisz
October 26, 2023 21:12 28s csanadtelbisz:xcfa-coi
csanadtelbisz:xcfa-coi
October 26, 2023 21:12 28s
COI (abstract data-flow-based statement simplification) Check copyright #321: Pull request #231 opened by csanadtelbisz
October 26, 2023 20:52 33s csanadtelbisz:xcfa-coi
csanadtelbisz:xcfa-coi
October 26, 2023 20:52 33s
XCFA-refactor 2023 [draft] Check copyright #320: Pull request #198 synchronize by s0mark
October 23, 2023 14:30 30s xcfa-refactor
xcfa-refactor
October 23, 2023 14:30 30s
Harmonize integer div/mod semantics Check copyright #319: Commit 455a89c pushed by s0mark
October 23, 2023 14:30 34s xcfa-refactor
xcfa-refactor
October 23, 2023 14:30 34s
Harmonize integer div/mod semantics Check copyright #318: Pull request #230 opened by s0mark
October 23, 2023 14:06 38s s0mark:xcfa-intmodfix
s0mark:xcfa-intmodfix
October 23, 2023 14:06 38s
XCFA-refactor 2023 [draft] Check copyright #317: Pull request #198 synchronize by csanadtelbisz
October 20, 2023 08:31 31s xcfa-refactor
xcfa-refactor
October 20, 2023 08:31 31s
LBE pass fix Check copyright #316: Commit f904031 pushed by csanadtelbisz
October 20, 2023 08:31 26s xcfa-refactor
xcfa-refactor
October 20, 2023 08:31 26s
LBE pass fix Check copyright #315: Pull request #229 opened by csanadtelbisz
October 20, 2023 08:30 39s csanadtelbisz:xcfa-refactor
csanadtelbisz:xcfa-refactor
October 20, 2023 08:30 39s
XCFA-refactor 2023 [draft] Check copyright #314: Pull request #198 synchronize by AdamZsofi
October 14, 2023 20:30 29s xcfa-refactor
xcfa-refactor
October 14, 2023 20:30 29s
fixed remaining webdebuggerlogger overhead Check copyright #313: Commit 0319f72 pushed by AdamZsofi
October 14, 2023 20:30 33s xcfa-refactor
xcfa-refactor
October 14, 2023 20:30 33s
XCFA-refactor 2023 [draft] Check copyright #312: Pull request #198 synchronize by csanadtelbisz
October 13, 2023 21:14 30s xcfa-refactor
xcfa-refactor
October 13, 2023 21:14 30s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.