Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: SynthesisLab/grape

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

implemented is tree like Pytest #39: Commit 1d5b1e6 pushed by Theomat
52s main
main
52s
cache string representation Pytest #38: Commit 928414a pushed by Theomat
51s main
main
51s
gives the number of symbols Pytest #37: Commit e4fcdc5 pushed by Theomat
1m 9s main
main
1m 9s
additional skipping Pytest #36: Commit 08e18f4 pushed by Theomat
55s main
main
55s
offer tqdm when adding loops Pytest #35: Commit 6718d2e pushed by Theomat
1m 2s main
main
1m 2s
fixed issues with different types Pytest #34: Commit 617091b pushed by Theomat
1m 0s main
main
1m 0s
fix incorrect none detection Pytest #33: Commit f2c880b pushed by Theomat
27s main
main
27s
fixed pip install link Pytest #32: Commit a6fbcf1 pushed by Theomat
26s main
main
26s
fixed undefined variable with strategy = none Pytest #31: Commit 7ed5eb6 pushed by Theomat
46s main
main
46s
implemented alternative graping algorithm Pytest #30: Commit 36f8ba3 pushed by Theomat
51s main
main
51s
removed useless loop Pytest #29: Commit 2be67e6 pushed by Theomat
19s main
main
19s
fixed incorrect saturation condition Pytest #28: Commit ca0588e pushed by Theomat
25s main
main
25s
minimisation + renaming Pytest #27: Commit 7ce7769 pushed by Theomat
16s main
main
16s
fixed tests Pytest #26: Commit 51088cc pushed by Theomat
20s main
main
20s
fix test Pytest #25: Commit d1165a0 pushed by Theomat
20s main
main
20s
added grape files Pytest #24: Commit 7345fe8 pushed by Theomat
16m 29s main
main
16m 29s
Fix typos in README.md Pytest #23: Commit fd21081 pushed by nathanael-fijalkow
16m 37s main
main
16m 37s
Reformulations and typo fixes Pytest #22: Commit 7faf961 pushed by nathanael-fijalkow
16m 10s main
main
16m 10s
removed debug print Pytest #21: Commit 384d811 pushed by Theomat
16m 37s main
main
16m 37s
working loop manager for single type Pytest #20: Commit 71357d8 pushed by Theomat
16m 27s main
main
16m 27s
some refactoring Pytest #19: Commit 8b7d318 pushed by Theomat
13s main
main
13s
test for spec manager Pytest #18: Commit 80031ce pushed by Theomat
12s main
main
12s
tests + fixed unreachable states left in intersection Pytest #17: Commit e56e7e7 pushed by Theomat
16s main
main
16s
added feature to get equivalence classes Pytest #16: Commit bee92e8 pushed by Theomat
15s main
main
15s
fix buggy assert Pytest #15: Commit 0e1309f pushed by Theomat
15s main
main
15s