rego-proofs.git - Lean proofs for my Master's thesis

Age	Commit message (Expand)	Author
2023-05-13	Uncomment remaining testsmerge-parsing-stages	Jakob L. Kreuze
2023-05-13	Separate pass for compiling object literals	Jakob L. Kreuze
2023-05-12	Some processing order issues resolved	Jakob L. Kreuze
2023-05-10	Join files	Jakob L. Kreuze
2023-05-10	Uncomment failing test	Jakob L. Kreuze
2023-05-10	Parse rules with `else' branches	Jakob L. Kreuze
2023-05-10	Arrays are multi-dimensional but we actually want to restrict to 1 dimension	Jakob L. Kreuze
2023-05-10	Finish parsing tests of interest; some issues discovered	Jakob L. Kreuze
2023-05-05	Initial parsing tests	Jakob L. Kreuze
2023-05-04	Implement with-new-identifiers macro	Jakob L. Kreuze
2023-05-04	Replace explicit lenses with a macro based on slot interface	Jakob L. Kreuze
2023-05-04	Document (and fix) scope "breadcrumb" format	Jakob L. Kreuze
2023-05-04	Add `lift-comprehensions.scm'	Jakob L. Kreuze
2023-05-04	Compilation of default rules	Jakob L. Kreuze
2023-05-04	Clean up types.scm	Jakob L. Kreuze
2023-05-03	Update unconditional assignment optimization	Jakob L. Kreuze
2023-05-03	Initial compilation of 08-object-comprehension.rego	Jakob L. Kreuze
2023-05-03	Fix parsing of comprehensions	Jakob L. Kreuze
2023-05-03	Initial work for compiling 08-object-comprehension.rego	Jakob L. Kreuze
2023-05-03	Support compilation of set literals	Jakob L. Kreuze
2023-05-03	Fix issue of policy-map dropping rules	Jakob L. Kreuze
2023-05-03	Recurse on <lean-compare>	Jakob L. Kreuze
2023-05-03	Implement `bool-to-prop'.	Jakob L. Kreuze
2023-05-03	Use type inference in compile-reference	Jakob L. Kreuze
2023-05-02	compile-reference proof-of-concept	Jakob L. Kreuze
2023-05-02	Normalize representation of variables in <scope> construct	Jakob L. Kreuze
2023-04-27	Successfully compile 04-rule-free-variables.rego	Jakob L. Kreuze
2023-04-27	Eliminate multi-valued return for passes	Jakob L. Kreuze
2023-04-27	Refactor read-and-parse.scm	Jakob L. Kreuze
2023-04-27	Reorder passes	Jakob L. Kreuze
2023-04-27	Add dependencies as submodules	Jakob L. Kreuze
2023-04-26	Successfully compiles 03-set-defined-by-predicate.rego	Jakob L. Kreuze
2023-04-26	Fix compilation of references	Jakob L. Kreuze
2023-04-26	Re-phrase scope analysis as constraint collection	Jakob L. Kreuze
2023-04-26	Clean up worktree	Jakob L. Kreuze
2023-04-22	Nix dead code	Jakob L. Kreuze
2023-04-21	Fix compilation of 04-rule-free-variables.rego	Jakob L. Kreuze
2023-04-21	Limit forms that can add identifiers to the scope	Jakob L. Kreuze
2023-04-21	Missing subject in emit-inductive	Jakob L. Kreuze
2023-04-20	Procedures for refining the current scope	Jakob L. Kreuze
2023-04-17	Some testing. Not great, but lets me know when 01-03 compile differently	Jakob L. Kreuze
2023-04-17	Import missing keyword from 05-head-subset-rule.rego	Jakob L. Kreuze
2023-04-17	Slightly better but still not correct without scope analysis	Jakob L. Kreuze
2023-04-17	Compilation of locals	Jakob L. Kreuze
2023-04-17	Can now compile 03-set-defined-by-predicate.rego	Jakob L. Kreuze
2023-04-16	GOOPS rewrite	Jakob L. Kreuze
2023-04-16	Add examples/11-with-keyword and examples/12-some-keyword	Jakob L. Kreuze
2023-04-16	First commit for `compile-constraints'	Jakob L. Kreuze
2023-04-16	Initial compilation of existential quantification	Jakob L. Kreuze
2023-04-16	Persistent scope information + funcall	Jakob L. Kreuze