100644 blob 0d2ea2cf5dcf6e128159abdddac94708b52eb131	Makefile.am
100644 blob a11b5e333f8671342e8d613a9126474a94cd1613	all.c
100644 blob c63cbbfa68b71404dc02c5b41094c5ce4c6a4427	assertion.c
100644 blob 2c6eea5cc29d33626f3ff8236d3c34af657a2467	assertion_builder.c
100644 blob b50c9dce6c00b18e8b55a9f8e704f2b338572d32	build.sh
100644 blob d8b3848535f46a6eb493d61aceaf8f955ade9290	engine.c
100644 blob 639979d3efe973514c9fb79fb54deed3f51011c9	exactlyone.c
100644 blob 75d740d363aa827782da0f006f58b9c6cf4498c1	operator.c
100644 blob 52d56edf1a22a2a2415228db0881396f897d1c46	policy.c
100644 blob d0cfc2001d5b0d6923a096c0eb520276315b2b3e	reference.c
100644 blob 9a12965b3d382a55f482e8f9f24cc3d4b029950a	registry.c
040000 tree 4db31774ed7df12ecfdacc0fc791cf3d4f5b9600	samples
040000 tree 810c1eb654131ec253dd2b9ee5895c62db1fcaa5	secpolicy
040000 tree 386a61bb89373b15b9786c5b91dd35e3e12c403e	test-resources
100644 blob 2e69f65f08a5a917fb0bde092dd06c2f76548cdb	util.c