-
Gary Wong authored
Replacing the previous ABAC query prover. Patch supplied by <wim.vandemeerssche@intec.ugent.be>, who reported the prover failed to perform the proper verification for him.
2bf8e4c8
Replacing the previous ABAC query prover. Patch supplied by <wim.vandemeerssche@intec.ugent.be>, who reported the prover failed to perform the proper verification for him.