git.annexia.org / goals.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
goals.git
2020-01-02 Richard W.M... Lexer: Allow "-" char in the middle of identifier names. commit | commitdiff | tree | snapshot
2020-01-02 Richard W.M... Ast: Rename ECallTactic to ETacticConstructor. commit | commitdiff | tree | snapshot
2020-01-02 Richard W.M... Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn. commit | commitdiff | tree | snapshot
2019-12-31 Richard W.M... Implement -include (optional include) command. commit | commitdiff | tree | snapshot
2019-12-31 Richard W.M... Fix ‘goal’ when it appears as a target (meaning ‘goal... commit | commitdiff | tree | snapshot
2019-12-31 Richard W.M... More TODO ideas. commit | commitdiff | tree | snapshot
2019-12-31 Richard W.M... Add some more debugging. commit | commitdiff | tree | snapshot
2019-12-30 Richard W.M... Implement -d (debug) option. commit | commitdiff | tree | snapshot
2019-12-30 Richard W.M... Change -V to -v for compat with make. commit | commitdiff | tree | snapshot
2019-12-30 Richard W.M... stdlib: Add some rules for OCaml code. commit | commitdiff | tree | snapshot
2019-12-30 Richard W.M... Implement stdlib directory, -I, --no-prelude, etc. commit | commitdiff | tree | snapshot
2019-12-28 Richard W.M... Define OCaml Config module in ./configure, ./run script... commit | commitdiff | tree | snapshot
2019-12-28 Richard W.M... Implement tactics. commit | commitdiff | tree | snapshot
2019-12-28 Richard W.M... Remove Ast.PVar. commit | commitdiff | tree | snapshot
2019-12-28 Richard W.M... Run code with set -e / set -x. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... Actually run goal code. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... Add implicit tactic rebuild. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... Substitute %<, %@ etc variables into code. commit | commitdiff | tree | snapshot
2019-12-27 Richard W.M... Add Ast.to_shell_script. commit | commitdiff | tree | snapshot
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.