|
|
@0cc535e
|
12 years |
Mei |
1) tweak script
mei_rt2mei_rt2_fix_1
|
|
|
@eb6693c
|
12 years |
Mei |
1) tweak test script for freebsd
mei_rt2mei_rt2_fix_1
|
|
|
@446b3ce
|
12 years |
Mei |
1) tweak setting of JAVA_HOME
mei_rt2mei_rt2_fix_1
|
|
|
@b349898
|
12 years |
Mei |
1) add setting for freebsd java run
mei_rt2mei_rt2_fix_1
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@646e57e
|
12 years |
Mei |
1) add partial proof
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
|
|
|
@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
|
|
|
@f3421a0
|
12 years |
Mei |
1) add more missing Makefile
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
|
|
|
@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
|
|
|
@bea18ef
|
12 years |
Mei |
1) add more tiny prover tests in examples/example_scripts
2) reverted …
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
|