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

2019-12-27	Richard W.M. Jones	Hard code *file tactic.	commit \| commitdiff \| tree
2019-12-27	Richard W.M. Jones	Implement tactic matching.	commit \| commitdiff \| tree
2019-12-27	Richard W.M. Jones	todo: Note default parameters.	commit \| commitdiff \| tree
2019-12-26	Richard W.M. Jones	Factor out param_decl and improvements to AST printing.	commit \| commitdiff \| tree
2019-12-25	Richard W.M. Jones	Refactor evaluation.	commit \| commitdiff \| tree
2019-12-25	Richard W.M. Jones	Fix file() -> *file() in comment about tactics.	commit \| commitdiff \| tree
2019-12-25	Richard W.M. Jones	Rename Ast.StringMap -> Ast.Env	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Begin converting Ast print functions so they can be...	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Send debug message to stderr.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Print errors (Failure exceptions) nicely.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Define *file() syntax for tactic constructors.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Attach parser location information to AST nodes.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Basic evaluation.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Implement -C / --directory option.	commit \| commitdiff \| tree
2019-12-23	Richard W.M. Jones	Add environment to store variables and goals.	commit \| commitdiff \| tree
2019-12-22	Richard W.M. Jones	Command line parsing of anon args.	commit \| commitdiff \| tree
2019-12-22	Richard W.M. Jones	Expose parsing of expressions from command line.	commit \| commitdiff \| tree
2019-12-21	Richard W.M. Jones	Continue command line parsing.	commit \| commitdiff \| tree
2019-12-21	Richard W.M. Jones	Rename parsing/ to src/	commit \| commitdiff \| tree
2019-12-21	Richard W.M. Jones	Initial commit of parser.	commit \| commitdiff \| tree

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

RSS Atom