Skip to content

Actions: sakehl/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add pattern to inline Run ScalaTest #96: Commit a8b7233 pushed by sakehl
January 11, 2024 09:35 1m 15s location_patterns
location_patterns
January 11, 2024 09:35 1m 15s
Pass over everthing that contained location Run ScalaTest #95: Commit 9fcc7a6 pushed by sakehl
January 10, 2024 15:33 13m 42s location_patterns
location_patterns
January 10, 2024 15:33 13m 42s
Add origin Run ScalaTest #94: Commit 2041586 pushed by sakehl
January 10, 2024 13:07 22m 42s location_patterns
location_patterns
January 10, 2024 13:07 22m 42s
Quantifier triggers are now also processed when they are location Run ScalaTest #93: Commit f0769e3 pushed by sakehl
December 21, 2023 13:33 22m 41s location_patterns
location_patterns
December 21, 2023 13:33 22m 41s
Fix for no sequence indexing Run ScalaTest #92: Commit 79e3d97 pushed by sakehl
December 8, 2023 10:58 23m 9s syql-rq4-patch
syql-rq4-patch
December 8, 2023 10:58 23m 9s
Fix Run ScalaTest #91: Commit f192f60 pushed by sakehl
December 8, 2023 10:44 22m 19s syql-patch-no-seq
syql-patch-no-seq
December 8, 2023 10:44 22m 19s
No sequences with get_id Run ScalaTest #90: Commit fd441e3 pushed by sakehl
December 8, 2023 10:33 7m 4s syql-patch-no-seq
syql-patch-no-seq
December 8, 2023 10:33 7m 4s
Merge remote-tracking branch 'origin/dev' into better-c-support Run ScalaTest #89: Commit 0ddf7e2 pushed by sakehl
November 27, 2023 10:38 21m 33s better-c-support
better-c-support
November 27, 2023 10:38 21m 33s
small fixes Run ScalaTest #88: Commit a4c2f8d pushed by sakehl
November 23, 2023 23:47 14m 27s better-c-support
better-c-support
November 23, 2023 23:47 14m 27s
Simplified struct test case for running time Run ScalaTest #87: Commit fd270aa pushed by sakehl
November 23, 2023 23:29 12m 9s better-c-support
better-c-support
November 23, 2023 23:29 12m 9s
Duplicate test name Run ScalaTest #86: Commit 8348f4c pushed by sakehl
November 23, 2023 23:12 15m 16s better-c-support
better-c-support
November 23, 2023 23:12 15m 16s
Changes to loop contracts init values for structs Run ScalaTest #85: Commit 44a3944 pushed by sakehl
November 23, 2023 23:02 2m 42s better-c-support
better-c-support
November 23, 2023 23:02 2m 42s
And this Run ScalaTest #84: Commit 8e35624 pushed by sakehl
November 23, 2023 15:14 21m 7s better-c-support
better-c-support
November 23, 2023 15:14 21m 7s
Clean up SMT functions to_int, pow (^) + to_real Run ScalaTest #83: Commit f372eca pushed by sakehl
November 23, 2023 15:14 25s better-c-support
better-c-support
November 23, 2023 15:14 25s
Specific errors when struct copy does not work Run ScalaTest #82: Commit b5255db pushed by sakehl
November 23, 2023 14:39 15m 15s better-c-support
better-c-support
November 23, 2023 14:39 15m 15s
More tests Run ScalaTest #81: Commit a35ff77 pushed by sakehl
November 21, 2023 16:50 21m 20s better-c-support
better-c-support
November 21, 2023 16:50 21m 20s
Getting more blames right Run ScalaTest #80: Commit 9c96c97 pushed by sakehl
November 17, 2023 19:12 15m 36s better-c-support
better-c-support
November 17, 2023 19:12 15m 36s
Getting blames right for free func Run ScalaTest #79: Commit feede95 pushed by sakehl
November 17, 2023 16:40 15m 43s better-c-support
better-c-support
November 17, 2023 16:40 15m 43s
Correct name for simplify filter and simplify rules Run ScalaTest #78: Commit da3532d pushed by sakehl
November 17, 2023 09:57 16m 0s better-c-support
better-c-support
November 17, 2023 09:57 16m 0s
Some more merge fixes Run ScalaTest #77: Commit 8a830c4 pushed by sakehl
November 15, 2023 16:56 21m 21s better-c-support
better-c-support
November 15, 2023 16:56 21m 21s
Int to Float promotion C Run ScalaTest #76: Commit e503847 pushed by sakehl
November 15, 2023 13:16 16m 2s better-c-support
better-c-support
November 15, 2023 13:16 16m 2s
Last merge errors and new arrays give correct perms for structs Run ScalaTest #75: Commit f57173e pushed by sakehl
November 6, 2023 15:40 27m 10s better-c-support
better-c-support
November 6, 2023 15:40 27m 10s
Malloc test file and better support Run ScalaTest #74: Commit 09fc82d pushed by sakehl
November 3, 2023 11:38 13m 15s better-c-support
better-c-support
November 3, 2023 11:38 13m 15s
Better support for truncated div and mod Run ScalaTest #73: Commit 08a4357 pushed by sakehl
November 2, 2023 14:47 12m 24s better-c-support
better-c-support
November 2, 2023 14:47 12m 24s
Better Struct support Run ScalaTest #72: Commit e368794 pushed by sakehl
November 2, 2023 12:31 13m 45s better-c-support
better-c-support
November 2, 2023 12:31 13m 45s