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

Age	Commit message (Expand)	Author
2023-09-19	Expression evaluation	Jakob L. Kreuze
2023-09-13	Beginnings of encoding bags into semantics	Jakob L. Kreuze
2023-09-12	Move Match evaluation to namespace	Jakob L. Kreuze
2023-09-12	Drop examples to make exprimenting easier	Jakob L. Kreuze
2023-09-12	Troll through syntax once more	Jakob L. Kreuze
2023-09-12	Initial evaluation for obligation/advice	Jakob L. Kreuze
2023-09-12	Intro Obligations and Expressions to the type definitions	Jakob L. Kreuze
2023-09-12	Implement evaluate_designator	Jakob L. Kreuze
2023-09-12	More cleanup	Jakob L. Kreuze
2023-09-12	Rename Xacml*	Jakob L. Kreuze
2023-09-12	Initial implementation of evaluation functions	Jakob L. Kreuze
2023-09-12	First implementation of evaluate_rule	Jakob L. Kreuze
2023-09-12	Introduce XacmlValue	Jakob L. Kreuze
2023-09-12	Changes so example 4.1 type checks	Jakob L. Kreuze
2023-09-12	Initial commit	Jakob L. Kreuze
2023-09-12	Prepare to replay XACML repository on top of this one	Jakob L. Kreuze
2023-05-31	I declare bankruptcy :)	Jakob L. Kreuze
2023-05-30	Introduced locals are already resolved	Jakob L. Kreuze
2023-05-24	Initial attempt to salvage the remaining functionality of `extract-identifiers'	Jakob L. Kreuze
2023-05-24	No work necessary for `bool-to-prop'	Jakob L. Kreuze
2023-05-24	Update `collapse-constraints'	Jakob L. Kreuze
2023-05-24	No work necessary for `compile-funcall'	Jakob L. Kreuze
2023-05-24	Quick and dirty assignment analysis	Jakob L. Kreuze
2023-05-24	Update `lift-implicit-anonymous' to new scope interface	Jakob L. Kreuze
2023-05-24	No action necessary for `compile-object-literal'	Jakob L. Kreuze
2023-05-24	Initial update of `compile-for-all'	Jakob L. Kreuze
2023-05-24	Initial fleshing out of idea	Jakob L. Kreuze
2023-05-23	Lift implicit anonymous variables (e.g., `$0`) to `exists-some`	Jakob L. Kreuze
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