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

Jump to bottom

Origin Tracking slows down proof loading by up to 20% #3253

Open
FliegendeWurst opened this issue Aug 20, 2023 · 1 comment
Open

Origin Tracking slows down proof loading by up to 20% #3253

FliegendeWurst opened this issue Aug 20, 2023 · 1 comment
Labels
Prover Core 🚀 Performance

Comments

@FliegendeWurst
Copy link
Member

Description

Loading a proof with origin tracking enabled can take up to 20% more time.

Reproducible

Depends on the proof, I guess.

Steps to reproduce

  1. Enable or disable origin tracking
  2. Load a proof

Expected: loading takes about the same time (perhaps 5% longer with tracking)
Actual: up to 20% slower

Additional information

  • Commit: 659802c (with some modifications)
@FliegendeWurst
Copy link
Member Author

I have identified and fixed another issue where origin tracking could not be fully disabled (PR following shortly).

FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Aug 22, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
b66e234 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Aug 22, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
6b65e3a 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Aug 22, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
bf75d76 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Aug 22, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
27a32ae 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Aug 23, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
641b030 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Sep 5, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
afcdf6f 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Sep 5, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
3927320 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Sep 5, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
0ef0414 
Related KeYProject#3253
FliegendeWurst added a commit to FliegendeWurst/key that referenced this issue Sep 22, 2023
@FliegendeWurst
Fully disable origin tracking if it is disabled
bcd91ef 
Related KeYProject#3253
wadoon pushed a commit that referenced this issue Oct 13, 2023
@FliegendeWurst @wadoon
Fully disable origin tracking if it is disabled
7ac23ad 
Related #3253
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Prover Core 🚀 Performance
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@FliegendeWurst