| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Xacml.lean | 47828 | logplain |
| -rw-r--r-- | authzforce-harness.bash | 878 | logplain |
| -rw-r--r-- | collection.sh | 301 | logplain |
| -rw-r--r-- | excluded.txt | 74695 | logplain |
| -rw-r--r-- | hyperfine-iia001.json | 4126 | logplain |
| -rw-r--r-- | hyperfine-iia003.json | 4069 | logplain |
| -rw-r--r-- | hyperfine-iia006.json | 3767 | logplain |
| -rw-r--r-- | lean-harness.bash | 286 | logplain |
| -rw-r--r-- | rego-harness.bash | 278 | logplain |
| d--------- | rego | 269 | logplain |
 |
index : rego-proofs.git | |
| Lean proofs for my Master's thesis | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
path: root/benchmarks
© 2015 - 2026 Jakob L. Kreuze