Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / potassco/clingo-rs issues and pull requests
#68 - Update thiserror requirement from 1.0 to 2.0
Pull Request -
State: open - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#67 - Fix some typos
Pull Request -
State: closed - Opened by sthiele about 1 year ago
#66 - ast example fails to compile
Issue -
State: closed - Opened by llaisdy about 1 year ago
- 2 comments
#65 - Next
Pull Request -
State: closed - Opened by sthiele over 1 year ago
#64 - Fix CI
Pull Request -
State: closed - Opened by sthiele over 1 year ago
#63 - St/wip
Pull Request -
State: closed - Opened by sthiele over 1 year ago
#62 - Call c api with correct type for comparison operator
Pull Request -
State: closed - Opened by sthiele over 1 year ago
#61 - clingo-rs versions 0.7.x unable to locate libclingo
Issue -
State: closed - Opened by EWurbel over 1 year ago
- 2 comments
Labels: question
#60 - V0.7.3
Pull Request -
State: closed - Opened by sthiele over 1 year ago
#59 - Add SolveHandleMutRef.
Pull Request -
State: closed - Opened by drwadu over 1 year ago
#58 - Solve with mut ref to Control object
Issue -
State: closed - Opened by drwadu over 1 year ago
- 5 comments
#57 - Update bitflags requirement from 1.2 to 2.2
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#56 - Update bitflags requirement from 1.2 to 2.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#55 - Update test-case requirement from 1.1 to 3.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#54 - Update bitflags requirement from 1.2 to 2.0
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#53 - Update test-case requirement from 1.1 to 3.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#52 - Update test-case requirement from 1.1 to 2.2
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#51 - Translating ">=" to a GreaterThan instead of GreaterEqual
Issue -
State: closed - Opened by ZachJHansen over 2 years ago
- 3 comments
#50 - Update test-case requirement from 1.1 to 2.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#49 - Question about clingo::parse_program_with_logger function
Issue -
State: closed - Opened by ZachJHansen almost 3 years ago
#48 - Update test-case requirement from 1.1 to 2.0
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#47 - Update to clingo-5.5.1
Pull Request -
State: closed - Opened by sthiele about 3 years ago
#46 - Refactor Logger, Propagator ... into ControlCtx
Pull Request -
State: closed - Opened by sthiele about 3 years ago
#45 - St/wip
Pull Request -
State: closed - Opened by sthiele over 3 years ago
#44 - Has anybody ever considered implementing a `Control` type that can safely be shared between threads?
Issue -
State: closed - Opened by drwadu over 3 years ago
- 1 comment
Labels: question
#43 - Add new rule that does not introduce new Atoms
Issue -
State: closed - Opened by drwadu over 3 years ago
- 1 comment
#42 - use Box<dyn Iterator<Item = (Symbol, TheoryValue)> + 'a>
Pull Request -
State: closed - Opened by sthiele almost 4 years ago
#41 - St/next
Pull Request -
State: closed - Opened by sthiele almost 4 years ago
#40 - make register and prepare generic
Pull Request -
State: closed - Opened by sthiele almost 4 years ago
#38 - St/gh
Pull Request -
State: closed - Opened by sthiele almost 4 years ago
#37 - St/callbacks
Pull Request -
State: closed - Opened by sthiele almost 4 years ago
#36 - Theory trait
Pull Request -
State: closed - Opened by sthiele about 4 years ago
#35 - Update rand requirement from 0.7 to 0.8
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#34 - More idiomatic timeout in `SolveHandle::wait`
Pull Request -
State: closed - Opened by MalteT about 4 years ago
#33 - Add information about timeout
Issue -
State: open - Opened by MalteT about 4 years ago
- 6 comments
#32 - Update clingo-sys requirement from 0.5.1 to 0.6.0
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#31 - clippy
Pull Request -
State: closed - Opened by sthiele over 4 years ago
#30 - Linking
Pull Request -
State: closed - Opened by sthiele over 4 years ago
#29 - impl Drop for SolveHandle?
Issue -
State: closed - Opened by samuelpilz about 5 years ago
- 13 comments
Labels: enhancement
#28 - Error on Windows
Issue -
State: closed - Opened by d4hines about 5 years ago
- 19 comments
#27 - Assign external variables
Issue -
State: closed - Opened by samuelpilz about 5 years ago
- 2 comments
Labels: question
#26 - Plans for the next release?
Issue -
State: closed - Opened by pluehne about 5 years ago
- 2 comments
Labels: question
#25 - Fix optional fields
Pull Request -
State: closed - Opened by pluehne about 5 years ago
- 1 comment
#24 - Properly represent head literal variant
Pull Request -
State: closed - Opened by pluehne about 5 years ago
- 2 comments
#23 - Add support for comparing signs
Pull Request -
State: closed - Opened by pluehne about 5 years ago
- 2 comments
#22 - Remove 3.0.1 release tag?
Issue -
State: closed - Opened by pluehne about 5 years ago
- 2 comments
#21 - Fix warning in example
Pull Request -
State: closed - Opened by pluehne about 5 years ago
- 1 comment
#20 - Fix typo in head literal variant
Pull Request -
State: closed - Opened by pluehne about 5 years ago
- 1 comment
#19 - Added associated type to `FromSymbol`
Pull Request -
State: closed - Opened by peacememories about 5 years ago
- 2 comments
#18 - Added number conversions to `FromSymbol`
Pull Request -
State: closed - Opened by peacememories about 5 years ago
- 1 comment
#17 - Make `FromSymbol` public.
Pull Request -
State: closed - Opened by peacememories about 5 years ago
- 1 comment
#16 - Feature flag for parallel clingo build
Pull Request -
State: closed - Opened by samuelpilz about 5 years ago
- 5 comments
#15 - Consider adding error type or error variant for unrecognized Symbol
Issue -
State: closed - Opened by peacememories about 5 years ago
- 11 comments
#14 - Add `FromSymbol` trait
Pull Request -
State: closed - Opened by peacememories about 5 years ago
- 3 comments
#13 - Return `&'static str` instead of `&str` in `Symbol` functions
Issue -
State: closed - Opened by peacememories about 5 years ago
- 4 comments
Labels: enhancement
#12 - Creating `Atom`s
Issue -
State: closed - Opened by peacememories about 5 years ago
- 4 comments
Labels: question
#11 - prepare version 0.6.0
Pull Request -
State: closed - Opened by sthiele over 5 years ago
#10 - Use thiserror instead of failure
Issue -
State: closed - Opened by sthiele over 5 years ago
- 1 comment
#8 - Dynlib
Pull Request -
State: closed - Opened by sthiele over 5 years ago
#6 - Clingo 5.3.0
Pull Request -
State: closed - Opened by sthiele about 6 years ago
#5 - Add SolveEventType Statistics
Pull Request -
State: closed - Opened by marcprux about 6 years ago
- 1 comment
#4 - Update toolchain
Pull Request -
State: closed - Opened by aurelien-naldi about 6 years ago
#3 - building with stable rust instead of nightly
Issue -
State: closed - Opened by aurelien-naldi about 6 years ago
- 3 comments
#2 - Experiment
Pull Request -
State: closed - Opened by sthiele over 7 years ago
#1 - Create LICENSE.md
Pull Request -
State: closed - Opened by sthiele almost 8 years ago