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

Age	Commit message (Expand)	Author
2023-12-22	Prove remaining `sorry' statementsHEAD master	Jakob L. Kreuze
2023-12-22	Finish proving `pr'	Jakob L. Kreuze
2023-12-22	Prove ta_external_grades_not_applicable	Jakob L. Kreuze
2023-12-21	Update lemmas	Jakob L. Kreuze
2023-12-21	s/simp/rfl/ where necessary	Jakob L. Kreuze
2023-12-21	LawfulBEq proofs	Jakob L. Kreuze
2023-12-21	Check-in remaining files	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-21	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-15	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-11	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-07	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-06	Jakob L. Kreuze
2023-10-15	Rego compiler: initial commit	Jakob L. Kreuze
2023-09-24	Implement advice/obligation combining	Jakob L. Kreuze
2023-09-23	Use explicit tree structure to represent policy tree	Jakob L. Kreuze
2023-09-21	First propagation of missing attribute errors	Jakob L. Kreuze
2023-09-21	Initial attempt at PolicySet evaluation; hitting a wall with nontermination	Jakob L. Kreuze
2023-09-21	Distinguish between rule/policy combinators	Jakob L. Kreuze
2023-09-21	Evaluate AllOf/AnyOf according to § 7.7	Jakob L. Kreuze
2023-09-20	Policy evaluation	Jakob L. Kreuze
2023-09-20	Rule evaluation	Jakob L. Kreuze
2023-09-19	Condition evaluation	Jakob L. Kreuze
2023-09-19	Target/Match semantics	Jakob L. Kreuze
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