Tree @master (Download .tar.gz)
History of
src
/
eqthy
/
verifier.py
@master
git clone https://git.catseye.tc/Eqthy/
0
»»
- 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, 6 months ago
- Refactor general-purpose rule-level method out of verifier. Chris Pressey 1 year, 6 months ago
- Implement narrowing down of search. Chris Pressey 1 year, 6 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, 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
- Partial support for hints. 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
- Try to rewrite the LHS with every available rule Chris Pressey 1 year, 9 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
0
»»