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