Skip to content

Actions: MERCorg/mCRL2-sys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Added resize_is_needed. Test #39: Commit 6302f19 pushed by mlaveaux
4m 25s main
main
4m 25s
Added various PBES preprocessing steps Test #38: Commit e345835 pushed by mlaveaux
3m 12s main
main
3m 12s
Ensure that garbage collection is properly triggered. Disabling the f… Test #37: Commit 7b1aded pushed by mlaveaux
3m 59s main
main
3m 59s
Added several regression tests for this crate Test #36: Commit f49c83c pushed by mlaveaux
4m 22s main
main
4m 22s
Added a PBES clone method Test #35: Commit 290c86f pushed by mlaveaux
3m 53s main
main
3m 53s
Removed some duplicated accessors after rebasing Test #34: Commit 4e01fe2 pushed by mlaveaux
4m 12s main
main
4m 12s
Added a small rewriting example. Test #33: Commit 3944698 pushed by mlaveaux
1m 30s main
main
1m 30s
Applied upstream fixes. Test #32: Commit 0372675 pushed by mlaveaux
3m 47s main
main
3m 47s
Updated upstream Test #31: Commit 222e1a9 pushed by mlaveaux
5m 8s main
main
5m 8s
Added various accessor functions for PBES and data expressions Test #30: Commit 212bb68 pushed by mlaveaux
3m 38s main
main
3m 38s
Removed a function that had no implementation Test #29: Commit ffbff64 pushed by mlaveaux
3m 37s main
main
3m 37s
Added lps.cpp to the build file Test #28: Commit eafc718 pushed by mlaveaux
6m 3s main
main
6m 3s
Updated Rust dependencies Test #27: Commit 8b09ac4 pushed by mlaveaux
4m 8s main
main
4m 8s
Fixed upstream issue, and updated the stategraph. Test #26: Commit f7b05ac pushed by mlaveaux
3m 18s main
main
3m 18s
Updated upstream Test #25: Commit 3c8741d pushed by mlaveaux
3m 28s main
main
3m 28s
Added missing source file Test #24: Commit 64f3a30 pushed by mlaveaux
4m 31s main
main
4m 31s
Added the ability to disable resizing Test #23: Commit 0eec169 pushed by mlaveaux
3m 59s main
main
3m 59s
Rewrite the initial state as well Test #22: Commit 289deee pushed by mlaveaux
3m 29s main
main
3m 29s
Added replace_constants_by_variables to the preprocessing Test #21: Commit b461ae8 pushed by mlaveaux
3m 19s main
main
3m 19s
Added function for the initial_state of an SRF pbes. Test #20: Commit 11b7f05 pushed by mlaveaux
10m 57s main
main
10m 57s
Added various access functions for PBES Test #19: Commit c279570 pushed by mlaveaux
3m 9s main
main
3m 9s
Added a constructor for the tau multi-action Test #18: Commit 5b6f5f1 pushed by mlaveaux
3m 2s main
main
3m 2s
Allow setting the assignments separately. Test #17: Commit 75a54e3 pushed by mlaveaux
3m 30s main
main
3m 30s
Expose the aterm integer, and pretty printing for sort expressions Test #16: Commit 8ebabee pushed by mlaveaux
4m 7s main
main
4m 7s
Also rewrite the multi_action in enumerate Test #15: Commit b652ad3 pushed by mlaveaux
3m 42s main
main
3m 42s