 Parent Directory
|
|
|
|
|
include/
|
1745 |
11 years |
aramv |
Fixed seemingly working AOS
|
|
spec/
|
1259 |
12 years |
aramv |
Fixed silly bug in pdl parser. Updated Rspec test
|
|
presentation/
|
1066 |
12 years |
aramv |
Last and final version
|
|
thesis/
|
1067 |
12 years |
aramv |
Latest and greatest
|
|
src/
|
1757 |
11 years |
aramv |
Made aos threading test more like the real thing
|
|
test_configs/
|
1727 |
12 years |
okoeroo |
Updating the other examples too.
|
|
m4/
|
873 |
12 years |
aramv |
Using proper m4 macros from the m4 archive
|
|
examples/
|
1760 |
11 years |
aramv |
added dummy_obligations plugin for stress testing
|
|
plugin_examples/
|
1760 |
11 years |
aramv |
added dummy_obligations plugin for stress testing
|
LICENSE
|
890
|
12 years |
aramv |
Added more comments
|
|
aminclude.am
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
INSTALL
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
NEWS
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
README
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
COPYING
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
ChangeLog
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
AUTHORS
|
425
|
12 years |
aramv |
Added preliminary code structure for EES
|
|
externals.txt
|
1721
|
12 years |
okoeroo |
Added safefile-1.0 in cherry-picked CGUL externals list.
|
|
autogen.sh
|
1203
|
12 years |
aramv |
Added small fix
|
|
manual-build.sh
|
1732
|
12 years |
okoeroo |
Altered the ees_dummy_good plug-in to set an obligation, an attribute in the obl…
|
|
configure.ac
|
1729
|
12 years |
aramv |
Prefixed example plugin names with ees_ and stopped trying to overwrite libdir
|
|
Makefile.am
|
1650
|
12 years |
aramv |
Updated posix_enf plugin
|
|
doxygen.cfg
|
1650
|
12 years |
aramv |
Updated posix_enf plugin
|
