History of
src
/
eqthy
/
main.py
@master
git clone https://git.catseye.tc/Eqthy/
-
On the command line, call the input format `bare-eqthy`.
Chris Pressey
a month ago
-
Use one Verifier object, have it keep the context.
Chris Pressey
a month ago
-
Move towards being able to require files from other files.
Chris Pressey
a month ago
-
Move loading logic into loader module.
Chris Pressey
a month ago
-
Replace --bare command line flag with --input-format choices.
Chris Pressey
a month ago
-
Update copyright year and run `reuse lint` as part of the test.
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
3 months ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
8 months ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 1 month ago
-
Bump version number.
Chris Pressey
1 year, 1 month ago
-
Embed Eqthy documents in Markdown documents.
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
-
Fix reported version number.
Chris Pressey
1 year, 4 months ago
-
Start branch for release of version 0.1, when it comes.
Chris Pressey
1 year, 4 months ago
-
Demonstrate multiple theorems in a single document.
Chris Pressey
1 year, 6 months ago
-
Use consistent terminology.
Chris Pressey
1 year, 6 months ago
-
Consistentify nomenclature: {Program, Source} => Development
Chris Pressey
1 year, 8 months ago
-
Fix bug in all_rewrites. All tests pass. flake8.
Chris Pressey
1 year, 8 months ago
-
Checkpoint developing all_matches logic.
Chris Pressey
1 year, 8 months ago
-
Render objects readably. Derive first step using Reflexivity.
Chris Pressey
1 year, 9 months ago
-
Add beginnings of verifier module.
Chris Pressey
1 year, 9 months ago
-
Initial import of files for Eqthy -- work in progress.
Chris Pressey
1 year, 9 months ago