Skip to content

Actions: AeneasVerif/eurydice

Actions

Build Eurydice and run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yaml
57 workflow run results
57 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement dictionary-passing style. Numerous tiny refactors Build Eurydice and run tests #57: Commit 559fde5 pushed by msprotz
May 13, 2024 19:55 1m 50s protz_trait_clauses
protz_trait_clauses
May 13, 2024 19:55 1m 50s
WIP: extend binding logic to handle clause method binders Build Eurydice and run tests #56: Commit 5bced73 pushed by msprotz
May 13, 2024 17:17 2m 15s protz_trait_clauses
protz_trait_clauses
May 13, 2024 17:17 2m 15s
More regularity in the binding structure. Build Eurydice and run tests #55: Commit d7d40e5 pushed by msprotz
May 13, 2024 14:47 2m 6s protz_trait_clauses
protz_trait_clauses
May 13, 2024 14:47 2m 6s
Further improvements + build fix Build Eurydice and run tests #54: Commit 4bc3e41 pushed by msprotz
May 9, 2024 18:35 13m 9s main
main
May 9, 2024 18:35 13m 9s
Hardcode a width since it's for debugging only Build Eurydice and run tests #53: Commit 94eb31d pushed by msprotz
April 30, 2024 18:36 2m 38s main
main
April 30, 2024 18:36 2m 38s
nix magic Build Eurydice and run tests #52: Commit 6760347 pushed by msprotz
April 25, 2024 02:17 2m 54s main
main
April 25, 2024 02:17 2m 54s
Fix CI, hopefully Build Eurydice and run tests #51: Commit 7b58ddc pushed by msprotz
April 24, 2024 22:14 2m 35s main
main
April 24, 2024 22:14 2m 35s
make nix-magic Build Eurydice and run tests #50: Commit 8534d42 pushed by msprotz
April 24, 2024 18:06 13m 7s main
main
April 24, 2024 18:06 13m 7s
Enable extern "C" { ... for generated files too. Build Eurydice and run tests #49: Commit 42e835c pushed by msprotz
April 24, 2024 17:44 3m 5s main
main
April 24, 2024 17:44 3m 5s
Merge pull request #9 from AeneasVerif/protz_extern_c Build Eurydice and run tests #48: Commit 119051b pushed by msprotz
April 23, 2024 23:10 2m 4s main
main
April 23, 2024 23:10 2m 4s
make the eurydice glue header includable from C++ Build Eurydice and run tests #47: Pull request #9 opened by msprotz
April 23, 2024 22:53 1m 54s protz_extern_c
protz_extern_c
April 23, 2024 22:53 1m 54s
make the eurydice glue header includable from C++ Build Eurydice and run tests #46: Commit 48910e1 pushed by msprotz
April 23, 2024 22:52 1m 52s protz_extern_c
protz_extern_c
April 23, 2024 22:52 1m 52s
ci: use charon#138 to fix the CI Build Eurydice and run tests #45: Pull request #8 opened by Nadrieril
April 22, 2024 15:07 5m 16s fix-charon-ci
fix-charon-ci
April 22, 2024 15:07 5m 16s
ci: use charon#138 to fix the CI Build Eurydice and run tests #44: Commit d49b61f pushed by Nadrieril
April 22, 2024 15:05 5m 37s fix-charon-ci
fix-charon-ci
April 22, 2024 15:05 5m 37s
nix voodoo Build Eurydice and run tests #43: Commit f2fd840 pushed by msprotz
April 19, 2024 16:37 3m 40s main
main
April 19, 2024 16:37 3m 40s
A local micro-optimization to eliminate temporaries at the end of Build Eurydice and run tests #42: Commit 1f76827 pushed by msprotz
April 19, 2024 15:55 1m 7s main
main
April 19, 2024 15:55 1m 7s
a note Build Eurydice and run tests #41: Commit 9dcd87d pushed by msprotz
April 18, 2024 21:56 2m 29s main
main
April 18, 2024 21:56 2m 29s
Don't error out if a replacement is unused Build Eurydice and run tests #40: Commit b74f916 pushed by msprotz
April 17, 2024 16:11 2m 29s main
main
April 17, 2024 16:11 2m 29s
Add a builtin definition of unwrap while we wait for Charon to be abl… Build Eurydice and run tests #39: Commit 83de43b pushed by msprotz
April 17, 2024 00:08 2m 0s main
main
April 17, 2024 00:08 2m 0s
Make various parts agree on how external calls are treated Build Eurydice and run tests #38: Commit 95ddc68 pushed by msprotz
April 10, 2024 21:18 10m 33s main
main
April 10, 2024 21:18 10m 33s
Myriad of small things Build Eurydice and run tests #37: Commit 95f0615 pushed by msprotz
April 8, 2024 18:23 3m 2s protz_runtime_generics
protz_runtime_generics
April 8, 2024 18:23 3m 2s
Couple more fixes from Franziskus -- thanks Build Eurydice and run tests #36: Commit 05e3cd4 pushed by msprotz
March 23, 2024 14:31 1m 56s main
main
March 23, 2024 14:31 1m 56s
nix Build Eurydice and run tests #35: Commit 0778b63 pushed by msprotz
March 21, 2024 03:59 11m 40s main
main
March 21, 2024 03:59 11m 40s
Fix tests (thanks @sonmarcho) Build Eurydice and run tests #34: Commit 6b07ed6 pushed by msprotz
March 21, 2024 03:54 2m 53s main
main
March 21, 2024 03:54 2m 53s
Update flake Build Eurydice and run tests #33: Commit ce71677 pushed by msprotz
February 23, 2024 01:54 2m 27s main
main
February 23, 2024 01:54 2m 27s