Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / drup/dowsing issues and pull requests

#30 - Possible improvement

Issue - State: open - Opened by FardaleM 2 months ago

#29 - Fix non proper equations

Pull Request - State: closed - Opened by FardaleM 3 months ago

#28 - Simplify the handling of quasi solve equation

Pull Request - State: closed - Opened by FardaleM 3 months ago

#27 - Incremental solution

Pull Request - State: closed - Opened by FardaleM 4 months ago

#26 - Dioph decomposition

Pull Request - State: closed - Opened by FardaleM 7 months ago - 1 comment

#25 - Add tracing

Pull Request - State: closed - Opened by FardaleM 9 months ago

#24 - Revert "bugfix"

Pull Request - State: closed - Opened by FardaleM 10 months ago

#23 - fix: Bitv and large_enough

Pull Request - State: closed - Opened by FardaleM 11 months ago

#22 - fix(Bitv): fix the is_subset function

Pull Request - State: closed - Opened by FardaleM 11 months ago

#21 - fix: add missing dependencies

Pull Request - State: closed - Opened by FardaleM 11 months ago

#20 - Benchmarking

Issue - State: open - Opened by FardaleM 11 months ago

#17 - Protect unmarshalling with a magic number.

Issue - State: open - Opened by FardaleM 11 months ago

#16 - Small fixes and make the project compile with ocaml 5.1

Pull Request - State: closed - Opened by FardaleM 12 months ago - 2 comments

#15 - Update opam and fix build

Pull Request - State: closed - Opened by smuenzel over 1 year ago - 2 comments

#14 - The Stdlib packed module isn't shown

Issue - State: closed - Opened by kit-ty-kate about 3 years ago - 1 comment

#13 - Filter out modules with double underscores

Issue - State: closed - Opened by kit-ty-kate about 3 years ago - 2 comments

#12 - dowsindex save fails with "uncaught exception: IndexTypes.Bad_format"

Issue - State: closed - Opened by kit-ty-kate about 3 years ago - 4 comments

#11 - Relax the constraints on containers

Pull Request - State: closed - Opened by kit-ty-kate about 3 years ago - 2 comments

#10 - Boucle unification

Issue - State: closed - Opened by clef-men over 3 years ago - 1 comment

#9 - Investigate performances of unification

Issue - State: open - Opened by Drup over 3 years ago

#8 - Défaillance de l'axiome (Ass-0)

Issue - State: open - Opened by clef-men over 3 years ago

#7 - Unification invalide

Issue - State: closed - Opened by clef-men over 3 years ago - 1 comment

#6 - Boucle unification

Issue - State: closed - Opened by clef-men over 3 years ago - 1 comment

#5 - Défaillance (Ass-0)

Issue - State: closed - Opened by clef-men over 3 years ago

#4 - Refine unifiers

Issue - State: open - Opened by Drup over 3 years ago

#3 - TODO List

Issue - State: open - Opened by Drup almost 4 years ago - 1 comment

#2 - Wip: repair hullot

Pull Request - State: closed - Opened by c-cube almost 4 years ago

#1 - Database format / Serialization

Issue - State: closed - Opened by UnixJunkie over 7 years ago - 1 comment