Skip to content
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

Witgen inference. #2219

Merged
merged 54 commits into from
Dec 12, 2024
Merged

Witgen inference. #2219

Show file tree
Hide file tree
Changes from 23 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
aeec462
Expressions and solving routines.
chriseth Dec 9, 2024
3749925
Fixes and one more test.
chriseth Dec 9, 2024
41d1270
Remove comment.
chriseth Dec 9, 2024
ba5fb7b
Merge remote-tracking branch 'origin/main' into jit_solving
chriseth Dec 10, 2024
f5e5edd
Add assertions.
chriseth Dec 10, 2024
09773df
clippy
chriseth Dec 10, 2024
cb5638d
Only mention constraint in error message.
chriseth Dec 10, 2024
e348031
witgen inference.
chriseth Dec 10, 2024
fe7908e
Generic vars for symbolic expression.
chriseth Dec 10, 2024
0a2099e
Merge remote-tracking branch 'origin/main' into jit_solving
chriseth Dec 10, 2024
5014950
Also implement operations for non-ref.
chriseth Dec 10, 2024
34f52c6
Merge remote-tracking branch 'origin/jit_solving' into witgen_inference
chriseth Dec 10, 2024
e3e1fdb
witgen inference.
chriseth Dec 10, 2024
d21c061
Move "from_var" fn.
chriseth Dec 10, 2024
6bbaf54
Use rc.
chriseth Dec 10, 2024
1070ce9
use retain.
chriseth Dec 10, 2024
ff6a2f7
Fix bug and check for zero in "bitor"
chriseth Dec 10, 2024
aa91ce3
Merge remote-tracking branch 'origin/jit_solving' into witgen_inference
chriseth Dec 10, 2024
e6843ba
Simplify known.
chriseth Dec 10, 2024
372f417
Merge branch 'jit_solving' into witgen_inference
chriseth Dec 10, 2024
eb62678
Add test.
chriseth Dec 10, 2024
53dddb4
Add completeness flag.
chriseth Dec 11, 2024
67e238e
Change completeness condition.
chriseth Dec 11, 2024
9a8b3ad
pow
chriseth Dec 11, 2024
236f056
remove todo
chriseth Dec 11, 2024
cad7f37
Simplify and fix solving and remove unused conversion.
chriseth Dec 11, 2024
ef33a56
Make use of range constraints in division check.
chriseth Dec 11, 2024
b3e81e3
Typos
chriseth Dec 11, 2024
84c5d75
Comment display and remove parentheses for unary.
chriseth Dec 11, 2024
99cbb3d
extend documentation.
chriseth Dec 11, 2024
7c2f994
clippy
chriseth Dec 11, 2024
a21ca0c
simplify "allows_value"
chriseth Dec 11, 2024
479a96d
Store all range constraints with expressions.
chriseth Dec 11, 2024
1a77808
Improved allows_value.
chriseth Dec 11, 2024
8c588f8
Add another case for division.
chriseth Dec 11, 2024
969e2ba
Fix tests.
chriseth Dec 11, 2024
88cd264
Rename Variable to Symbol and relax one check.
chriseth Dec 11, 2024
8183620
clippy
chriseth Dec 11, 2024
d7d37b0
Merge remote-tracking branch 'origin/jit_solving' into witgen_inference
chriseth Dec 11, 2024
be36d96
fix test
chriseth Dec 11, 2024
ba0e2ce
Merge remote-tracking branch 'origin/main' into jit_solving
chriseth Dec 12, 2024
69af634
Merge branch 'jit_solving' into witgen_inference
chriseth Dec 12, 2024
bfb5371
Access to fixed columns.
chriseth Dec 12, 2024
f7bc144
Support permutations.
chriseth Dec 12, 2024
6ab422e
Fix a bug and add another test.
chriseth Dec 12, 2024
111902f
Update executor/src/witgen/jit/witgen_inference.rs
chriseth Dec 12, 2024
2b73e09
review
chriseth Dec 12, 2024
720645f
Merge branch 'witgen_inference' of ssh://github.com/powdr-labs/powdr …
chriseth Dec 12, 2024
f57bdd7
Rename reference evaluator.
chriseth Dec 12, 2024
fea920e
Fix range constraint for bitwise operations.
chriseth Dec 12, 2024
fd363b2
Fix xor test.
chriseth Dec 12, 2024
1ed01be
Merge remote-tracking branch 'origin/main' into witgen_inference
chriseth Dec 12, 2024
b715662
Remove (for now) unused function.
chriseth Dec 12, 2024
a905288
trick clippy.
chriseth Dec 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading