goals.git
2020-01-03 Richard W.M... eval: Goals with no targets always need a rebuild.
2020-01-03 Richard W.M... eval: If multiple goals match a tactic, run them all.
2020-01-03 Richard W.M... lexer: Fix parsing of { characters in CODE sections.
2020-01-03 Richard W.M... eval: Explicit function to evaluate goal arguments.
2020-01-03 Richard W.M... Revert "eval: Expand goal args before running the goal."
2020-01-02 Richard W.M... eval: Expand goal args before running the goal.
2020-01-02 Richard W.M... Lexer: Allow "-" char in the middle of identifier names.
2020-01-02 Richard W.M... Ast: Rename ECallTactic to ETacticConstructor.
2020-01-02 Richard W.M... Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
2019-12-31 Richard W.M... Implement -include (optional include) command.
2019-12-31 Richard W.M... Fix ‘goal’ when it appears as a target (meaning ‘goal...
2019-12-31 Richard W.M... More TODO ideas.
2019-12-31 Richard W.M... Add some more debugging.
2019-12-30 Richard W.M... Implement -d (debug) option.
2019-12-30 Richard W.M... Change -V to -v for compat with make.
2019-12-30 Richard W.M... stdlib: Add some rules for OCaml code.
2019-12-30 Richard W.M... Implement stdlib directory, -I, --no-prelude, etc.
2019-12-28 Richard W.M... Define OCaml Config module in ./configure, ./run script...
2019-12-28 Richard W.M... Implement tactics.
2019-12-28 Richard W.M... Remove Ast.PVar.
2019-12-28 Richard W.M... Run code with set -e / set -x.
2019-12-27 Richard W.M... Actually run goal code.
2019-12-27 Richard W.M... Add implicit tactic rebuild.
2019-12-27 Richard W.M... Substitute %<, %@ etc variables into code.
2019-12-27 Richard W.M... Add Ast.to_shell_script.
2019-12-27 Richard W.M... Hard code *file tactic.
2019-12-27 Richard W.M... Implement tactic matching.
2019-12-27 Richard W.M... todo: Note default parameters.
2019-12-26 Richard W.M... Factor out param_decl and improvements to AST printing.
2019-12-25 Richard W.M... Refactor evaluation.
2019-12-25 Richard W.M... Fix file() -> *file() in comment about tactics.
2019-12-25 Richard W.M... Rename Ast.StringMap -> Ast.Env
2019-12-23 Richard W.M... Begin converting Ast print functions so they can be...
2019-12-23 Richard W.M... Send debug message to stderr.
2019-12-23 Richard W.M... Print errors (Failure exceptions) nicely.
2019-12-23 Richard W.M... Define *file() syntax for tactic constructors.
2019-12-23 Richard W.M... Attach parser location information to AST nodes.
2019-12-23 Richard W.M... Basic evaluation.
2019-12-23 Richard W.M... Implement -C / --directory option.
2019-12-23 Richard W.M... Add environment to store variables and goals.
2019-12-22 Richard W.M... Command line parsing of anon args.
2019-12-22 Richard W.M... Expose parsing of expressions from command line.
2019-12-21 Richard W.M... Continue command line parsing.
2019-12-21 Richard W.M... Rename parsing/ to src/
2019-12-21 Richard W.M... Initial commit of parser.