Codestin Search App

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

16 workflow runs

16 workflow runs

Remove the non_tuple flag for the variables Build #356: Commit f71d0d7 pushed by FardaleM

6m 17s remove_non_tuple_var

remove_non_tuple_var

6m 17s

add comments in Syntactic.mli Build #355: Commit 5162b30 pushed by FardaleM

3m 44s master

master

3m 44s

adapt for ocaml 5.3 Build #354: Commit 2356cad pushed by FardaleM

6m 14s master

master

6m 14s

fix: in Syntactic.non_proper make all cases uniform Build #353: Commit 90592b5 pushed by FardaleM

7m 2s master

master

7m 2s

feat: Use Tuple.Partial in AC. Build #352: Commit f155ef9 pushed by FardaleM

8m 4s tuple

tuple

8m 4s

feat: easy bug reproduction Build #351: Commit 5c46ffb pushed by FardaleM

6m 47s tuple_multiset

tuple_multiset

6m 47s

Feat: New stat folder for the tools to make stat on dowsing Build #350: Commit 44c921b pushed by FardaleM

5m 36s master

master

5m 36s

Misc printing improvement. Build #349: Commit 0daa70d pushed by Drup

3m 5s type_aliases

type_aliases

3m 5s

Misc printing improvement. Build #348: Commit 8c3ece1 pushed by Drup

3m 51s type_aliases

type_aliases

3m 51s

fix: adapt bench/bench.ml to the new API Build #347: Commit e1e2f4d pushed by FardaleM

3m 32s master

master

3m 32s

WIP Automorphisms Build #346: Commit 066a248 pushed by Drup

3m 8s automorphism

automorphism

3m 8s

Small API cleanup. Build #345: Commit a9d2e86 pushed by Drup

3m 10s no_ranges

no_ranges

3m 10s

feat: add bench a utility Build #344: Commit a2cd261 pushed by FardaleM

4m 16s master

master

4m 16s

chore: use the newly introduced Db.Feature.compatible Build #343: Commit 617cbeb pushed by FardaleM

3m 36s master

master

3m 36s

Actually use the hints for Matching. Build #342: Commit e2d94ea pushed by FardaleM

3m 49s master

master

3m 49s

feat: improve the Arrow solver. Build #341: Commit 76380fd pushed by FardaleM

8m 48s master

master

8m 48s