-
Notifications
You must be signed in to change notification settings - Fork 10
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
fix: use dsimp
to remove abstraction overhead of our parsing stage
#225
Commits on Apr 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5b9412e - Browse repository at this point
Copy the full SHA 5b9412eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9504a09 - Browse repository at this point
Copy the full SHA 9504a09View commit details -
Configuration menu - View commit details
-
Copy full SHA for dfd232d - Browse repository at this point
Copy the full SHA dfd232dView commit details -
Configuration menu - View commit details
-
Copy full SHA for ca96cec - Browse repository at this point
Copy the full SHA ca96cecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 733f053 - Browse repository at this point
Copy the full SHA 733f053View commit details -
Configuration menu - View commit details
-
Copy full SHA for 190e38b - Browse repository at this point
Copy the full SHA 190e38bView commit details -
Configuration menu - View commit details
-
Copy full SHA for f354eaf - Browse repository at this point
Copy the full SHA f354eafView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ac1adf - Browse repository at this point
Copy the full SHA 1ac1adfView commit details -
Configuration menu - View commit details
-
Copy full SHA for ad67b68 - Browse repository at this point
Copy the full SHA ad67b68View commit details -
Configuration menu - View commit details
-
Copy full SHA for 890125e - Browse repository at this point
Copy the full SHA 890125eView commit details
Commits on Apr 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 261c197 - Browse repository at this point
Copy the full SHA 261c197View commit details -
Configuration menu - View commit details
-
Copy full SHA for b4077e4 - Browse repository at this point
Copy the full SHA b4077e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0c80d09 - Browse repository at this point
Copy the full SHA 0c80d09View commit details -
Configuration menu - View commit details
-
Copy full SHA for 97d266e - Browse repository at this point
Copy the full SHA 97d266eView commit details
Commits on Apr 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4f56135 - Browse repository at this point
Copy the full SHA 4f56135View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5e7e64d - Browse repository at this point
Copy the full SHA 5e7e64dView commit details
Commits on Apr 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 38574a1 - Browse repository at this point
Copy the full SHA 38574a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 228de9c - Browse repository at this point
Copy the full SHA 228de9cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6df32d4 - Browse repository at this point
Copy the full SHA 6df32d4View commit details
Commits on Apr 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a41cf48 - Browse repository at this point
Copy the full SHA a41cf48View commit details -
Configuration menu - View commit details
-
Copy full SHA for d34700b - Browse repository at this point
Copy the full SHA d34700bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 04ea281 - Browse repository at this point
Copy the full SHA 04ea281View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b99d80 - Browse repository at this point
Copy the full SHA 7b99d80View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5117e61 - Browse repository at this point
Copy the full SHA 5117e61View commit details -
Configuration menu - View commit details
-
Copy full SHA for de1d636 - Browse repository at this point
Copy the full SHA de1d636View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ce53bb - Browse repository at this point
Copy the full SHA 1ce53bbView commit details -
Configuration menu - View commit details
-
Copy full SHA for dfbd397 - Browse repository at this point
Copy the full SHA dfbd397View commit details -
Configuration menu - View commit details
-
Copy full SHA for bfdf58b - Browse repository at this point
Copy the full SHA bfdf58bView commit details
Commits on Apr 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d21431d - Browse repository at this point
Copy the full SHA d21431dView commit details -
Configuration menu - View commit details
-
Copy full SHA for a30bde4 - Browse repository at this point
Copy the full SHA a30bde4View commit details -
Configuration menu - View commit details
-
Copy full SHA for c86954f - Browse repository at this point
Copy the full SHA c86954fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 080f69c - Browse repository at this point
Copy the full SHA 080f69cView commit details -
feat: add pairing session simp-set
We now have a simp set that successfully simplifies programs
Configuration menu - View commit details
-
Copy full SHA for bfa8ec5 - Browse repository at this point
Copy the full SHA bfa8ec5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 302b0ac - Browse repository at this point
Copy the full SHA 302b0acView commit details -
chore: move code from Bug.lean into a simp_alive_meta tactic.
Note that `theorem ok` is now proven via `simp_alive_peephole`, while `theorem broken` is still not.
Configuration menu - View commit details
-
Copy full SHA for af495c1 - Browse repository at this point
Copy the full SHA af495c1View commit details -
feat: add ConcreteOrMVar.instantiate_concrete_eq into simp set.
For unclear reasons, this needs a (config := {autoUnfold := true}) to be enabled. We don't know how to log what changed, so we asked on Zulip.
Configuration menu - View commit details
-
Copy full SHA for f5188f8 - Browse repository at this point
Copy the full SHA f5188f8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f7935b - Browse repository at this point
Copy the full SHA 8f7935bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f7ae21 - Browse repository at this point
Copy the full SHA 4f7ae21View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3f0ea3 - Browse repository at this point
Copy the full SHA c3f0ea3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b4a35a - Browse repository at this point
Copy the full SHA 8b4a35aView commit details
Commits on Apr 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a0036fd - Browse repository at this point
Copy the full SHA a0036fdView commit details -
Configuration menu - View commit details
-
Copy full SHA for ab3cc7e - Browse repository at this point
Copy the full SHA ab3cc7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for a83ef85 - Browse repository at this point
Copy the full SHA a83ef85View commit details -
Configuration menu - View commit details
-
Copy full SHA for 50eb835 - Browse repository at this point
Copy the full SHA 50eb835View commit details -
Configuration menu - View commit details
-
Copy full SHA for c1c03b9 - Browse repository at this point
Copy the full SHA c1c03b9View commit details -
Revert "chore: drop redundant implementation of instantiate_mvar_zero"
This reverts commit 50eb835.
Configuration menu - View commit details
-
Copy full SHA for df0387e - Browse repository at this point
Copy the full SHA df0387eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 48e5c72 - Browse repository at this point
Copy the full SHA 48e5c72View commit details
Commits on May 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8e61a0b - Browse repository at this point
Copy the full SHA 8e61a0bView commit details
Commits on May 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d163848 - Browse repository at this point
Copy the full SHA d163848View commit details -
Configuration menu - View commit details
-
Copy full SHA for f32d4eb - Browse repository at this point
Copy the full SHA f32d4ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0a3ead9 - Browse repository at this point
Copy the full SHA 0a3ead9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 734ffc6 - Browse repository at this point
Copy the full SHA 734ffc6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 061ab7f - Browse repository at this point
Copy the full SHA 061ab7fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4c0f17e - Browse repository at this point
Copy the full SHA 4c0f17eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3355c77 - Browse repository at this point
Copy the full SHA 3355c77View commit details
Commits on May 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 04fa040 - Browse repository at this point
Copy the full SHA 04fa040View commit details -
Configuration menu - View commit details
-
Copy full SHA for f6fec7e - Browse repository at this point
Copy the full SHA f6fec7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 84af681 - Browse repository at this point
Copy the full SHA 84af681View commit details -
Configuration menu - View commit details
-
Copy full SHA for f1c128e - Browse repository at this point
Copy the full SHA f1c128eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 95e5b14 - Browse repository at this point
Copy the full SHA 95e5b14View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9591bea - Browse repository at this point
Copy the full SHA 9591beaView commit details -
Configuration menu - View commit details
-
Copy full SHA for f8b8bf5 - Browse repository at this point
Copy the full SHA f8b8bf5View commit details -
Configuration menu - View commit details
-
Copy full SHA for dcd26b7 - Browse repository at this point
Copy the full SHA dcd26b7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 188732c - Browse repository at this point
Copy the full SHA 188732cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7c5e568 - Browse repository at this point
Copy the full SHA 7c5e568View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3340279 - Browse repository at this point
Copy the full SHA 3340279View commit details -
Configuration menu - View commit details
-
Copy full SHA for ba4ded3 - Browse repository at this point
Copy the full SHA ba4ded3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 92199de - Browse repository at this point
Copy the full SHA 92199deView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5e745c8 - Browse repository at this point
Copy the full SHA 5e745c8View commit details
Commits on May 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 81d1d47 - Browse repository at this point
Copy the full SHA 81d1d47View commit details -
Configuration menu - View commit details
-
Copy full SHA for 04aa94e - Browse repository at this point
Copy the full SHA 04aa94eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9f13bf7 - Browse repository at this point
Copy the full SHA 9f13bf7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1305378 - Browse repository at this point
Copy the full SHA 1305378View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ad642b - Browse repository at this point
Copy the full SHA 1ad642bView commit details
Commits on May 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aba4e83 - Browse repository at this point
Copy the full SHA aba4e83View commit details