I

Ivor

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 01, 2023 — May 01, 2024 Showing page 7 of 7 Search / Filter on:
keepSolving should work on next goal, not generated subgoals	eb	More...				almost 18 years ago
Propositional logic details in paper	eb	More...				almost 18 years ago
More intro, sketched related work and conclusions	eb	More...				almost 18 years ago
Intro, abstract, motivating examples	eb	More...				almost 18 years ago
Paper updates, changed initState to emptyContext	eb	More...				almost 18 years ago
paper updates	eb	More...				almost 18 years ago
Removing the need to 'solve' or 'keepSolving' everywhere	eb	More...				almost 18 years ago
More on the tactics	eb	More...				almost 18 years ago
More on the paper	eb	More...				almost 18 years ago
Updated paper	eb	More...				almost 18 years ago
Some bugfixes and new tactic combinators	eb	More...				almost 18 years ago
A couple of useful shell functions	eb	More...				almost 18 years ago
Added papers directory	eb	More...				almost 18 years ago
Remove clutter from proof state display	eb	More...				almost 18 years ago
pretty printing error fixed	eb	More...				almost 18 years ago
More familiar function type syntax	eb	More...				almost 18 years ago
Shorthand -> syntax for function types	eb	More...				almost 18 years ago
Documentation headers	eb	More...				almost 18 years ago
Fix release script	eb	More...				almost 18 years ago
Simplified interface (attack/solve rarely needed now)	eb	More...				almost 18 years ago
Some preparing for writing out files as raw TT, other tweaks	eb	More...				almost 18 years ago
Initial version	eb	More...				almost 18 years ago

←
1
2
3
4
5
6
7
→