Skip to content

Actions: WebVOWL/sovs-parser

Actions

Clippy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clippy.yml
23 workflow runs
23 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 positive test for multiple components Clippy #23: Commit e5e3596 pushed by TheMagzuz
44s main
main
44s
add isomorphism test for different sets of mapped node properties Clippy #22: Commit 1f86295 pushed by TheMagzuz
43s main
main
43s
add isomorphism checking on mapped properties like equivalentTo Clippy #21: Commit 508360a pushed by TheMagzuz
44s main
main
44s
add isomorphism checking on mapped properties like equivalentTo Clippy #20: Commit 2018e5a pushed by TheMagzuz
41s main
main
41s
add text to inverse properties test Clippy #19: Commit 1ca27b2 pushed by TheMagzuz
42s main
main
42s
remove thing text from test cases Clippy #18: Commit 037162f pushed by TheMagzuz
38s main
main
38s
remove subclass of text from and.sovs Clippy #17: Commit a7bc94f pushed by TheMagzuz
47s main
main
47s
move isomorphism tests Clippy #16: Commit bc8bb73 pushed by TheMagzuz
44s main
main
44s
make property matching case insensitive in isomorphism Clippy #15: Commit abbcc9a pushed by TheMagzuz
41s main
main
41s
add more test cases Clippy #14: Commit 892958c pushed by TheMagzuz
41s main
main
41s
fix and test case Clippy #13: Commit 27d5b89 pushed by TheMagzuz
42s main
main
42s
use VF2 instead of reduction to Boolean systems Clippy #12: Commit 55b31aa pushed by TheMagzuz
47s main
main
47s
include debug info in benches Clippy #11: Commit 6363b37 pushed by TheMagzuz
53s main
main
53s
make isomorphism work with multiple components Clippy #10: Commit fbd8f21 pushed by TheMagzuz
40s main
main
40s
make isomorphism work with multiple components Clippy #9: Commit 5c1186e pushed by TheMagzuz
38s main
main
38s
make isomorphism work with multiple components Clippy #8: Commit 5ef7d24 pushed by TheMagzuz
48s main
main
48s
only declare test_suite module when its feature is active Clippy #7: Commit f86adff pushed by TheMagzuz
38s main
main
38s
make include_dir optional Clippy #6: Commit 93a09bb pushed by TheMagzuz
36s main
main
36s
make properties a bit more ergonomic Clippy #5: Commit 286827f pushed by TheMagzuz
48s main
main
48s
add support for test cases Clippy #4: Commit b8ce4ed pushed by TheMagzuz
52s main
main
52s
implement isomorphism Clippy #3: Commit 7af82d6 pushed by TheMagzuz
35s main
main
35s
add builder Clippy #2: Commit a7e0cfd pushed by TheMagzuz
3m 6s main
main
3m 6s
initial commit Clippy #1: Commit ee6964b pushed by TheMagzuz
31s main
main
31s