git.annexia.org / goals.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
goals.git
2020-01-03 Richard W.M... run: If multiple goals match a tactic, at most one... commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Don't default to echoing tactic command. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Update TODO commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... In dependency file, use ; between statements. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... parser: Optional semicolon between statements. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Simplify Constructor -> Ctor. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Rename Eval -> Run, split out some Ast functions into... commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... eval: Don't check target was rebuilt if there is no... commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Use goals itself exclusively to build. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... eval: Goals with no targets always need a rebuild. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... eval: If multiple goals match a tactic, run them all. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... lexer: Fix parsing of { characters in CODE sections. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... eval: Explicit function to evaluate goal arguments. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Revert "eval: Expand goal args before running the goal." commit | commitdiff | tree | snapshot
2020-01-02 Richard W.M... eval: Expand goal args before running the goal. commit | commitdiff | tree | snapshot
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.