2020-01-07 |
Richard W.M. Jones | cmdline: Don't convert Goalfile, includes to absolute... |
tree | commitdiff |
2020-01-07 |
Richard W.M. Jones | In debug mode (-d) print all shell scripts executed. |
tree | commitdiff |
2020-01-07 |
Richard W.M. Jones | eval: Split running external code according to return... |
tree | commitdiff |
2020-01-07 |
Richard W.M. Jones | Implement pure functions. |
tree | commitdiff |
2020-01-06 |
Richard W.M. Jones | lexer: Use @{...} for quiet code sections. |
tree | commitdiff |
2020-01-06 |
Richard W.M. Jones | parser: Fix parsing of patterns containing explicit... |
tree | commitdiff |
2020-01-06 |
Richard W.M. Jones | parser: Fix tracking of beginning of line for error... |
tree | commitdiff |
2020-01-06 |
Richard W.M. Jones | Copy system environment into initial env, and also... |
tree | commitdiff |
2020-01-06 |
Richard W.M. Jones | Allow functions "returning strings" (etc), redefine... |
tree | commitdiff |
2020-01-05 |
Richard W.M. Jones | Standardize running code in a single function, include... |
tree | commitdiff |
2020-01-05 |
Richard W.M. Jones | Functions return expressions instead of only lists... |
tree | commitdiff |
2020-01-04 |
Richard W.M. Jones | Ast: Standard location for ocamldoc comments. |
tree | commitdiff |
2020-01-04 |
Richard W.M. Jones | Implement functions. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Ast: Remove functions which were moved to Eval module. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | run: Fix whitespace. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | run: Better debugging and error messages for goals... |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | run: If multiple goals match a tactic, at most one... |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Don't default to echoing tactic command. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | parser: Optional semicolon between statements. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Simplify Constructor -> Ctor. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Rename Eval -> Run, split out some Ast functions into... |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | eval: Don't check target was rebuilt if there is no... |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Use goals itself exclusively to build. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | eval: Goals with no targets always need a rebuild. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | eval: If multiple goals match a tactic, run them all. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | lexer: Fix parsing of { characters in CODE sections. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | eval: Explicit function to evaluate goal arguments. |
tree | commitdiff |
2020-01-03 |
Richard W.M. Jones | Revert "eval: Expand goal args before running the goal." |
tree | commitdiff |
2020-01-02 |
Richard W.M. Jones | eval: Expand goal args before running the goal. |
tree | commitdiff |
2020-01-02 |
Richard W.M. Jones | Lexer: Allow "-" char in the middle of identifier names. |
tree | commitdiff |
2020-01-02 |
Richard W.M. Jones | Ast: Rename ECallTactic to ETacticConstructor. |
tree | commitdiff |
2020-01-02 |
Richard W.M. Jones | Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn. |
tree | commitdiff |
2019-12-31 |
Richard W.M. Jones | Implement -include (optional include) command. |
tree | commitdiff |
2019-12-31 |
Richard W.M. Jones | Fix ‘goal’ when it appears as a target (meaning ‘goal... |
tree | commitdiff |
2019-12-31 |
Richard W.M. Jones | Add some more debugging. |
tree | commitdiff |
2019-12-30 |
Richard W.M. Jones | Implement -d (debug) option. |
tree | commitdiff |
2019-12-30 |
Richard W.M. Jones | Change -V to -v for compat with make. |
tree | commitdiff |
2019-12-30 |
Richard W.M. Jones | Implement stdlib directory, -I, --no-prelude, etc. |
tree | commitdiff |
2019-12-28 |
Richard W.M. Jones | Define OCaml Config module in ./configure, ./run script... |
tree | commitdiff |
2019-12-28 |
Richard W.M. Jones | Implement tactics. |
tree | commitdiff |
2019-12-28 |
Richard W.M. Jones | Remove Ast.PVar. |
tree | commitdiff |
2019-12-28 |
Richard W.M. Jones | Run code with set -e / set -x. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Actually run goal code. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Add implicit tactic rebuild. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Substitute %<, %@ etc variables into code. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Add Ast.to_shell_script. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Hard code *file tactic. |
tree | commitdiff |
2019-12-27 |
Richard W.M. Jones | Implement tactic matching. |
tree | commitdiff |
2019-12-26 |
Richard W.M. Jones | Factor out param_decl and improvements to AST printing. |
tree | commitdiff |
2019-12-25 |
Richard W.M. Jones | Refactor evaluation. |
tree | commitdiff |
2019-12-25 |
Richard W.M. Jones | Fix file() -> *file() in comment about tactics. |
tree | commitdiff |
2019-12-25 |
Richard W.M. Jones | Rename Ast.StringMap -> Ast.Env |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Begin converting Ast print functions so they can be... |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Send debug message to stderr. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Print errors (Failure exceptions) nicely. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Define *file() syntax for tactic constructors. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Attach parser location information to AST nodes. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Basic evaluation. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Implement -C / --directory option. |
tree | commitdiff |
2019-12-23 |
Richard W.M. Jones | Add environment to store variables and goals. |
tree | commitdiff |
2019-12-22 |
Richard W.M. Jones | Command line parsing of anon args. |
tree | commitdiff |
2019-12-22 |
Richard W.M. Jones | Expose parsing of expressions from command line. |
tree | commitdiff |
2019-12-21 |
Richard W.M. Jones | Continue command line parsing. |
tree | commitdiff |
2019-12-21 |
Richard W.M. Jones | Rename parsing/ to src/ |
tree | commitdiff |
|