git.annexia.org / goals.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
stdlib/fedora: Use rpmdev-bumpspec -r flag for < Rawhide builds.
[goals.git] / src /
2020-02-27 Richard W.M. Jonesrun: Improve error message if a predicate script fails. tree | commitdiff
2020-01-20 Richard W.M. JonesImplement %tmpdir. tree | commitdiff
2020-01-20 Richard W.M. JonesRename tactic -> predicate. tree | commitdiff
2020-01-20 Richard W.M. JonesImplement keep-going (-k) option. tree | commitdiff
2020-01-20 Richard W.M. Jonesjobs: If multiple jobs fail, save and print all the... tree | commitdiff
2020-01-20 Richard W.M. Jonesjobs: Remove unnecessary 'a retire and 'a to_string... tree | commitdiff
2020-01-12 Richard W.M. Jonesbuild: Implement install rule. tree | commitdiff
2020-01-12 Richard W.M. Joneseval: Remove a single trailing \n from "returning strin... tree | commitdiff
2020-01-12 Richard W.M. Jonescmdline: Implement -s (--silent or --quiet) option. tree | commitdiff
2020-01-12 Richard W.M. Jonesutils: Implement -j properly. tree | commitdiff
2020-01-11 Richard W.M. Jonesparser: Fix longstanding bug where "()" was required... tree | commitdiff
2020-01-10 Richard W.M. Jonesrun: Improve consistency of error messages. tree | commitdiff
2020-01-10 Richard W.M. Jonesjobs: Wait for completion even in the error case. tree | commitdiff
2020-01-10 Richard W.M. Jonesparser: Allow an empty goal statement with no targets... tree | commitdiff
2020-01-10 Richard W.M. Jonesrun: Add %goals_final_check variable when evaluating... tree | commitdiff
2020-01-10 Richard W.M. JonesSplit implementation into dependency analysis and trave... tree | commitdiff
2020-01-09 Richard W.M. Jonesutils: Add unique () function. tree | commitdiff
2020-01-09 Richard W.M. Jonesjobs: Don't let Failure exception escape from worker. tree | commitdiff
2020-01-09 Richard W.M. Jonescmdline: Make sure all errors go through main () function. tree | commitdiff
2020-01-09 Richard W.M. Jonesjobs: Introduce stop_all function to stop job submissio... tree | commitdiff
2020-01-08 Richard W.M. JonesImplement parallel jobs (-j option). tree | commitdiff
2020-01-07 Richard W.M. Jonescmdline: Don't convert Goalfile, includes to absolute... tree | commitdiff
2020-01-07 Richard W.M. JonesIn debug mode (-d) print all shell scripts executed. tree | commitdiff
2020-01-07 Richard W.M. Joneseval: Split running external code according to return... tree | commitdiff
2020-01-07 Richard W.M. JonesImplement pure functions. tree | commitdiff
2020-01-06 Richard W.M. Joneslexer: Use @{...} for quiet code sections. tree | commitdiff
2020-01-06 Richard W.M. Jonesparser: Fix parsing of patterns containing explicit... tree | commitdiff
2020-01-06 Richard W.M. Jonesparser: Fix tracking of beginning of line for error... tree | commitdiff
2020-01-06 Richard W.M. JonesCopy system environment into initial env, and also... tree | commitdiff
2020-01-06 Richard W.M. JonesAllow functions "returning strings" (etc), redefine... tree | commitdiff
2020-01-05 Richard W.M. JonesStandardize running code in a single function, include... tree | commitdiff
2020-01-05 Richard W.M. JonesFunctions return expressions instead of only lists... tree | commitdiff
2020-01-04 Richard W.M. JonesAst: Standard location for ocamldoc comments. tree | commitdiff
2020-01-04 Richard W.M. JonesImplement functions. tree | commitdiff
2020-01-03 Richard W.M. JonesAst: Remove functions which were moved to Eval module. tree | commitdiff
2020-01-03 Richard W.M. Jonesrun: Fix whitespace. tree | commitdiff
2020-01-03 Richard W.M. Jonesrun: Better debugging and error messages for goals... tree | commitdiff
2020-01-03 Richard W.M. Jonesrun: If multiple goals match a tactic, at most one... tree | commitdiff
2020-01-03 Richard W.M. JonesDon't default to echoing tactic command. tree | commitdiff
2020-01-03 Richard W.M. Jonesparser: Optional semicolon between statements. tree | commitdiff
2020-01-03 Richard W.M. JonesSimplify Constructor -> Ctor. tree | commitdiff
2020-01-03 Richard W.M. JonesRename Eval -> Run, split out some Ast functions into... tree | commitdiff
2020-01-03 Richard W.M. Joneseval: Don't check target was rebuilt if there is no... tree | commitdiff
2020-01-03 Richard W.M. JonesUse goals itself exclusively to build. tree | commitdiff
2020-01-03 Richard W.M. Joneseval: Goals with no targets always need a rebuild. tree | commitdiff
2020-01-03 Richard W.M. Joneseval: If multiple goals match a tactic, run them all. tree | commitdiff
2020-01-03 Richard W.M. Joneslexer: Fix parsing of { characters in CODE sections. tree | commitdiff
2020-01-03 Richard W.M. Joneseval: Explicit function to evaluate goal arguments. tree | commitdiff
2020-01-03 Richard W.M. JonesRevert "eval: Expand goal args before running the goal." tree | commitdiff
2020-01-02 Richard W.M. Joneseval: Expand goal args before running the goal. tree | commitdiff
2020-01-02 Richard W.M. JonesLexer: Allow "-" char in the middle of identifier names. tree | commitdiff
2020-01-02 Richard W.M. JonesAst: Rename ECallTactic to ETacticConstructor. tree | commitdiff
2020-01-02 Richard W.M. JonesAst: Change EGoal -> EGoalDefn, ETactic -> ETacticDefn. tree | commitdiff
2019-12-31 Richard W.M. JonesImplement -include (optional include) command. tree | commitdiff
2019-12-31 Richard W.M. JonesFix ‘goal’ when it appears as a target (meaning ‘goal... tree | commitdiff
2019-12-31 Richard W.M. JonesAdd some more debugging. tree | commitdiff
2019-12-30 Richard W.M. JonesImplement -d (debug) option. tree | commitdiff
2019-12-30 Richard W.M. JonesChange -V to -v for compat with make. tree | commitdiff
2019-12-30 Richard W.M. JonesImplement stdlib directory, -I, --no-prelude, etc. tree | commitdiff
2019-12-28 Richard W.M. JonesDefine OCaml Config module in ./configure, ./run script... tree | commitdiff
2019-12-28 Richard W.M. JonesImplement tactics. tree | commitdiff
2019-12-28 Richard W.M. JonesRemove Ast.PVar. tree | commitdiff
2019-12-28 Richard W.M. JonesRun code with set -e / set -x. tree | commitdiff
2019-12-27 Richard W.M. JonesActually run goal code. tree | commitdiff
2019-12-27 Richard W.M. JonesAdd implicit tactic rebuild. tree | commitdiff
2019-12-27 Richard W.M. JonesSubstitute %<, %@ etc variables into code. tree | commitdiff
2019-12-27 Richard W.M. JonesAdd Ast.to_shell_script. tree | commitdiff
2019-12-27 Richard W.M. JonesHard code *file tactic. tree | commitdiff
2019-12-27 Richard W.M. JonesImplement tactic matching. tree | commitdiff
2019-12-26 Richard W.M. JonesFactor out param_decl and improvements to AST printing. tree | commitdiff
2019-12-25 Richard W.M. JonesRefactor evaluation. tree | commitdiff
2019-12-25 Richard W.M. JonesFix file() -> *file() in comment about tactics. tree | commitdiff
2019-12-25 Richard W.M. JonesRename Ast.StringMap -> Ast.Env tree | commitdiff
2019-12-23 Richard W.M. JonesBegin converting Ast print functions so they can be... tree | commitdiff
2019-12-23 Richard W.M. JonesSend debug message to stderr. tree | commitdiff
2019-12-23 Richard W.M. JonesPrint errors (Failure exceptions) nicely. tree | commitdiff
2019-12-23 Richard W.M. JonesDefine *file() syntax for tactic constructors. tree | commitdiff
2019-12-23 Richard W.M. JonesAttach parser location information to AST nodes. tree | commitdiff
2019-12-23 Richard W.M. JonesBasic evaluation. tree | commitdiff
2019-12-23 Richard W.M. JonesImplement -C / --directory option. tree | commitdiff
2019-12-23 Richard W.M. JonesAdd environment to store variables and goals. tree | commitdiff
2019-12-22 Richard W.M. JonesCommand line parsing of anon args. tree | commitdiff
2019-12-22 Richard W.M. JonesExpose parsing of expressions from command line. tree | commitdiff
2019-12-21 Richard W.M. JonesContinue command line parsing. tree | commitdiff
2019-12-21 Richard W.M. JonesRename parsing/ to src/ tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.