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

Remove constant intermediates #2163

Merged
merged 9 commits into from
Dec 17, 2024
Merged

Remove constant intermediates #2163

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
b37499c
add test
Schaeff Nov 27, 2024
146ec8f
remove constant intermediates
Schaeff Nov 27, 2024
db7c763
Merge branch 'main' of github.com:powdr-labs/powdr into remove-consta…
Schaeff Nov 27, 2024
bfcb2bd
moae test more complete
Schaeff Nov 27, 2024
953fd86
make deterministic, support deeper dependency graphs
Schaeff Nov 27, 2024
7f953d6
Update pilopt/src/lib.rs
Schaeff Dec 6, 2024
fbc238b
simplify pass
Schaeff Dec 13, 2024
605be04
Merge branch 'main' of github.com:powdr-labs/powdr into remove-consta…
Schaeff Dec 13, 2024
48de0e8
Update pilopt/src/lib.rs
Schaeff Dec 13, 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
Prev Previous commit
Next Next commit
Merge branch 'main' of github.com:powdr-labs/powdr into remove-consta… 
…nt-intermediates
  • Loading branch information
@Schaeff
Schaeff committed Nov 27, 2024
commit db7c76349263a4d873187c948fdb37175a427467

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.