History of
src
@master
git clone https://git.catseye.tc/Eqthy/
-
Add missing logging. Fix associative moves in proof.
Chris Pressey
1 year, 7 months ago
-
Refactor, check for Reflexivity, 3 more tests pass.
Chris Pressey
1 year, 7 months ago
-
Introduce update_at_index. Finally fix all_rewrites.
Chris Pressey
1 year, 7 months ago
-
Even more checkpointing while hunting down this thing.
Chris Pressey
1 year, 7 months ago
-
Checkpoint fixing subst to support checking Socks and Shoes
Chris Pressey
1 year, 7 months ago
-
Implement Congruence.
Chris Pressey
1 year, 7 months ago
-
Stricter syntax for Substitution and Congruence.
Chris Pressey
1 year, 7 months ago
-
Implement Substitution based on hint.
Chris Pressey
1 year, 7 months ago
-
Begin implementing Substitution based on hint
Chris Pressey
1 year, 7 months ago
-
First steps towards handling the derivation-driving hints.
Chris Pressey
1 year, 7 months ago
-
Parse all defined hints, stub out logic for following them.
Chris Pressey
1 year, 8 months ago
-
Consistentify nomenclature: {Program, Source} => Development
Chris Pressey
1 year, 8 months ago
-
Add a test case, fix a bug.
Chris Pressey
1 year, 8 months ago
-
Partial support for hints.
Chris Pressey
1 year, 8 months ago
-
Axioms and theorems can be given names.
Chris Pressey
1 year, 8 months ago
-
Add several test cases. Also rewrite the rhs of a step.
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
-
Some rudimentary tests for parsing.
Chris Pressey
1 year, 8 months ago
-
Try to rewrite the LHS with every available rule
Chris Pressey
1 year, 10 months ago
-
Render objects readably. Derive first step using Reflexivity.
Chris Pressey
1 year, 10 months ago
-
Add beginnings of verifier module.
Chris Pressey
1 year, 10 months ago
-
Fix bug in parser, and make example source parseable.
Chris Pressey
1 year, 10 months ago
-
Initial import of files for Eqthy -- work in progress.
Chris Pressey
1 year, 10 months ago