-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Co-authored-by: jcp19 <[email protected]>
- Loading branch information
1 parent
0310994
commit 1903805
Showing
2 changed files
with
2 additions
and
2 deletions.
There are no files selected for viewing
Submodule silicon
updated
4 files
+1 −1 | silver | |
+2 −2 | src/main/scala/rules/Evaluator.scala | |
+2 −2 | src/main/scala/rules/Executor.scala | |
+17 −2 | src/main/scala/rules/PermissionSupporter.scala |