Skip to content

Pull requests: conjure-cp/conjure-oxide

New pull request New
53 Open 1,027 Closed
53 Open 1,027 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(SAT): Order summation rule
#1678 opened Mar 21, 2026 by Shikhar-Srivastava-16 • Draft
1
build(deps-dev): bump flatted from 3.3.3 to 3.4.2 dependencies Automated pull requests that update dependencies. javascript Pull requests that update javascript code
#1677 opened Mar 21, 2026 by dependabot bot Loading…
feat(testing): Adding option to use default config when running integration tests
#1675 opened Mar 20, 2026 by Shikhar-Srivastava-16 • Draft
2
test(rountrip): Enable param files for roundtrip testing and add more error conjure test files
#1673 opened Mar 20, 2026 by Soph1514 Loading…
@Soph1514
9
build(deps): bump the all group across 1 directory with 8 updates dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1671 opened Mar 19, 2026 by dependabot bot Loading…
@ozgurakgun
2
fix: Update readmes
#1661 opened Mar 18, 2026 by HKhan-5 • Draft
3
test(SAT): Enabling log for all passing integration tests
#1659 opened Mar 17, 2026 by hecent • Draft
2
feat(SAT): toInt for log encodings area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
#1658 opened Mar 17, 2026 by hecent Loading…
@hecent
2
feat(SAT): Implementing allDiff for log encodings area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
#1656 opened Mar 17, 2026 by hecent Loading…
@hecent
2
feat(solver): add SavileRow solver adaptor stub
#1654 opened Mar 16, 2026 by AlexFaquet • Draft
build(deps): bump rust-toolchain from 1.93.1 to 1.94.0 in the all group dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1647 opened Mar 16, 2026 by dependabot bot Loading…
@ozgurakgun
Feat/direct/product
#1644 opened Mar 14, 2026 by YehorBoiar • Draft
5
feat: Add ExpressionGenerator qualifier
#1637 opened Mar 13, 2026 by EdwardTheLegend • Draft
@EdwardTheLegend @kbaatz
2
feat(parser): add declaration spans to hover information
#1635 opened Mar 12, 2026 by leiamcalisteryoung • Draft
1
8
feat(parser): add factorial to the native parser and model
#1634 opened Mar 12, 2026 by leiamcalisteryoung Loading…
1
10
chore(parser): run passing integration tests with tree-sitter parser and loosen type checking
#1627 opened Mar 11, 2026 by leiamcalisteryoung Loading…
4
feat: Added rustsat and z3 constraint dominance programming solving capabilities
#1619 opened Mar 11, 2026 by TronciuVlad Loading…
5
feat: change domain length() to i32
#1599 opened Mar 8, 2026 by ND65StA Loading…
1
@ND65StA
12
feat(frontend): Add fuzz testing for error detection
#1598 opened Mar 6, 2026 by chococara-exe Loading…
1
@chococara-exe
11
feat: callback tests for incrementally adding constraints to models (draft)
#1572 opened Feb 27, 2026 by TronciuVlad • Draft
1
feat(domain_of): tightening function expression domains
#1551 opened Feb 24, 2026 by ND65StA • Draft
1
@ND65StA
2
feat(domain_of): implement attributes of union and intersect domains
#1547 opened Feb 21, 2026 by ca1umac • Draft
1
@ca1umac
3
feat(SAT): implement negation -a for order encoding
#1536 opened Feb 19, 2026 by Andrew-Mullan Loading…
1
12
Documentation: Using the Conjure Testing Setup
#1534 opened Feb 18, 2026 by Shikhar-Srivastava-16 • Draft
@Shikhar-Srivastava-16 @WillTheBigCodeMan
1
refactor(metadata): Remove cleanliness tracking from metadata.
#1528 opened Feb 17, 2026 by Arnav-Bista • Draft
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.