Ecosyste.ms: Issues

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

GitHub / xoolive/facile issues and pull requests

#29 - Bump snok/install-poetry from 1.4.0 to 1.4.1

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, github_actions

#28 - Bump snok/install-poetry from 1.3.4 to 1.4.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, github_actions

#27 - Bump ocaml/setup-ocaml from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, github_actions

#26 - Bump webfactory/ssh-agent from 0.5.3 to 0.9.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#25 - Bump actions/upload-artifact from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#24 - Bump actions/checkout from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#23 - Bump snok/install-poetry from 1.1.6 to 1.3.4

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#22 - Bump actions/setup-python from 2 to 5

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, github_actions

#21 - ocaml5, cython3, build with dune, and refactoring

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

#20 - Comprehensive build release

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

#19 - Bump black from 22.10.0 to 24.3.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: dependencies

#18 - Some variables remain unassigned when using `Goals.forall`

Issue - State: closed - Opened by xoolive about 2 years ago - 1 comment

#17 - Attempt Windows build

Pull Request - State: closed - Opened by xoolive over 3 years ago

#16 - Segfault on facile.variable

Issue - State: closed - Opened by xoolive about 8 years ago - 1 comment

#15 - Proper Goal interface

Issue - State: closed - Opened by xoolive about 8 years ago

#14 - Unified interface for resolution

Issue - State: closed - Opened by xoolive about 9 years ago - 1 comment

#13 - Two-(and more) dimension facile.array

Issue - State: closed - Opened by xoolive about 9 years ago - 1 comment

#12 - Uncaught Fcl_stak.fail index out of bound

Issue - State: closed - Opened by xoolive about 9 years ago - 1 comment

#11 - Automatic unravelling of variables array upon solve/minimize?

Issue - State: closed - Opened by xoolive about 9 years ago - 2 comments

#10 - Prevent users to call constructors on facile wrapping classes

Issue - State: closed - Opened by xoolive about 9 years ago - 5 comments

#9 - Better `SyntaxError` for __bool__ or __nonzero__ on constraints

Issue - State: closed - Opened by xoolive about 9 years ago - 2 comments

#8 - Missing __not__ operator on constraints

Issue - State: closed - Opened by xoolive about 9 years ago

#7 - Segmentation fault on facile.alldifferent over a facile.array

Issue - State: closed - Opened by xoolive about 9 years ago

#6 - Consider supporting some operators on Arrays

Issue - State: closed - Opened by xoolive about 9 years ago

#5 - facile.solve(p) segfaults if p is an iterable of the wrong type

Issue - State: closed - Opened by xoolive about 9 years ago - 1 comment

#4 - Missing auto reification for some operators

Issue - State: closed - Opened by xoolive over 9 years ago

#3 - The expression in `facile.minimize` may be of type Variable

Issue - State: closed - Opened by xoolive over 9 years ago

#2 - More explicit error message for constraint disjunction type error

Issue - State: closed - Opened by xoolive about 10 years ago

#1 - Exception to pass through to Python

Issue - State: closed - Opened by xoolive about 10 years ago