# # ChangeLog for examples/python_tests/payraise_rt1/run_test # # Generated by Trac 0.12.2 # 05/22/13 03:45:03 Thu, 31 May 2012 20:28:14 GMT Mei [669b481] * doc/API (modified) * doc/extract_doc.c (added) * examples/creddy_prover_tests/alice_rt1/README (modified) * examples/python_tests/README (added) * examples/python_tests/access_rt2/README (modified) * examples/python_tests/access_rt2/attr.py (modified) * examples/python_tests/access_rt2/run_test (modified) * examples/python_tests/acme_friend_rt1/attr.py (modified) * examples/python_tests/acme_friend_rt1/run_test (modified) * examples/python_tests/acme_rockets_intersection_rt0/run_test (modified) * examples/python_tests/acme_rockets_rt0/run_test (modified) * examples/python_tests/alice_rt1/README (added) * examples/python_tests/alice_rt1/alice.save (added) * examples/python_tests/alice_rt1/attr.py (added) * examples/python_tests/alice_rt1/query.py (added) * examples/python_tests/alice_rt1/run_test (added) * examples/python_tests/alice_rt1/setup.py (added) * examples/python_tests/allout.save (modified) * examples/python_tests/alumni2_rt1/run_test (modified) * examples/python_tests/alumni3_rt1/run_test (modified) * examples/python_tests/alumni_rt1/README (added) * examples/python_tests/alumni_rt1/alumni.save (added) * examples/python_tests/alumni_rt1/attr.py (added) * examples/python_tests/alumni_rt1/query.py (added) * examples/python_tests/alumni_rt1/run_test (added) * examples/python_tests/alumni_rt1/setup.py (added) * examples/python_tests/balltime_rt2/run_test (modified) * examples/python_tests/basic_id/run_test (modified) * examples/python_tests/basic_id/setup.py (added) * examples/python_tests/evaluator_rt1/run_test (modified) * examples/python_tests/experiment_create_rt0/experiment.save (added) * examples/python_tests/experiment_create_rt0/run_test (modified) * examples/python_tests/file_read_rt2/run_test (modified) * examples/python_tests/fruits_rt2/run_test (modified) * examples/python_tests/leader_rt1/run_test (modified) * examples/python_tests/payraise_rt1/run_test (modified) * examples/python_tests/runall (modified) * libabac/abac.h (modified) * libabac/abac.hh (modified) * libabac/abac_c.c (modified) * libabac/abac_internal.h (modified) * libabac/abac_verifier.c (modified) * libabac/rt2.l (modified) 1) finish test conversion from creddy-prover to python 2) update the ... Wed, 30 May 2012 01:08:28 GMT Mei [5f551d3] * examples/python_tests/access_rt2/run_test (modified) * examples/python_tests/acme_rockets_rt0/README (added) * examples/python_tests/acme_rockets_rt0/attr.py (added) * examples/python_tests/acme_rockets_rt0/query.py (added) * examples/python_tests/acme_rockets_rt0/rocket.save (added) * examples/python_tests/acme_rockets_rt0/run_test (added) * examples/python_tests/acme_rockets_rt0/setup.py (added) * examples/python_tests/allout.save (modified) * examples/python_tests/alumni2_rt1/README (added) * examples/python_tests/alumni2_rt1/alumni2.save (added) * examples/python_tests/alumni2_rt1/attr.py (added) * examples/python_tests/alumni2_rt1/query.py (added) * examples/python_tests/alumni2_rt1/run_test (added) * examples/python_tests/alumni2_rt1/setup.py (added) * examples/python_tests/alumni3_rt1/run_test (modified) * examples/python_tests/balltime_rt2/run_test (modified) * examples/python_tests/evaluator_rt1/README (added) * examples/python_tests/evaluator_rt1/attr.py (added) * examples/python_tests/evaluator_rt1/evaluator.save (added) * examples/python_tests/evaluator_rt1/query.py (added) * examples/python_tests/evaluator_rt1/run_test (added) * examples/python_tests/evaluator_rt1/setup.py (added) * examples/python_tests/experiment_create_rt0/README (added) * examples/python_tests/experiment_create_rt0/attr.py (added) * examples/python_tests/experiment_create_rt0/query.py (added) * examples/python_tests/experiment_create_rt0/run_test (added) * examples/python_tests/experiment_create_rt0/setup.py (added) * examples/python_tests/file_read_rt2/README (added) * examples/python_tests/file_read_rt2/attr.py (added) * examples/python_tests/file_read_rt2/file.save (added) * examples/python_tests/file_read_rt2/query.py (added) * examples/python_tests/file_read_rt2/run_test (added) * examples/python_tests/file_read_rt2/setup.py (added) * examples/python_tests/leader_rt1/run_test (modified) * examples/python_tests/payraise_rt1/attr.py (modified) * examples/python_tests/payraise_rt1/run_test (modified) * libabac/abac.h (modified) * libabac/abac.hh (modified) * libabac/abac_c.c (modified) * libabac/abac_internal.h (modified) * libabac/abac_term.c (modified) 1) add more python examples Tue, 29 May 2012 20:51:32 GMT Mei [7211a95] * examples/creddy_prover_tests/allout.save (modified) * examples/creddy_prover_tests/balltime_rt2/README (modified) * examples/python_tests/access_rt2/access.save (modified) * examples/python_tests/access_rt2/attr.py (modified) * examples/python_tests/access_rt2/query.py (modified) * examples/python_tests/access_rt2/run_test (modified) * examples/python_tests/acme_friend_rt1/README (added) * examples/python_tests/acme_friend_rt1/attr.py (added) * examples/python_tests/acme_friend_rt1/friend.save (added) * examples/python_tests/acme_friend_rt1/query.py (added) * examples/python_tests/acme_friend_rt1/run_test (added) * examples/python_tests/acme_friend_rt1/setup.py (added) * examples/python_tests/acme_rockets_intersection_rt0/README (added) * examples/python_tests/acme_rockets_intersection_rt0/attr.py (added) * examples/python_tests/acme_rockets_intersection_rt0/intersect.save (added) * examples/python_tests/acme_rockets_intersection_rt0/query.py (added) * examples/python_tests/acme_rockets_intersection_rt0/run_test (added) * examples/python_tests/acme_rockets_intersection_rt0/setup.py (added) * examples/python_tests/allout.save (modified) * examples/python_tests/alumni3_rt1/README (added) * examples/python_tests/alumni3_rt1/alumni3.save (added) * examples/python_tests/alumni3_rt1/attr.py (added) * examples/python_tests/alumni3_rt1/query.py (added) * examples/python_tests/alumni3_rt1/run_test (added) * examples/python_tests/alumni3_rt1/setup.py (added) * examples/python_tests/balltime_rt2/README (added) * examples/python_tests/balltime_rt2/attr.py (added) * examples/python_tests/balltime_rt2/ball.save (added) * examples/python_tests/balltime_rt2/query.py (added) * examples/python_tests/balltime_rt2/run_test (added) * examples/python_tests/balltime_rt2/setup.py (added) * examples/python_tests/fruits_rt2/README (added) * examples/python_tests/fruits_rt2/attr.py (added) * examples/python_tests/fruits_rt2/fruit.save (added) * examples/python_tests/fruits_rt2/query.py (added) * examples/python_tests/fruits_rt2/run_test (added) * examples/python_tests/fruits_rt2/setup.py (added) * examples/python_tests/leader_rt1/README (added) * examples/python_tests/leader_rt1/attr.py (added) * examples/python_tests/leader_rt1/leader.save (added) * examples/python_tests/leader_rt1/query.py (added) * examples/python_tests/leader_rt1/run_test (added) * examples/python_tests/leader_rt1/setup.py (added) * examples/python_tests/payraise_rt1/README (added) * examples/python_tests/payraise_rt1/attr.py (added) * examples/python_tests/payraise_rt1/pay.save (added) * examples/python_tests/payraise_rt1/query.py (added) * examples/python_tests/payraise_rt1/run_test (added) * examples/python_tests/payraise_rt1/setup.py (added) * libabac/abac.h (modified) * libabac/abac.hh (modified) * libabac/abac_aspect.c (modified) * libabac/abac_attribute.c (modified) * libabac/abac_c.c (modified) * libabac/abac_internal.h (modified) * libabac/abac_term.c (modified) * libabac/rt2.y (modified) 1) add more python examples 2) add the missing linking role and linking ...