Skip to content

Actions: ftsrg/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clean up some templates Check copyright #1450: Commit a581e5f pushed by AdamZsofi
October 14, 2024 16:16 32s trace-generation
trace-generation
October 14, 2024 16:16 32s
added feasible concretization and concrete summary Check copyright #1449: Commit 22d2896 pushed by AdamZsofi
October 14, 2024 09:52 30s trace-generation
trace-generation
October 14, 2024 09:52 30s
working on summary concretization Check copyright #1448: Commit 077c7bf pushed by AdamZsofi
October 13, 2024 09:37 27s trace-generation
trace-generation
October 13, 2024 09:37 27s
Generalize abstractor, refiner, cegarchecker, visualizer Check copyright #1447: Pull request #304 synchronize by RipplB
October 12, 2024 06:54 34s RipplB:arg_decouple
RipplB:arg_decouple
October 12, 2024 06:54 34s
Generalize abstractor, refiner, cegarchecker, visualizer Check copyright #1446: Pull request #304 synchronize by RipplB
October 12, 2024 06:43 27s RipplB:arg_decouple
RipplB:arg_decouple
October 12, 2024 06:43 27s
Generalize abstractor, refiner, cegarchecker, visualizer Check copyright #1445: Pull request #304 synchronize by RipplB
October 8, 2024 20:53 26s RipplB:arg_decouple
RipplB:arg_decouple
October 8, 2024 20:53 26s
Generalize abstractor, refiner, cegarchecker, visualizer Check copyright #1444: Pull request #304 opened by RipplB
October 8, 2024 20:39 31s RipplB:arg_decouple
RipplB:arg_decouple
October 8, 2024 20:39 31s
summary concretization and least/most over approx arg node wip Check copyright #1443: Commit b7df932 pushed by AdamZsofi
October 7, 2024 15:07 41s trace-generation
trace-generation
October 7, 2024 15:07 41s
Fixed struct and pointer dereferencing Check copyright #1442: Commit 244eb92 pushed by leventeBajczi
October 3, 2024 10:01 34s frontend-update-2024
frontend-update-2024
October 3, 2024 10:01 34s
trace generation checker is now a Checker Check copyright #1441: Commit 23301f7 pushed by AdamZsofi
September 29, 2024 11:53 29s trace-generation
trace-generation
September 29, 2024 11:53 29s
basic trace summary and visualization added Check copyright #1440: Commit a49a7c8 pushed by AdamZsofi
September 23, 2024 13:57 35s trace-generation
trace-generation
September 23, 2024 13:57 35s
refactor trace metadata to trace summary Check copyright #1439: Commit e4adab5 pushed by AdamZsofi
September 23, 2024 11:00 32s trace-generation
trace-generation
September 23, 2024 11:00 32s
changing return value of trace generation Check copyright #1438: Commit 388a9cc pushed by AdamZsofi
September 21, 2024 20:16 29s trace-generation
trace-generation
September 21, 2024 20:16 29s
added basic trace metadata collection; tracegen refactored to clikt Check copyright #1437: Commit 9b8c51e pushed by AdamZsofi
September 20, 2024 18:36 31s trace-generation
trace-generation
September 20, 2024 18:36 31s
added v0 trace metadata, wip refactor tracegen checker Check copyright #1436: Commit 37089d3 pushed by AdamZsofi
September 19, 2024 07:21 33s trace-generation
trace-generation
September 19, 2024 07:21 33s
OC checker Check copyright #1435: Pull request #264 synchronize by csanadtelbisz
September 16, 2024 15:18 31s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
September 16, 2024 15:18 31s
cleaning up before trace metadata Check copyright #1434: Commit 41f6809 pushed by AdamZsofi
September 11, 2024 11:31 32s trace-generation
trace-generation
September 11, 2024 11:31 32s
Merge pull request #296 from ftsrg/add-svcomp-flag Check copyright #1433: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 34s master
master
August 29, 2024 16:27 34s
added new flag --only-svcomp-witness Check copyright #1432: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 32s
added new flag --only-svcomp-witness Check copyright #1431: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 32s
merge master into tracegen Check copyright #1430: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 32s trace-generation
trace-generation
August 19, 2024 11:01 32s
Change Preconditions check to assertion Check copyright #1429: Commit ea0d2b2 pushed by mondokm
August 15, 2024 14:38 29s mdd-dev
mdd-dev
August 15, 2024 14:38 29s
Rename temp vars to local Check copyright #1428: Commit 08963dd pushed by mondokm
August 15, 2024 13:22 32s mdd-dev
mdd-dev
August 15, 2024 13:22 32s
Reformat files Check copyright #1427: Commit 07353cc pushed by mondokm
August 15, 2024 13:12 29s mdd-dev
mdd-dev
August 15, 2024 13:12 29s
Don't include tmp vars Check copyright #1426: Commit fbc035d pushed by mondokm
August 15, 2024 12:42 35s mdd-dev
mdd-dev
August 15, 2024 12:42 35s