|
|
@4f40c3e
|
12 years |
Mei |
1) add a yap patch file for 6.2.2 for FreeBSD platform
2) update …
mei_rt2mei_rt2_fix_1
|
|
|
@46df1bc
|
12 years |
Mei |
1) get ready for release 0.2.3
2) add forward function declaration in …
mei_rt2mei_rt2_fix_1
|
|
|
@05acf45
|
12 years |
Mei |
1) make diff skip that "Restoring file" output line that appears when
…
mei_rt2mei_rt2_fix_1
|
|
|
@f2d67a5
|
12 years |
Mei |
1) put back that yap info line in the saved example output
mei_rt2mei_rt2_fix_1
|
|
|
@c3c73bd
|
12 years |
Mei |
1) work around the hang in scaling test for freebsd8, it is because
…
mei_rt2mei_rt2_fix_1
|
|
|
@6f383ee
|
12 years |
Mei |
1) update couple of Makefile in examples directory that is too
gnu
mei_rt2mei_rt2_fix_1
|
|
|
@09531ca
|
12 years |
Mei |
1) add config check for perl thread, and optional jni.h
2) tweak for …
mei_rt2mei_rt2_fix_1
|
|
|
@4a8f84a
|
12 years |
Mei |
1) tweak java examples
mei_rt2mei_rt2_fix_1
|
|
|
@4dbeb09
|
12 years |
Mei |
1) trying out a new set of performance plots
mei_rt2mei_rt2_fix_1
|
|
|
@ced90bc
|
12 years |
Mei |
1) add a single threaded java test prover script
mei_rt2mei_rt2_fix_1
|
|
|
@e3c7769
|
12 years |
Mei |
1) wrap up java interface with swig/jni/abac linkup
2) java regression …
mei_rt2mei_rt2_fix_1
|
|
|
@97a6a36
|
12 years |
Mei |
1) added java to libabac using swig
2) added java examples …
mei_rt2mei_rt2_fix_1
|
|
|
@a59bc06
|
12 years |
Mei |
1) tweak partial proof's example output
mei_rt2mei_rt2_fix_1
|
|
|
@da73657
|
12 years |
Mei |
1) example for partial proof
mei_rt2mei_rt2_fix_1
|
|
|
@646e57e
|
12 years |
Mei |
1) add partial proof
mei_rt2mei_rt2_fix_1
|
|
|
@b9c9ebd
|
12 years |
Mei |
1) update the example's id log
mei_rt2mei_rt2_fix_1
|
|
|
@df43a5e
|
12 years |
Mei |
1) tweak regrssion testing output
mei_rt2mei_rt2_fix_1
|
|
|
@a7f03f3
|
12 years |
Mei |
1) add the new yap porting directory and some of code
2) add parital …
mei_rt2mei_rt2_fix_1
|
|
|
@315ab8d
|
12 years |
Mei |
1) remove accidental file commits
mei_rt2mei_rt2_fix_1
|
|
|
@b8a6fd2a
|
12 years |
Mei |
1) add new tests for attribute creation also for Attribute_chunk,
…
mei_rt2mei_rt2_fix_1
|
|
|
@dfe6b61
|
12 years |
Mei |
1) added ID_chunk() and Attribute_chunk() to abac.hh
mei_rt2mei_rt2_fix_1
|
|
|
@09496b3
|
12 years |
Mei |
1) add ID api that takes abac_chunk_t*
mei_rt2mei_rt2_fix_1
|
|
|
@fc943ee
|
12 years |
Mei |
1) getting ready to make a releaseZ
mei_rt2mei_rt2_fix_1
|
|
|
@052e76b
|
12 years |
Mei |
1) update test result changes due to creddy verify's changes
mei_rt2mei_rt2_fix_1
|
|
|
@db99d8d
|
12 years |
Mei |
1) make the sub call within run_plot to look for it within local dir
mei_rt2mei_rt2_fix_1
|
|
|
@41a0c1e
|
12 years |
Mei |
1) fix up example's Makefiles so it does not depends on path including .
mei_rt2mei_rt2_fix_1
|
|
|
@6244e28
|
12 years |
Mei |
1) added extract_cn for abac_verifier.c
2) update example directory's …
mei_rt2mei_rt2_fix_1
|
|
|
@b07eb3a
|
12 years |
Mei |
1) add creddy_prover_tests/acme_multi_rt0
mei_rt2mei_rt2_fix_1
|
|
|
@abf8d5d
|
12 years |
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
mei_rt2mei_rt2_fix_1
|
|
|
@1e51e1b
|
12 years |
Mei |
1) update plotting to include standard deviation and increase
…
mei_rt2mei_rt2_fix_1
|
|
|
@671c065
|
12 years |
Mei |
1) update new performance graphs with standard deviations
mei_rt2mei_rt2_fix_1
|
|
|
@bf68132
|
12 years |
Mei |
1) get example directory to work with yap with use_malloc option
2) …
mei_rt2mei_rt2_fix_1
|
|
|
@94a4dd2
|
12 years |
Mei |
1) save a set of performance jpegs into examples/scaling_tests/plotting dir
mei_rt2mei_rt2_fix_1
|
|
|
@2b4e740
|
12 years |
Mei |
1) test out the performance plotting build
mei_rt2mei_rt2_fix_1
|
|
|
@928b1b7
|
12 years |
Mei |
1) more tweaking on Makefile setup for examples
mei_rt2mei_rt2_fix_1
|
|
|
@33a9212
|
12 years |
Mei |
1) take out extra entries from this Makefile
mei_rt2mei_rt2_fix_1
|
|
|
@efd7ebe
|
12 years |
Mei |
1) remove duplicate entrie
mei_rt2mei_rt2_fix_1
|
|
|
@7a452cd
|
12 years |
Mei |
1) one more Makefile
mei_rt2mei_rt2_fix_1
|
|
|
@41d99fb
|
12 years |
Mei |
1) adding Makefiles
mei_rt2mei_rt2_fix_1
|
|
|
@f3421a0
|
12 years |
Mei |
1) add more missing Makefile
mei_rt2mei_rt2_fix_1
|
|
|
@8de54ab
|
12 years |
Mei |
1) add missing top level makefile for examples directory
mei_rt2mei_rt2_fix_1
|
|
|
@08b8da7
|
12 years |
Mei |
1) rework examples directory with Makefile
2) update scaling with …
mei_rt2mei_rt2_fix_1
|
|
|
@880e924
|
12 years |
faber |
Add FreeBSD paths
mei_rt2mei_rt2_fix_1
|
|
|
@2c03e57
|
12 years |
Mei |
1) add 2 scripts in examples
mei_rt2mei_rt2_fix_1
|
|
|
@43478b1
|
12 years |
Mei |
1) some tweaks
mei_rt2mei_rt2_fix_1
|
|
|
@b92a620
|
12 years |
Mei |
1) route debug printf to stderr
2) add some check for swig in …
mei_rt2mei_rt2_fix_1
|
|
|
@2485307
|
12 years |
Mei |
1) wrap up the changes on proof buffer's process in abac_pl_yap.c
2) …
mei_rt2mei_rt2_fix_1
|
|
|
@519e487
|
12 years |
Mei |
1) add more doc to scaling tests
mei_rt2mei_rt2_fix_1
|
|
|
@373bf68
|
12 years |
Mei |
1) add the scaling test suite
mei_rt2mei_rt2_fix_1
|
|
|
@bea18ef
|
12 years |
Mei |
1) add more tiny prover tests in examples/example_scripts
2) reverted …
mei_rt2mei_rt2_fix_1
|
|
|
@c7df2ad
|
12 years |
Mei |
1) update version output
mei_rt2mei_rt2_fix_1
|
|
|
@ba6027a
|
12 years |
Mei |
1) modified code all around to add support for encrypted private key …
mei_rt2mei_rt2_fix_1
|
|
|
@5730a10
|
12 years |
Mei |
1) fix up the sample scripts under swig and added some docs for them
mei_rt2mei_rt2_fix_1
libabac-0.2.1
|
|
|
@9b43fc3
|
12 years |
Mei |
1) add code to load id into context with both cert chunk and privkey …
mei_rt2mei_rt2_fix_1
|
|
|
@888df49
|
12 years |
Mei |
1) update an example's baseline output
2) convert changeLog to match …
mei_rt2mei_rt2_fix_1
|
|
|
@08c8a53
|
12 years |
Mei |
1) take out accidentally committed setup.py changes
mei_rt2mei_rt2_fix_1
|
|
|
@bde4e91
|
12 years |
Mei |
1) add creddy_internal.h
mei_rt2mei_rt2_fix_1
|
|
|
@2efdff5
|
12 years |
Mei |
1) fix the missing check for 'This' rt2.y when called from …
mei_rt2mei_rt2_fix_1
|
|
|
@e3462b4
|
12 years |
Mei |
1) make regression test to use just runcheck (hide runall)
2) alter …
mei_rt2mei_rt2_fix_1
|
|
|
@f824a9e
|
12 years |
Mei |
1) add more doc to python_tests
mei_rt2mei_rt2_fix_1
|
|
|
@47d5cf9
|
12 years |
faber |
Sample documentation
mei_rt2mei_rt2_fix_1
|
|
|
@669b481
|
12 years |
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
mei_rt2mei_rt2_fix_1
|
|
|
@5f551d3
|
12 years |
Mei |
1) add more python examples
mei_rt2mei_rt2_fix_1
|
|
|
@7211a95
|
12 years |
Mei |
1) add more python examples
2) add the missing linking role and …
mei_rt2mei_rt2_fix_1
|
|
|
@5d06689
|
12 years |
Mei |
1) modify abac.hh and added abac_c.c to unify the c and c++ api
…
mei_rt2mei_rt2_fix_1
|
|
|
@d9c3886
|
12 years |
Mei |
1) add 2 more query calls in abac.hh that take Role and Oset instead …
mei_rt2mei_rt2_fix_1
|
|
|
@5110d42
|
12 years |
Mei |
1) reorganized the test directory to include python tests
2) attribute …
mei_rt2mei_rt2_fix_1
|
|
|
@440ba20
|
13 years |
Mei |
1) wrap up refactoring to move all the code gen to abac structure
2) …
mei_rt2mei_rt2_fix_1
|
|
|
@d037f54
|
13 years |
Mei |
1) able to programmatially build structure, bake attribute credential
…
mei_rt2mei_rt2_fix_1
|
|
|
@8bd77b5
|
13 years |
Mei |
1) convert parser and libabac to use id cred and attr cred like
…
mei_rt2mei_rt2_fix_1
|
|
|
@9335cfa
|
13 years |
Mei |
1) add handling of 'this' data term for the principal type
2) add …
mei_rt2mei_rt2_fix_1
|
|
|
@01ab2b1
|
13 years |
faber |
Merge branch 'rt2' of git://abac.deterlab.net/abac into rt2
mei_rt2mei_rt2_fix_1rt2
|
|
|
@0a81d0a
|
13 years |
faber |
abac_yap_prover -> abac_prover_yap
mei_rt2mei_rt2_fix_1rt2
|
|
|
@ab30fdd
|
13 years |
Mei |
1) add a missing query file
2) tweak some doc files
mei_rt2mei_rt2_fix_1rt2
|
|
|
@5ae5719
|
13 years |
faber |
Couple small edits
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@302f477
|
13 years |
Mei |
1) insert a ABAC query using python into examples directory
(added …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@9502c50
|
13 years |
Mei |
1) rename examples' rr to run_query
2) updated some doc
3) add decode …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@7727f26
|
13 years |
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@efacf92
|
13 years |
Mei |
1) add hyphens as valid character in rolename and osetname
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@9806e76
|
13 years |
Mei |
1) add handling for typed anonymous term, [int:?]
2) make a pass …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@4b8e1c9
|
13 years |
Mei |
1) add boolean static range constraint handling
2) add boolean range …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@7b548fa
|
13 years |
Mei |
1) add time static constraint
2) add example balltime_rt2_typed
3) …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@8fa2c49
|
13 years |
faber |
Remove debugging
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@2c01913
|
13 years |
faber |
Added docs
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@f0eb81d
|
13 years |
Mei |
1) modified example's runall so a better tools to do complete run
…
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@acf3ff9
|
13 years |
Mei |
1) add alumni3_rt1_typed
(multiple static target range constraint - …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@8c45663
|
13 years |
Mei |
1) fix a typo in abac_pl_gen.c
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@d5bbd3e
|
13 years |
Mei |
1) add alumni2_rt1_typed
(target static range constraint)
2) add …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@36b100a
|
13 years |
Mei |
1) fix up fruits_rt2_typed example to test different types of strings
…
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@5aaeca3
|
13 years |
faber |
Clear remaining example certs
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@89f858f
|
13 years |
faber |
Remove certs
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@51b6be3
|
13 years |
faber |
Remove credentials created by README
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@c586a3c
|
13 years |
Mei |
1) add support for float static range constraint
2) add a testcase for …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@fb2f449
|
13 years |
Mei |
1) merged with configure changes and double checked with my build setup
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@0d0c3a9
|
13 years |
Mei |
1) adding missing extern forward declarations that is causing
…
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@d845403
|
13 years |
Mei |
1) fix the way param's condition is string-up so the db dump
looks …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@34ea038
|
13 years |
Mei |
1) fix missing $ typo
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@c469edf
|
13 years |
Mei |
1) add examples/runall
2) modified examples/DIR/rr to
use pwd …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@b5a3da4
|
13 years |
Mei |
1) add abac_oset.c
2) reorganized some yyparse related files
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|
@e88c95b
|
13 years |
Mei |
1) switch the order of terms within the rule clause.
carl said more …
mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
|
|