| 2020-01-04 |
Richard W.M. Jones | build: Generate complete OCaml dependencies.
|
commit | commitdiff | tree |
| 2020-01-04 |
Richard W.M. Jones | Ast: Standard location for ocamldoc comments.
|
commit | commitdiff | tree |
| 2020-01-04 |
Richard W.M. Jones | stdlib: Implement wildcard function.
|
commit | commitdiff | tree |
| 2020-01-04 |
Richard W.M. Jones | Implement functions.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Ast: Remove functions which were moved to Eval module.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | build: Add depend goal and 'make depend'.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | build: Don't always pass -d to goals.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | build: Fix construction of parser.mli
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | build: Fix ocamldep invocation.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | build: Fix 'goals clean' rule.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | stdlib: Fix *file tactic.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | run: Fix whitespace.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | run: Better debugging and error messages for goals...
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | run: If multiple goals match a tactic, at most one...
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Don't default to echoing tactic command.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Update TODO
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | In dependency file, use ; between statements.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | parser: Optional semicolon between statements.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Simplify Constructor -> Ctor.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Rename Eval -> Run, split out some Ast functions into...
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | eval: Don't check target was rebuilt if there is no...
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Use goals itself exclusively to build.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | eval: Goals with no targets always need a rebuild.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | eval: If multiple goals match a tactic, run them all.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | lexer: Fix parsing of { characters in CODE sections.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | eval: Explicit function to evaluate goal arguments.
|
commit | commitdiff | tree |
| 2020-01-03 |
Richard W.M. Jones | Revert "eval: Expand goal args before running the goal."
|
commit | commitdiff | tree |
| 2020-01-02 |
Richard W.M. Jones | eval: Expand goal args before running the goal.
|
commit | commitdiff | tree |
| 2020-01-02 |
Richard W.M. Jones | Lexer: Allow "-" char in the middle of identifier names.
|
commit | commitdiff | tree |
| 2020-01-02 |
Richard W.M. Jones | Ast: Rename ECallTactic to ETacticConstructor.
|
commit | commitdiff | tree |
| 2020-01-02 |
Richard W.M. Jones | Ast: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn.
|
commit | commitdiff | tree |
| 2019-12-31 |
Richard W.M. Jones | Implement -include (optional include) command.
|
commit | commitdiff | tree |
| 2019-12-31 |
Richard W.M. Jones | Fix ‘goal’ when it appears as a target (meaning ‘goal...
|
commit | commitdiff | tree |
| 2019-12-31 |
Richard W.M. Jones | More TODO ideas.
|
commit | commitdiff | tree |
| 2019-12-31 |
Richard W.M. Jones | Add some more debugging.
|
commit | commitdiff | tree |
| 2019-12-30 |
Richard W.M. Jones | Implement -d (debug) option.
|
commit | commitdiff | tree |
| 2019-12-30 |
Richard W.M. Jones | Change -V to -v for compat with make.
|
commit | commitdiff | tree |
| 2019-12-30 |
Richard W.M. Jones | stdlib: Add some rules for OCaml code.
|
commit | commitdiff | tree |
| 2019-12-30 |
Richard W.M. Jones | Implement stdlib directory, -I, --no-prelude, etc.
|
commit | commitdiff | tree |
| 2019-12-28 |
Richard W.M. Jones | Define OCaml Config module in ./configure, ./run script...
|
commit | commitdiff | tree |
| 2019-12-28 |
Richard W.M. Jones | Implement tactics.
|
commit | commitdiff | tree |
| 2019-12-28 |
Richard W.M. Jones | Remove Ast.PVar.
|
commit | commitdiff | tree |
| 2019-12-28 |
Richard W.M. Jones | Run code with set -e / set -x.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Actually run goal code.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Add implicit tactic rebuild.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Substitute %<, %@ etc variables into code.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Add Ast.to_shell_script.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Hard code *file tactic.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | Implement tactic matching.
|
commit | commitdiff | tree |
| 2019-12-27 |
Richard W.M. Jones | todo: Note default parameters.
|
commit | commitdiff | tree |
| 2019-12-26 |
Richard W.M. Jones | Factor out param_decl and improvements to AST printing.
|
commit | commitdiff | tree |
| 2019-12-25 |
Richard W.M. Jones | Refactor evaluation.
|
commit | commitdiff | tree |
| 2019-12-25 |
Richard W.M. Jones | Fix file() -> *file() in comment about tactics.
|
commit | commitdiff | tree |
| 2019-12-25 |
Richard W.M. Jones | Rename Ast.StringMap -> Ast.Env
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Begin converting Ast print functions so they can be...
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Send debug message to stderr.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Print errors (Failure exceptions) nicely.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Define *file() syntax for tactic constructors.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Attach parser location information to AST nodes.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Basic evaluation.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Implement -C / --directory option.
|
commit | commitdiff | tree |
| 2019-12-23 |
Richard W.M. Jones | Add environment to store variables and goals.
|
commit | commitdiff | tree |
| 2019-12-22 |
Richard W.M. Jones | Command line parsing of anon args.
|
commit | commitdiff | tree |
| 2019-12-22 |
Richard W.M. Jones | Expose parsing of expressions from command line.
|
commit | commitdiff | tree |
| 2019-12-21 |
Richard W.M. Jones | Continue command line parsing.
|
commit | commitdiff | tree |
| 2019-12-21 |
Richard W.M. Jones | Rename parsing/ to src/
|
commit | commitdiff | tree |
| 2019-12-21 |
Richard W.M. Jones | Initial commit of parser.
|
commit | commitdiff | tree |
|
git.annexia.org / goals.git / search