Issues
- 0
Replace reader with subject
#48 opened by MarcStorm - 0
Implement comparison operators (>, <, ≥, ≤)
#36 opened by tympanix - 0
- 2
Replace reader with operator
#45 opened by MarcStorm - 1
States with dependency where conf. policy is not satisfied can be put in repo
#44 opened by MarcStorm - 0
Support equals with attributes on both sides
#38 opened by tympanix - 0
- 0
Confidentiality policies does not support User
#42 opened by MarcStorm - 0
- 0
Implement credentials/identity
#34 opened by tympanix - 0
Implement Self predicate
#32 opened by tympanix - 0
LTL formulae without temporal logic operators throws an error when checked for satisfiability
#24 opened by MarcStorm - 0
Implement aggregate functions to derive new data
#35 opened by tympanix - 0
Implement existential operator on paths
#33 opened by tympanix - 0
- 0
Add support for truth literal
#30 opened by MarcStorm - 0
Add support for integer literal
#31 opened by MarcStorm - 0
Hash equality comparators to reduce RefTable
#29 opened by MarcStorm - 0
Minimise LTL formulae
#27 opened by MarcStorm - 0
Minimise NBA
#26 opened by MarcStorm - 0
- 1
Move operator classes to new package op
#16 opened by MarcStorm - 0
Reduce GNBA by finding the reachable states
#22 opened by MarcStorm - 0
Optimize stack contains method to constant time
#21 opened by tympanix - 0
Refactor gnba package to ba
#15 opened by MarcStorm - 1
- 1
Create Conflicts method
#17 opened by MarcStorm - 0
Make Set use Map instead of Slice
#3 opened by MarcStorm - 1
Only generate subsets of length closure(phi)/2
#11 opened by MarcStorm - 0
- 0
Rename gnba.Node to gnba.State
#4 opened by MarcStorm - 0
Add support for disjunction in ltl.Node
#6 opened by MarcStorm - 0
Add support for conjunction in ltl.Node
#5 opened by MarcStorm