Skip to content

Actions: utwente-fmt/vercors

Actions

Run ScalaTest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scalatest.yml
1,189 workflow runs
1,189 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed scoping of let in PureMethodsToFunctions Run ScalaTest #2898: Commit ce2783c pushed by RobertMensing
November 28, 2024 11:58 22m 54s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 28, 2024 11:58 22m 54s
Focus/minimization functionality Run ScalaTest #2897: Pull request #1285 synchronize by bobismijnnaam
November 28, 2024 10:50 4s focus-ignore-callables
focus-ignore-callables
November 28, 2024 10:50 4s
Ported the whole thing, but don't have the syntax yet to test it...! Run ScalaTest #2896: Commit df61436 pushed by bobismijnnaam
November 28, 2024 10:50 11m 24s focus-ignore-callables
focus-ignore-callables
November 28, 2024 10:50 11m 24s
Integrate Pallas FunctionContracts Run ScalaTest #2895: Pull request #1280 synchronize by RobertMensing
November 28, 2024 09:33 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 28, 2024 09:33 4s
Added c-files that are used to generate .ll to exclusion Run ScalaTest #2894: Commit f7b0f0c pushed by RobertMensing
November 28, 2024 09:33 23m 41s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 28, 2024 09:33 23m 41s
Integrate Pallas FunctionContracts Run ScalaTest #2893: Pull request #1280 synchronize by RobertMensing
November 28, 2024 08:57 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 28, 2024 08:57 3s
Added basic tests for the pallas function contracts Run ScalaTest #2892: Commit 432db27 pushed by RobertMensing
November 28, 2024 08:57 21m 20s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 28, 2024 08:57 21m 20s
Focus/minimization functionality Run ScalaTest #2891: Pull request #1285 opened by bobismijnnaam
November 28, 2024 08:52 4s focus-ignore-callables
focus-ignore-callables
November 28, 2024 08:52 4s
Start once more Run ScalaTest #2890: Commit c8cd875 pushed by bobismijnnaam
November 28, 2024 08:50 11m 25s focus-ignore-callables
focus-ignore-callables
November 28, 2024 08:50 11m 25s
Not sure why it is failing now Run ScalaTest #2889: Commit 9401d0e pushed by bobismijnnaam
November 27, 2024 16:08 22m 28s veymont-parameterization-syntax
veymont-parameterization-syntax
November 27, 2024 16:08 22m 28s
Integrate Pallas FunctionContracts Run ScalaTest #2888: Pull request #1280 synchronize by RobertMensing
November 27, 2024 15:06 5s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 15:06 5s
Prioritize empty VCLLVM contracts over empty pallas contracts Run ScalaTest #2887: Commit f542a51 pushed by RobertMensing
November 27, 2024 15:06 25m 40s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 15:06 25m 40s
Before StratifyUnpointed refactor Run ScalaTest #2886: Commit 23089c5 pushed by bobismijnnaam
November 27, 2024 11:00 7m 17s veymont-parameterization-syntax
veymont-parameterization-syntax
November 27, 2024 11:00 7m 17s
Integrate Pallas FunctionContracts Run ScalaTest #2885: Pull request #1280 synchronize by RobertMensing
November 27, 2024 10:46 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 10:46 4s
Fix off-by-one error in llvm-origins Run ScalaTest #2884: Commit fd3a41b pushed by RobertMensing
November 27, 2024 10:46 23m 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 10:46 23m 3s
Integrate Pallas FunctionContracts Run ScalaTest #2883: Pull request #1280 synchronize by RobertMensing
November 27, 2024 09:57 5s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 09:57 5s
Merge remote-tracking branch 'origin/dev' into integrate-llvm-spec-tr… Run ScalaTest #2882: Commit 5da2706 pushed by RobertMensing
November 27, 2024 09:57 29m 35s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 09:57 29m 35s
Modified origin of llvm function-definition to point to source-file Run ScalaTest #2881: Commit 188a5db pushed by RobertMensing
November 27, 2024 08:10 25m 27s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 27, 2024 08:10 25m 27s
Outline how we will move away from EndpointName, and instead reuse Co… Run ScalaTest #2880: Commit a7ce7d0 pushed by bobismijnnaam
November 26, 2024 15:54 56s veymont-parameterization-syntax
veymont-parameterization-syntax
November 26, 2024 15:54 56s
fixed infinite recursion bug Run ScalaTest #2879: Commit 63a94f9 pushed by ArmborstL
November 26, 2024 15:00 25m 29s simplify-c-files-for-cpa
simplify-c-files-for-cpa
November 26, 2024 15:00 25m 29s
Added origins to pallas function-contracts Run ScalaTest #2878: Commit c94ad4c pushed by RobertMensing
November 26, 2024 14:50 21m 38s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 26, 2024 14:50 21m 38s
Fixed DuplicateSuccessor-Error when using assignments in functions. Run ScalaTest #2877: Commit ff6fe4b pushed by RobertMensing
November 25, 2024 15:31 22m 56s integrate-llvm-spec-translation
integrate-llvm-spec-translation
November 25, 2024 15:31 22m 56s
forgot some files Run ScalaTest #2876: Commit e9561b8 pushed by bobismijnnaam
November 22, 2024 15:55 7m 55s veymont-parameterization-syntax
veymont-parameterization-syntax
November 22, 2024 15:55 7m 55s
Extend pointer encoding Run ScalaTest #2875: Pull request #1277 synchronize by superaxander
November 22, 2024 14:00 3s pointer-extension
pointer-extension
November 22, 2024 14:00 3s
Use underlyingPath where available in SilverToCol (needs proper fix) Run ScalaTest #2874: Commit b5e997d pushed by superaxander
November 22, 2024 14:00 24m 26s pointer-extension
pointer-extension
November 22, 2024 14:00 24m 26s