git.annexia.org / goals.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
goals.git
2020-01-12 Richard W.M... stdlib: Protect some functions using "--". commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... Update TOOD. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... tests: Don't suppress stderr in some tests. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement error() function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement read() and readlines() functions. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement head() and tail() functions. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement realpath() function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement join() function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement dirname(), basename() and extension... commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... docs: Document functions sort, wildcard and wrap. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... stdlib: Implement subst function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... docs: Remove separate goals-reference manual. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... eval: Remove a single trailing \n from "returning strin... commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... tests: Add test of the wildcard function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... cmdline: Implement -s (--silent or --quiet) option. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... tests: Add test of the sort function. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... build: Run make clean in parallel. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... utils: Implement -j properly. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... tests: Add a basic test of dependencies. commit | commitdiff | tree | snapshot
2020-01-12 Richard W.M... tests: Consistency. commit | commitdiff | tree | snapshot
2020-01-11 Richard W.M... build: Hide make passthrough command. commit | commitdiff | tree | snapshot
2020-01-11 Richard W.M... parser: Fix longstanding bug where "()" was required... commit | commitdiff | tree | snapshot
2020-01-11 Richard W.M... tests: More basic tests. commit | commitdiff | tree | snapshot
2020-01-11 Richard W.M... tests: Print PASS/FAIL for each test. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... run: Improve consistency of error messages. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... jobs: Wait for completion even in the error case. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... tests: Add basic tests. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... parser: Allow an empty goal statement with no targets... commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... build: Add 'make maintainer-clean' passthrough rule. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... stdlib: Add wrap function. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... stdlib: Don't add \n after quoted_string. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... run: Add %goals_final_check variable when evaluating... commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... Split implementation into dependency analysis and trave... commit | commitdiff | tree | snapshot
2020-01-09 Richard W.M... utils: Add unique () function. commit | commitdiff | tree | snapshot
2020-01-09 Richard W.M... jobs: Don't let Failure exception escape from worker. commit | commitdiff | tree | snapshot
2020-01-09 Richard W.M... cmdline: Make sure all errors go through main () function. commit | commitdiff | tree | snapshot
2020-01-09 Richard W.M... jobs: Introduce stop_all function to stop job submissio... commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... Update TODO. commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... build: Create man/ subdirectory before building man... commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... Implement parallel jobs (-j option). commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... build: Remove man/*.? man pages when running 'make... commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... docs: Add empty Goalfile(5) and goals-reference(5). commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... docs: Write man pages to man/ subdirectory. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... docs: Expand the basic man page. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... docs: Use pod2man -u option. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... cmdline: Don't convert Goalfile, includes to absolute... commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Add documentation subdirectory. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... In debug mode (-d) print all shell scripts executed. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Add README file for the project. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Update TODO. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... eval: Split running external code according to return... commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Implement pure functions. commit | commitdiff | tree | snapshot
2020-01-06 Richard W.M... lexer: Use @{...} for quiet code sections. commit | commitdiff | tree | snapshot
2020-01-06 Richard W.M... parser: Fix parsing of patterns containing explicit... commit | commitdiff | tree | snapshot
2020-01-06 Richard W.M... parser: Fix tracking of beginning of line for error... commit | commitdiff | tree | snapshot
2020-01-06 Richard W.M... Copy system environment into initial env, and also... commit | commitdiff | tree | snapshot
2020-01-06 Richard W.M... Allow functions "returning strings" (etc), redefine... commit | commitdiff | tree | snapshot
2020-01-05 Richard W.M... Standardize running code in a single function, include... commit | commitdiff | tree | snapshot
2020-01-05 Richard W.M... Update TODO commit | commitdiff | tree | snapshot
2020-01-05 Richard W.M... Functions return expressions instead of only lists... commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... build: Create dependencies for Goalfile itself. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... stdlib: Implement sort function. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... Update TODO. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... build: Generate complete OCaml dependencies. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... Ast: Standard location for ocamldoc comments. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... stdlib: Implement wildcard function. commit | commitdiff | tree | snapshot
2020-01-04 Richard W.M... Implement functions. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... Ast: Remove functions which were moved to Eval module. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... build: Add depend goal and 'make depend'. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... build: Don't always pass -d to goals. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... build: Fix construction of parser.mli commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... build: Fix ocamldep invocation. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... build: Fix 'goals clean' rule. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... stdlib: Fix *file tactic. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... run: Fix whitespace. commit | commitdiff | tree | snapshot
2020-01-03 Richard W.M... run: Better debugging and error messages for goals... commit | commitdiff | tree | snapshot
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
next
Unnamed repository; edit this file 'description' to name the repository.