Skip to content

Actions: WebVOWL/sovs-parser

Actions

Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
27 workflow runs
27 workflow runs

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
add documentation Format #27: Commit f6d96d7 pushed by TheMagzuz
22s main
main
22s
add readme Format #26: Commit be22eeb pushed by TheMagzuz
18s main
main
18s
add readme Format #25: Commit 2335e55 pushed by TheMagzuz
24s main
main
24s
Create LICENSE Format #24: Commit a5ba515 pushed by TheMagzuz
22s main
main
22s
add positive test for multiple components Format #23: Commit e5e3596 pushed by TheMagzuz
18s main
main
18s
add isomorphism test for different sets of mapped node properties Format #22: Commit 1f86295 pushed by TheMagzuz
16s main
main
16s
add isomorphism checking on mapped properties like equivalentTo Format #21: Commit 508360a pushed by TheMagzuz
16s main
main
16s
add isomorphism checking on mapped properties like equivalentTo Format #20: Commit 2018e5a pushed by TheMagzuz
20s main
main
20s
add text to inverse properties test Format #19: Commit 1ca27b2 pushed by TheMagzuz
25s main
main
25s
remove thing text from test cases Format #18: Commit 037162f pushed by TheMagzuz
19s main
main
19s
remove subclass of text from and.sovs Format #17: Commit a7bc94f pushed by TheMagzuz
22s main
main
22s
move isomorphism tests Format #16: Commit bc8bb73 pushed by TheMagzuz
16s main
main
16s
make property matching case insensitive in isomorphism Format #15: Commit abbcc9a pushed by TheMagzuz
18s main
main
18s
add more test cases Format #14: Commit 892958c pushed by TheMagzuz
16s main
main
16s
fix and test case Format #13: Commit 27d5b89 pushed by TheMagzuz
20s main
main
20s
use VF2 instead of reduction to Boolean systems Format #12: Commit 55b31aa pushed by TheMagzuz
28s main
main
28s
include debug info in benches Format #11: Commit 6363b37 pushed by TheMagzuz
22s main
main
22s
make isomorphism work with multiple components Format #10: Commit fbd8f21 pushed by TheMagzuz
34s main
main
34s
make isomorphism work with multiple components Format #9: Commit 5c1186e pushed by TheMagzuz
19s main
main
19s
make isomorphism work with multiple components Format #8: Commit 5ef7d24 pushed by TheMagzuz
22s main
main
22s
only declare test_suite module when its feature is active Format #7: Commit f86adff pushed by TheMagzuz
18s main
main
18s
make include_dir optional Format #6: Commit 93a09bb pushed by TheMagzuz
33s main
main
33s
make properties a bit more ergonomic Format #5: Commit 286827f pushed by TheMagzuz
28s main
main
28s
add support for test cases Format #4: Commit b8ce4ed pushed by TheMagzuz
22s main
main
22s
implement isomorphism Format #3: Commit 7af82d6 pushed by TheMagzuz
21s main
main
21s