Timeline
Nov 20, 2012:
- 8:03 PM Changeset [4a8f84a]mei_rt2mei_rt2_fix_1 by
- 1) tweak java examples
- 7:42 PM Changeset [89146cf]mei_rt2mei_rt2_fix_1 by
- 1) AVA_CPPFLAGS environment variable to be set to …
- 7:06 PM Changeset [4dbeb09]mei_rt2mei_rt2_fix_1 by
- 1) trying out a new set of performance plots
- 12:50 PM OldWikiStart edited by
- (diff)
- 12:49 PM OldWikiStart edited by
- (diff)
- 11:54 AM OldWikiStart edited by
- (diff)
- 9:06 AM Changeset [63477c5]mei_rt2mei_rt2_fix_1 by
- 1) getting ready for a freeze
Nov 19, 2012:
- 11:36 PM Changeset [4a72b30]mei_rt2mei_rt2_fix_1 by
- 1) add more doc for java
- 11:27 PM JavaSupport edited by
- (diff)
- 10:56 PM JavaSupport edited by
- (diff)
- 10:51 PM JavaSupport edited by
- (diff)
- 10:42 PM JavaSupport edited by
- (diff)
- 5:11 PM Changeset [695abc7]mei_rt2mei_rt2_fix_1 by
- 1) touch ChangeLog, trying to see why wiki page could not link
- 5:01 PM OldWikiStart edited by
- (diff)
- 3:36 PM Changeset [ced90bc]mei_rt2mei_rt2_fix_1 by
- 1) add a single threaded java test prover script
- 2:47 PM DocumentationRT2 edited by
- (diff)
Nov 12, 2012:
- 10:41 PM Changeset [41a4690]mei_rt2mei_rt2_fix_1 by
- Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
- 10:34 PM Changeset [e3c7769]mei_rt2mei_rt2_fix_1 by
- 1) wrap up java interface with swig/jni/abac linkup 2) java regression …
Nov 2, 2012:
- 11:59 PM Changeset [a334115]mei_rt2mei_rt2_fix_1 by
- 1) tweak the warning message
- 1:43 PM Changeset [97a6a36]mei_rt2mei_rt2_fix_1 by
- 1) added java to libabac using swig 2) added java examples …
Note: See TracTimeline
for information about the timeline view.
