Skip to content

Issues: conjure-cp/conjure-oxide

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

73 Open 155 Closed
73 Open 155 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

tree-morph improvements
#677 opened Feb 13, 2025 by lixitrixi
6 tasks
1
Make a glossary of terms we use
#676 opened Feb 12, 2025 by gskorokhod Documentation
1
Update the SolverAdaptor interface to handle dominance relations
#674 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Generate new top-level constraints based on dominanceRelation
#673 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Rewriting Dominance expressions area::conjure-oxide/rule-engine Related to the rule engine and the expression rewriting logic. area::rules Related to rewrite rules priority::soon We'll need this soon, or other features may be blocked.
#672 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Add a field to the Model representing dominance relations area::conjure-oxide/ast Related to conjure_core and ast representation. priority::soon We'll need this soon, or other features may be blocked.
#671 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Parse the Essence syntax for dominance relations area::parsing Related to essence / essence prime parsing priority::next We need this next.
#670 opened Feb 10, 2025 by gskorokhod
@gskorokhod
[RFC] Dominance Relations tracking Issues tracking progress towards a longer-term goal
#669 opened Feb 10, 2025 by gskorokhod
@gskorokhod
7
Document: "How to run an Essence model with Oxide"?
#667 opened Feb 10, 2025 by gskorokhod Documentation
Document: "How to run an Essence model with the current stack"?
#666 opened Feb 10, 2025 by gskorokhod Documentation
Link to and summarise Essence docs
#665 opened Feb 10, 2025 by gskorokhod Documentation
1
Implement scope in the rewriter
#660 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Add recursive lookup of variables in parent scopes in SymbolTable
#659 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Add rule to merge scopes
#658 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Add Expr::Scope expression, containing a submodel
#656 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Implement scoping
#655 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Document crates
#653 opened Feb 5, 2025 by gskorokhod Documentation
Document dev tools and Rust resources
#651 opened Feb 5, 2025 by gskorokhod Documentation
Improve the Contributor's Guide pages
#650 opened Feb 5, 2025 by gskorokhod Documentation
Comprehensive project architecture doc
#649 opened Feb 5, 2025 by gskorokhod Documentation
Better wiki home page
#648 opened Feb 5, 2025 by gskorokhod Documentation
Revamp or delete the github pages home page
#647 opened Feb 5, 2025 by gskorokhod Documentation
node is required to build Conjure Oxide (due to treesitter grammar) kind::bug Something isn't working
#633 opened Feb 3, 2025 by niklasdewally
4
[Question] Removing unused variables area::rules Related to rewrite rules kind::discussion General discussion and high-level planning.
#630 opened Feb 3, 2025 by gskorokhod
1
parsing sets and matrices in Oxide area::conjure-oxide/ast Related to conjure_core and ast representation.
#628 opened Feb 3, 2025 by spritezs
@spritezs
17
ProTip! Updated in the last three days: updated:>2025-02-10.