mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-09 17:48:21 -05:00
Non-recursive evaluator (#1282)
Co-authored-by: Leo <leo@powdrlabs.com> Co-authored-by: Leandro Pacheco <contact@leandropacheco.com>
This commit is contained in:
@@ -45,3 +45,7 @@ overflow-checks = true
|
||||
panic = 'unwind'
|
||||
incremental = true # This is true because target is cached
|
||||
codegen-units = 256
|
||||
|
||||
[profile.release-with-debug]
|
||||
inherits = "release"
|
||||
debug = true
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user