goals.git
2020-01-12 Richard W.M... utils: Implement -j properly.
2020-01-12 Richard W.M... tests: Add a basic test of dependencies.
2020-01-12 Richard W.M... tests: Consistency.
2020-01-11 Richard W.M... build: Hide make passthrough command.
2020-01-11 Richard W.M... parser: Fix longstanding bug where "()" was required...
2020-01-11 Richard W.M... tests: More basic tests.
2020-01-11 Richard W.M... tests: Print PASS/FAIL for each test.
2020-01-10 Richard W.M... run: Improve consistency of error messages.
2020-01-10 Richard W.M... jobs: Wait for completion even in the error case.
2020-01-10 Richard W.M... tests: Add basic tests.
2020-01-10 Richard W.M... parser: Allow an empty goal statement with no targets...
2020-01-10 Richard W.M... build: Add 'make maintainer-clean' passthrough rule.
2020-01-10 Richard W.M... stdlib: Add wrap function.
2020-01-10 Richard W.M... stdlib: Don't add \n after quoted_string.
2020-01-10 Richard W.M... run: Add %goals_final_check variable when evaluating...
2020-01-10 Richard W.M... Split implementation into dependency analysis and trave...
2020-01-09 Richard W.M... utils: Add unique () function.
2020-01-09 Richard W.M... jobs: Don't let Failure exception escape from worker.
2020-01-09 Richard W.M... cmdline: Make sure all errors go through main () function.
2020-01-09 Richard W.M... jobs: Introduce stop_all function to stop job submissio...
2020-01-08 Richard W.M... Update TODO.
2020-01-08 Richard W.M... build: Create man/ subdirectory before building man...
2020-01-08 Richard W.M... Implement parallel jobs (-j option).
2020-01-08 Richard W.M... build: Remove man/*.? man pages when running 'make...
2020-01-07 Richard W.M... docs: Add empty Goalfile(5) and goals-reference(5).
2020-01-07 Richard W.M... docs: Write man pages to man/ subdirectory.
2020-01-07 Richard W.M... docs: Expand the basic man page.
2020-01-07 Richard W.M... docs: Use pod2man -u option.
2020-01-07 Richard W.M... cmdline: Don't convert Goalfile, includes to absolute...
2020-01-07 Richard W.M... Add documentation subdirectory.
2020-01-07 Richard W.M... In debug mode (-d) print all shell scripts executed.
2020-01-07 Richard W.M... Add README file for the project.
2020-01-07 Richard W.M... Update TODO.
2020-01-07 Richard W.M... eval: Split running external code according to return...
2020-01-07 Richard W.M... Implement pure functions.
2020-01-06 Richard W.M... lexer: Use @{...} for quiet code sections.
2020-01-06 Richard W.M... parser: Fix parsing of patterns containing explicit...
2020-01-06 Richard W.M... parser: Fix tracking of beginning of line for error...
2020-01-06 Richard W.M... Copy system environment into initial env, and also...
2020-01-06 Richard W.M... Allow functions "returning strings" (etc), redefine...
2020-01-05 Richard W.M... Standardize running code in a single function, include...
2020-01-05 Richard W.M... Update TODO
2020-01-05 Richard W.M... Functions return expressions instead of only lists...
2020-01-04 Richard W.M... build: Create dependencies for Goalfile itself.
2020-01-04 Richard W.M... stdlib: Implement sort function.
2020-01-04 Richard W.M... Update TODO.
2020-01-04 Richard W.M... build: Generate complete OCaml dependencies.
2020-01-04 Richard W.M... Ast: Standard location for ocamldoc comments.
2020-01-04 Richard W.M... stdlib: Implement wildcard function.
2020-01-04 Richard W.M... Implement functions.
2020-01-03 Richard W.M... Ast: Remove functions which were moved to Eval module.
2020-01-03 Richard W.M... build: Add depend goal and 'make depend'.
2020-01-03 Richard W.M... build: Don't always pass -d to goals.
2020-01-03 Richard W.M... build: Fix construction of parser.mli
2020-01-03 Richard W.M... build: Fix ocamldep invocation.
2020-01-03 Richard W.M... build: Fix 'goals clean' rule.
2020-01-03 Richard W.M... stdlib: Fix *file tactic.
2020-01-03 Richard W.M... run: Fix whitespace.
2020-01-03 Richard W.M... run: Better debugging and error messages for goals...
2020-01-03 Richard W.M... run: If multiple goals match a tactic, at most one...
2020-01-03 Richard W.M... Don't default to echoing tactic command.
2020-01-03 Richard W.M... Update TODO
2020-01-03 Richard W.M... In dependency file, use ; between statements.
2020-01-03 Richard W.M... parser: Optional semicolon between statements.
2020-01-03 Richard W.M... Simplify Constructor -> Ctor.
2020-01-03 Richard W.M... Rename Eval -> Run, split out some Ast functions into...
2020-01-03 Richard W.M... eval: Don't check target was rebuilt if there is no...
2020-01-03 Richard W.M... Use goals itself exclusively to build.
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
next