git.annexia.org / goals.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
goals.git
2019-12-27 Richard W.M... Hard code *file tactic. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... Implement tactic matching. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... todo: Note default parameters. commit | commitdiff | tree | snapshot
2019-12-26 Richard W.M... Factor out param_decl and improvements to AST printing. commit | commitdiff | tree | snapshot
2019-12-25 Richard W.M... Refactor evaluation. commit | commitdiff | tree | snapshot
2019-12-25 Richard W.M... Fix file() -> *file() in comment about tactics. commit | commitdiff | tree | snapshot
2019-12-25 Richard W.M... Rename Ast.StringMap -> Ast.Env commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Begin converting Ast print functions so they can be... commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Send debug message to stderr. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Print errors (Failure exceptions) nicely. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Define *file() syntax for tactic constructors. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Attach parser location information to AST nodes. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Basic evaluation. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Implement -C / --directory option. commit | commitdiff | tree | snapshot
2019-12-23 Richard W.M... Add environment to store variables and goals. commit | commitdiff | tree | snapshot
2019-12-22 Richard W.M... Command line parsing of anon args. commit | commitdiff | tree | snapshot
2019-12-22 Richard W.M... Expose parsing of expressions from command line. commit | commitdiff | tree | snapshot
2019-12-21 Richard W.M... Continue command line parsing. commit | commitdiff | tree | snapshot
2019-12-21 Richard W.M... Rename parsing/ to src/ commit | commitdiff | tree | snapshot
2019-12-21 Richard W.M... Initial commit of parser. commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.