-
Notifications
You must be signed in to change notification settings - Fork 2
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.
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
Rerun all tests and eval for both PUMPKIN PATCH and DEVOID #42
Comments
Make sure to test performance, too |
Induction.v is currently broken somewhere due to universe issues |
Abstract.v also fails. The problem seems to show up with filters. Will debug later after we fix more with evar_maps. (This is all in 0.1) |
Most of the bugs fixed, some persist |
Done fixing bugs |
Raxioms.v has been broken for a while |
Preprocess module is now failing because of refactored universe stuff |
Fixed |
It looks like main.v in Ornaments is slower now. Preprocess may have gotten slower with the evar_map updates. We should see if we can avoid some of those when we know they aren't necessary, if this turns out to be the cause of the performance hit |
test_opt_7 in Optimization.v is failing. main.v is back to normal |
No description provided.
The text was updated successfully, but these errors were encountered: