issues
search
conjure-cp
/
conjure-oxide
Mozilla Public License 2.0
9
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
var_map in sat solvers
#479
Shikhar-Srivastava-16
opened
1 day ago
1
accept flag
#478
a-nosnitram
opened
1 day ago
1
deal with warnings
#477
ozgurakgun
closed
1 day ago
1
ACCEPT flag doesn't change generated-rule-trace
#476
YehorBoiar
opened
1 day ago
2
ignore generated-rule-trace files
#475
ozgurakgun
closed
2 days ago
2
Remove bool_to_w-lit rule
#474
niklasdewally
opened
2 days ago
0
Handle atomic in read_expr
#473
YehorBoiar
closed
2 days ago
5
Remove "either do bubble / bubble or not bubble / not bubble" conditional from div / mod rules
#472
ozgurakgun
opened
3 days ago
2
ci: exclude rule macros from coverage
#471
niklasdewally
closed
3 days ago
5
Point minion submodule to main and update it
#470
niklasdewally
closed
3 days ago
1
False negatives in code coverage
#469
ozgurakgun
closed
3 days ago
5
fix(rules/minion): fix Reduction::new wrong argument order
#468
niklasdewally
closed
4 days ago
6
wrong order in Reduction
#467
ozgurakgun
closed
4 days ago
1
Additional tree-morph selection strategies
#466
lixitrixi
opened
4 days ago
4
we should probably rename `parse_essence_file` to `parse_essence_file_astjson`
#465
ozgurakgun
closed
4 days ago
1
Tracking issue for: Native Essence parser
#464
ozgurakgun
opened
4 days ago
0
build(deps): bump the all group with 5 updates
#463
dependabot[bot]
closed
5 days ago
1
Update minion submodule to main
#462
niklasdewally
closed
3 days ago
0
Simplify equalities using their domains
#461
niklasdewally
opened
6 days ago
5
rules(minion): add modulo
#460
niklasdewally
closed
6 days ago
1
Implement domain_of for all expressions
#459
niklasdewally
opened
6 days ago
1
minion_rs: add minion file output
#458
niklasdewally
opened
6 days ago
0
refactor(ast)!: rename Factor to Atom
#457
niklasdewally
closed
6 days ago
1
[eprime-minion] Implement modulo
#456
niklasdewally
closed
6 days ago
9
modulo_undefzero
#455
niklasdewally
closed
6 days ago
0
rules(minion): add flattening rules for division
#454
niklasdewally
closed
6 days ago
2
Discussion: improving the developer onboarding documentation
#453
niklasdewally
opened
1 week ago
3
`Display` And as `/\` and Or as `\/`
#452
niklasdewally
opened
1 week ago
0
Nicer rule traces
#451
niklasdewally
opened
1 week ago
2
Help wanted: flattening negated nested divisions
#450
niklasdewally
closed
6 days ago
29
cargo run and cargo test doesn't run
#449
YehorBoiar
closed
1 week ago
3
Explain printing in solver example better
#448
niklasdewally
opened
1 week ago
0
Update message in stale checking
#447
ozgurakgun
closed
1 week ago
0
Add solver example
#446
niklasdewally
closed
1 week ago
3
Performance testing for #428
#445
EEJDempster
opened
1 week ago
1
Add "Display" versions of the parsed model and the rewritten model in the integration tester
#444
ozgurakgun
opened
1 week ago
0
fix(rules/constant): replace println! with warn!
#443
niklasdewally
closed
1 week ago
4
fix(ast): inconsistent `Display` implementations for variables
#442
niklasdewally
closed
1 week ago
4
refactor(rules): add aux_to_var() function and flattening checks
#441
niklasdewally
closed
1 week ago
4
Change the CI time limit to 10 minutes - generating coverage reports can take time
#440
ozgurakgun
closed
1 week ago
1
Generating code coverage report needs more than 5 minutes - give it 10
#439
ozgurakgun
closed
1 week ago
0
watched-and
#438
niklasdewally
closed
1 week ago
0
Add a 5 minute time limit to CI actions
#437
ozgurakgun
closed
1 week ago
0
only mark issues as stale after 90 days
#436
ozgurakgun
closed
1 week ago
0
Changing Model.constraints, and Reduction.new_top to be a Vec<Expression>
#435
YehorBoiar
opened
1 week ago
22
build(deps): bump the all group with 3 updates
#434
dependabot[bot]
closed
1 week ago
1
Encourage reviews in CONTRIBUTING.md
#433
ozgurakgun
closed
1 week ago
0
CONTRIBUTING.md: add do not force push advice
#432
niklasdewally
closed
1 week ago
0
Close stale issues/PRs
#431
ozgurakgun
closed
1 week ago
0
ci: block merging PRs with fixup! commits
#430
niklasdewally
closed
1 week ago
7
Next