Skip to content

Optimize run_lake by copying precompiled config folders, renaming Aeneas config, and dynamically patching trace indices to achieve a ~19% run_lake speedup #3341

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

Open
joshlf wants to merge 1 commit into
base: G6m2dgvttkspnsz2l5d2cp5imkbcdaxg6
Choose a base branch
from
+48 −1

Optimize run_lake by copying precompiled config folders, renaming Aen…

6ee8501
Select commit
Loading
Failed to load commit list.
Open

Optimize run_lake by copying precompiled config folders, renaming Aeneas config, and dynamically patching trace indices to achieve a ~19% run_lake speedup #3341

Optimize run_lake by copying precompiled config folders, renaming Aen…
6ee8501
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar