Skip to content

Pull requests: conjure-cp/conjure-oxide

New pull request New
51 Open 1,214 Closed
51 Open 1,214 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

build(deps): bump the all group with 14 updates dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1913 opened Jul 22, 2026 by dependabot Bot Loading…
@ozgurakgun
build(deps): bump rust-toolchain from 1.97.0 to 1.97.1 in the all group dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1912 opened Jul 22, 2026 by dependabot Bot Loading…
@ozgurakgun
feat(): Nix integration
#1907 opened Jul 14, 2026 by Shikhar-Srivastava-16 Contributor • Draft
@Shikhar-Srivastava-16
10
feat(minion,rewriter): add many new test cases, fix minion issues, improve rewriting speed skip-vale
#1893 opened Jun 25, 2026 by ozgurakgun Contributor Loading…
@ozgurakgun
2
feat(test): Changed testing system to allow more granular checks skip-vale
#1876 opened Jun 12, 2026 by Shikhar-Srivastava-16 Contributor Loading…
1
@Shikhar-Srivastava-16
23
DONOTMERGE: benchmarking framework early proof of concept
#1871 opened Jun 7, 2026 by niklasdewally Member • Draft
@niklasdewally
6
feat(set): Intersect horizontal set rule
#1855 opened May 25, 2026 by kbaatz • Draft
@kbaatz
2
feat(deploy-lsp): deploy the LSP to the VSCode Marketplace
#1854 opened May 25, 2026 by a-nosnitram Contributor • Draft
@a-nosnitram
1
feat(source map): more population for hover info
#1852 opened May 25, 2026 by a-nosnitram Contributor Loading…
1
@a-nosnitram
2
docs(test): fuzz testing documentation
#1849 opened May 25, 2026 by chococara-exe Contributor Loading…
@chococara-exe
6
feat(SAT): toInt for order encoding
#1846 opened May 24, 2026 by Andrew-Mullan Contributor Loading…
1
@Andrew-Mullan
3
docs: parameter file documentation
#1845 opened May 24, 2026 by benstockil Contributor Loading…
@benstockil
2
docs(testing): update roundtrip-testing documentation
#1842 opened May 24, 2026 by Soph1514 Contributor Loading…
@Soph1514
14
feat(SAT): toInt for direct encoding
#1838 opened May 23, 2026 by Andrew-Mullan Contributor Loading…
1
@Andrew-Mullan
3
docs(essence-parser/lsp): adding documentation for error detection and lsp
#1832 opened May 22, 2026 by Soph1514 Contributor Loading…
1
@a-nosnitram @Soph1514 @leiamcalisteryoung
9
docs(source-map): add documentation for source map kind::documentation Improvements or additions to documentation
#1831 opened May 22, 2026 by a-nosnitram Contributor Loading…
1
@a-nosnitram
7
docs: Horizontal set rules update
#1825 opened May 20, 2026 by EdwardTheLegend Contributor • Draft
@EdwardTheLegend @kbaatz
2
feat(ortools-cpsat): adding a new backend skip-vale
#1808 opened Apr 29, 2026 by matteraggi Loading…
@matteraggi
3
feat(parser/testing): parser benchmark table
#1806 opened Apr 27, 2026 by leiamcalisteryoung Contributor • Draft
1
@leiamcalisteryoung
8
feat: Gcm more work (draft)
#1805 opened Apr 27, 2026 by TronciuVlad Contributor • Draft
@TronciuVlad
4
feat: Add support for enumerated and unnamed types
#1791 opened Apr 22, 2026 by benstockil Contributor • Draft
4 of 8 tasks
@benstockil
3
docs(SAT): Creating docs on SAT encodings (bool + log)
#1789 opened Apr 22, 2026 by hecent Contributor • Draft
@hecent
2
Feat/sat order/div
#1775 opened Apr 16, 2026 by YehorBoiar Contributor • Draft
@YehorBoiar
2
feat(lsp): Reference highlighting and detection
#1769 opened Apr 14, 2026 by EEJDempster Contributor • Draft
@a-nosnitram @EEJDempster
2
refactor(lsp): Make AST rebuild only on CST edit
#1768 opened Apr 14, 2026 by EEJDempster Contributor • Draft
@EEJDempster
3
ProTip! Exclude everything labeled bug with -label:bug.