History of
src
/
eqthy
@master
git clone https://git.catseye.tc/Eqthy/
-
Bump version number.
Chris Pressey
8 months ago
-
All modules now pass strict mypy checking.
Chris Pressey
8 months ago
-
flake8
Chris Pressey
8 months ago
-
Have terms module able to pass strict mypy checking.
Chris Pressey
8 months ago
-
Make scanner pass strict mypy check.
Chris Pressey
8 months ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
8 months ago
-
Replace namedtuples with dataclasses.
Chris Pressey
8 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
9 months ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
1 year, 3 months ago
-
Improve logging again.
Chris Pressey
1 year, 3 months ago
-
Improve logging.
Chris Pressey
1 year, 3 months ago
-
fix #5
Proloy Mishra
(commit: Proloy Mishra)
1 year, 3 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 8 months ago
-
Show step number in some error messages.
Chris Pressey
1 year, 8 months ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 8 months ago
-
Remove redundant logging.
Chris Pressey
1 year, 8 months ago
-
Factor out common code into `register` method.
Chris Pressey
1 year, 8 months ago
-
Bump version number.
Chris Pressey
1 year, 8 months ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 10 months ago
-
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 10 months ago
-
Parse and verify one file at a time. Expand test driver.
Chris Pressey
1 year, 10 months ago
-
Fix reported version number.
Chris Pressey
1 year, 10 months ago
-
Start branch for release of version 0.1, when it comes.
Chris Pressey
1 year, 11 months ago
-
Demonstrate multiple theorems in a single document.
Chris Pressey
2 years ago
-
Use consistent terminology.
Chris Pressey
2 years ago
-
Refactor general-purpose rule-level method out of verifier.
Chris Pressey
2 years ago
-
Implement narrowing down of search.
Chris Pressey
2 years ago
-
Change how rules are stored. Add narrow_rule_search method.
Chris Pressey
2 years ago
-
Try to deal properly with Reference hints. Hit a wall.
Chris Pressey
2 years ago
-
Add missing logging. Fix associative moves in proof.
Chris Pressey
2 years ago