Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,762 workflow runs
1,762 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend pointer encoding Run ScalaTest #2918: Pull request #1277 synchronize by superaxander
December 4, 2024 10:50 4s pointer-extension
pointer-extension
December 4, 2024 10:50 4s
Very basic version of bitwise operations Run ScalaTest #2917: Commit e4fc992 pushed by superaxander
December 4, 2024 10:50 25m 29s pointer-extension
pointer-extension
December 4, 2024 10:50 25m 29s
Generate Test Report Generate Test Report #185: completed by RobertMensing
December 4, 2024 10:42 35s
December 4, 2024 10:42 35s
Generate Test Report Generate Test Report #184: completed by sakehl
December 4, 2024 10:21 35s
December 4, 2024 10:21 35s
Generate Test Report Generate Test Report #183: completed by RobertMensing
December 4, 2024 10:18 1s
December 4, 2024 10:18 1s
Generate Test Report Generate Test Report #182: completed by RobertMensing
December 4, 2024 10:18 2s
December 4, 2024 10:18 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2916: Pull request #1289 synchronize by RobertMensing
December 4, 2024 10:18 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
December 4, 2024 10:18 3s
Fix bug where return-argument gets added to wrapper of pallas require… Run ScalaTest #2915: Commit 7f8fc9d pushed by RobertMensing
December 4, 2024 10:18 24m 44s integrate-llvm-spec-translation
integrate-llvm-spec-translation
December 4, 2024 10:18 24m 44s
Generate Test Report Generate Test Report #181: completed by RobertMensing
December 4, 2024 10:11 2s
December 4, 2024 10:11 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2914: Pull request #1289 opened by RobertMensing
December 4, 2024 10:11 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
December 4, 2024 10:11 3s
First draft of supporting \result in Pallas specifications Run ScalaTest #2913: Commit ffffac8 pushed by RobertMensing
December 4, 2024 10:10 7m 42s integrate-llvm-spec-translation
integrate-llvm-spec-translation
December 4, 2024 10:10 7m 42s
Add way to determine sign (+/-) Run ScalaTest #2912: Commit cf5b6de pushed by sakehl
December 4, 2024 09:54 26m 39s QuantifierFix
QuantifierFix
December 4, 2024 09:54 26m 39s
Generate Test Report Generate Test Report #180: completed by superaxander
November 29, 2024 16:02 33s
November 29, 2024 16:02 33s
Merge pull request #1288 from utwente-fmt/fix-1286 (Pre)-Release #120: Commit 077f8b9 pushed by superaxander
November 29, 2024 15:40 18m 48s dev
dev
November 29, 2024 15:40 18m 48s
Merge pull request #1288 from utwente-fmt/fix-1286 Run ScalaTest #2911: Commit 077f8b9 pushed by superaxander
November 29, 2024 15:40 22m 11s dev
dev
November 29, 2024 15:40 22m 11s
Generate Test Report Generate Test Report #179: completed by superaxander
November 29, 2024 15:29 27s
November 29, 2024 15:29 27s
Generate Test Report Generate Test Report #178: completed by superaxander
November 29, 2024 15:08 2s
November 29, 2024 15:08 2s
Fix heap variables with pointer types in C, fixes #1286 Run ScalaTest #2910: Pull request #1288 opened by superaxander
November 29, 2024 15:08 4s fix-1286
fix-1286
November 29, 2024 15:08 4s
Fix heap variables with pointer types in C, fixes #1286 Run ScalaTest #2909: Commit 3cb8537 pushed by superaxander
November 29, 2024 15:07 21m 53s fix-1286
fix-1286
November 29, 2024 15:07 21m 53s
Generate Test Report Generate Test Report #177: completed by bobismijnnaam
November 29, 2024 10:16 28s
November 29, 2024 10:16 28s
Generate Test Report Generate Test Report #176: completed by bobismijnnaam
November 29, 2024 09:49 2s
November 29, 2024 09:49 2s
Focus/minimization functionality Run ScalaTest #2908: Pull request #1285 synchronize by bobismijnnaam
November 29, 2024 09:49 4s focus-ignore-callables
focus-ignore-callables
November 29, 2024 09:49 4s
Adapting ModifierCollector next Run ScalaTest #2907: Commit d01e34a pushed by bobismijnnaam
November 29, 2024 09:49 27m 0s focus-ignore-callables
focus-ignore-callables
November 29, 2024 09:49 27m 0s
Generate Test Report Generate Test Report #175: completed by superaxander
November 28, 2024 16:07 33s
November 28, 2024 16:07 33s
Generate Test Report Generate Test Report #174: completed by superaxander
November 28, 2024 15:34 2s
November 28, 2024 15:34 2s