History of
src
/
eqthy
/
verifier.py
@master
git clone https://git.catseye.tc/Eqthy/
-
Use one Verifier object, have it keep the context.
Chris Pressey
a month ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
a month ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
a month ago
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
a month ago
-
Bump version number.
Chris Pressey
a month ago
-
All modules now pass strict mypy checking.
Chris Pressey
a month ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
2 months ago
-
Improve logging again.
Chris Pressey
8 months ago
-
Improve logging.
Chris Pressey
8 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 1 month ago
-
Show step number in some error messages.
Chris Pressey
1 year, 1 month ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 1 month ago
-
Remove redundant logging.
Chris Pressey
1 year, 1 month ago
-
Factor out common code into `register` method.
Chris Pressey
1 year, 1 month ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 3 months ago
-
Parse and verify one file at a time. Expand test driver.
Chris Pressey
1 year, 3 months ago
-
Use consistent terminology.
Chris Pressey
1 year, 5 months ago
-
Refactor general-purpose rule-level method out of verifier.
Chris Pressey
1 year, 5 months ago
-
Implement narrowing down of search.
Chris Pressey
1 year, 5 months ago
-
Change how rules are stored. Add narrow_rule_search method.
Chris Pressey
1 year, 6 months ago
-
Try to deal properly with Reference hints. Hit a wall.
Chris Pressey
1 year, 6 months ago
-
Add missing logging. Fix associative moves in proof.
Chris Pressey
1 year, 6 months ago
-
Refactor, check for Reflexivity, 3 more tests pass.
Chris Pressey
1 year, 6 months ago
-
Introduce update_at_index. Finally fix all_rewrites.
Chris Pressey
1 year, 6 months ago
-
Even more checkpointing while hunting down this thing.
Chris Pressey
1 year, 6 months ago
-
Checkpoint fixing subst to support checking Socks and Shoes
Chris Pressey
1 year, 6 months ago
-
Implement Congruence.
Chris Pressey
1 year, 6 months ago
-
Stricter syntax for Substitution and Congruence.
Chris Pressey
1 year, 6 months ago
-
Implement Substitution based on hint.
Chris Pressey
1 year, 6 months ago
-
Begin implementing Substitution based on hint
Chris Pressey
1 year, 6 months ago