annexia.org >> repositories - goals.git/search

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

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom