-
Notifications
You must be signed in to change notification settings - Fork 18
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
Add lambda-terms to FOL #231
Draft
SimonGuilloud
wants to merge
59
commits into
epfl-lara:main
Choose a base branch
from
SimonGuilloud:lambdafol
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Commits on Oct 8, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 26e3b86 - Browse repository at this point
Copy the full SHA 26e3b86View commit details -
Configuration menu - View commit details
-
Copy full SHA for 690a9de - Browse repository at this point
Copy the full SHA 690a9deView commit details
Commits on Oct 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8747557 - Browse repository at this point
Copy the full SHA 8747557View commit details -
Configuration menu - View commit details
-
Copy full SHA for f62a926 - Browse repository at this point
Copy the full SHA f62a926View commit details
Commits on Oct 11, 2024
-
Update Kernel helper, serialization, and more.
Next step: rest of TPTP parsing, utils.fol, utils.prooflib.
Configuration menu - View commit details
-
Copy full SHA for 414f027 - Browse repository at this point
Copy the full SHA 414f027View commit details
Commits on Oct 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1486fa3 - Browse repository at this point
Copy the full SHA 1486fa3View commit details -
Configuration menu - View commit details
-
Copy full SHA for f38067f - Browse repository at this point
Copy the full SHA f38067fView commit details -
Configuration menu - View commit details
-
Copy full SHA for bbeffa5 - Browse repository at this point
Copy the full SHA bbeffa5View commit details
Commits on Oct 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 256fd44 - Browse repository at this point
Copy the full SHA 256fd44View commit details
Commits on Oct 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 2b790af - Browse repository at this point
Copy the full SHA 2b790afView commit details
Commits on Oct 15, 2024
-
Mosly finished with prooflib, currently doing definitions. Remains Ba…
…sicStepTactics for beta conversion.
Configuration menu - View commit details
-
Copy full SHA for b6ffb85 - Browse repository at this point
Copy the full SHA b6ffb85View commit details
Commits on Oct 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ccbe7f0 - Browse repository at this point
Copy the full SHA ccbe7f0View commit details
Commits on Oct 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 02665e8 - Browse repository at this point
Copy the full SHA 02665e8View commit details
Commits on Oct 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 22c3de6 - Browse repository at this point
Copy the full SHA 22c3de6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9239dce - Browse repository at this point
Copy the full SHA 9239dceView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7a9e672 - Browse repository at this point
Copy the full SHA 7a9e672View commit details -
Configuration menu - View commit details
-
Copy full SHA for a01ac26 - Browse repository at this point
Copy the full SHA a01ac26View commit details -
Configuration menu - View commit details
-
Copy full SHA for b5c8bd2 - Browse repository at this point
Copy the full SHA b5c8bd2View commit details -
Configuration menu - View commit details
-
Copy full SHA for db8f973 - Browse repository at this point
Copy the full SHA db8f973View commit details -
Configuration menu - View commit details
-
Copy full SHA for c76eb21 - Browse repository at this point
Copy the full SHA c76eb21View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1eec816 - Browse repository at this point
Copy the full SHA 1eec816View commit details -
Configuration menu - View commit details
-
Copy full SHA for aa4045d - Browse repository at this point
Copy the full SHA aa4045dView commit details -
Configuration menu - View commit details
-
Copy full SHA for c9f37c6 - Browse repository at this point
Copy the full SHA c9f37c6View commit details
Commits on Oct 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6e06964 - Browse repository at this point
Copy the full SHA 6e06964View commit details
Commits on Oct 21, 2024
-
utils tests passing. Left to do:
- BasicTacticTest - UnificationTest - printer and parsers test: Port to TPTP-based printer (longer term)
Configuration menu - View commit details
-
Copy full SHA for ee6d5b6 - Browse repository at this point
Copy the full SHA ee6d5b6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3ebc3a8 - Browse repository at this point
Copy the full SHA 3ebc3a8View commit details
Commits on Oct 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e4c3036 - Browse repository at this point
Copy the full SHA e4c3036View commit details
Commits on Oct 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 248059c - Browse repository at this point
Copy the full SHA 248059cView commit details -
small corrections to subst steps in basic step tactics and kernel, on…
…going portage of congruence.
Configuration menu - View commit details
-
Copy full SHA for 1f671c4 - Browse repository at this point
Copy the full SHA 1f671c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for d69ffe4 - Browse repository at this point
Copy the full SHA d69ffe4View commit details -
Configuration menu - View commit details
-
Copy full SHA for f0935cf - Browse repository at this point
Copy the full SHA f0935cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3bfce57 - Browse repository at this point
Copy the full SHA 3bfce57View commit details
Commits on Oct 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 516ef5b - Browse repository at this point
Copy the full SHA 516ef5bView commit details -
Configuration menu - View commit details
-
Copy full SHA for ea67c79 - Browse repository at this point
Copy the full SHA ea67c79View commit details -
Configuration menu - View commit details
-
Copy full SHA for 146c074 - Browse repository at this point
Copy the full SHA 146c074View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d04ee9 - Browse repository at this point
Copy the full SHA 2d04ee9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8917298 - Browse repository at this point
Copy the full SHA 8917298View commit details -
Configuration menu - View commit details
-
Copy full SHA for 47c1035 - Browse repository at this point
Copy the full SHA 47c1035View commit details -
Configuration menu - View commit details
-
Copy full SHA for 261a9cb - Browse repository at this point
Copy the full SHA 261a9cbView commit details -
Configuration menu - View commit details
-
Copy full SHA for f62d9cc - Browse repository at this point
Copy the full SHA f62d9ccView commit details -
Configuration menu - View commit details
-
Copy full SHA for 343b810 - Browse repository at this point
Copy the full SHA 343b810View commit details -
Configuration menu - View commit details
-
Copy full SHA for 874c3ce - Browse repository at this point
Copy the full SHA 874c3ceView commit details
Commits on Oct 25, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d147215 - Browse repository at this point
Copy the full SHA d147215View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c23d19 - Browse repository at this point
Copy the full SHA 2c23d19View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e6e89a - Browse repository at this point
Copy the full SHA 7e6e89aView commit details -
Configuration menu - View commit details
-
Copy full SHA for c14b35f - Browse repository at this point
Copy the full SHA c14b35fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 792f904 - Browse repository at this point
Copy the full SHA 792f904View commit details -
Configuration menu - View commit details
-
Copy full SHA for d3a6d26 - Browse repository at this point
Copy the full SHA d3a6d26View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e621fc - Browse repository at this point
Copy the full SHA 4e621fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for fc29f49 - Browse repository at this point
Copy the full SHA fc29f49View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ea1a11 - Browse repository at this point
Copy the full SHA 1ea1a11View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5089f70 - Browse repository at this point
Copy the full SHA 5089f70View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1d1cbc3 - Browse repository at this point
Copy the full SHA 1d1cbc3View commit details -
Configuration menu - View commit details
-
Copy full SHA for cd05987 - Browse repository at this point
Copy the full SHA cd05987View commit details -
Configuration menu - View commit details
-
Copy full SHA for d369a7e - Browse repository at this point
Copy the full SHA d369a7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 929d8e4 - Browse repository at this point
Copy the full SHA 929d8e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ab7342 - Browse repository at this point
Copy the full SHA 5ab7342View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5f6de32 - Browse repository at this point
Copy the full SHA 5f6de32View commit details -
Configuration menu - View commit details
-
Copy full SHA for 17e1dfb - Browse repository at this point
Copy the full SHA 17e1dfbView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.