Skip to content

Actions: MERCorg/mCRL2-sys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
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
This stop removes the assignment of don't cares Test #14: Commit 6e9d394 pushed by mlaveaux
3m 10s main
main
3m 10s
Fixed compilation issue Test #13: Commit c1c9892 pushed by mlaveaux
3m 45s main
main
3m 45s
Added the empty list and list constructors Test #12: Commit b351a5a pushed by mlaveaux
3m 12s main
main
3m 12s
Avoid allocating values, and actually reset it between iterations. Test #11: Commit b0cedc4 pushed by mlaveaux
3m 32s main
main
3m 32s
Updated upstream Test #10: Commit b7046a0 pushed by mlaveaux
3m 49s main
main
3m 49s
Expose the enumeration functions in the sys crate Test #9: Commit 1bdfb19 pushed by mlaveaux
4m 31s main
main
4m 31s
Extended the LPS interface Test #8: Commit 48a6810 pushed by mlaveaux
3m 53s main
main
3m 53s
Updated dependencies Test #7: Commit 3131435 pushed by mlaveaux
3m 36s main
main
3m 36s
Updated upstream Test #6: Commit 12cb557 pushed by mlaveaux
3m 9s main
main
3m 9s
Added recognizers for the various abstraction binders. Test #5: Commit 760223f pushed by mlaveaux
3m 10s main
main
3m 10s