Adrian Lange committed [r39]

- adjusted the build file

Adrian Lange committed [r38]

- removed project specific compiler preferences

Adrian Lange committed [r37]

- added .classpath to repository

Adrian Lange committed [r36]

- removed static output directory, which caused...

Thomas Stocker committed [r35]

Thomas Stocker committed [r34]

Adjustments due to changes in SEPIA

Thomas Stocker committed [r33]

Thomas Stocker committed [r32]

Optimizations in access control classes.

Thomas Stocker committed [r31]

Bugfixes and adjustments to improve the robustn...

Thomas Stocker committed [r30]

Thomas Stocker committed [r29]

SERAM: Security Reasoning Framework released /seram-0.1.2-consistent.jar

SERAM: Security Reasoning Framework released /seram-0.1.2.jar

SERAM: Security Reasoning Framework released /seram-0.1.2-sources.jar

SERAM: Security Reasoning Framework released /seram-0.1.2-javadoc.jar

Thomas Stocker committed [r28]

Clean code (remove ParameterException handling)

SERAM: Security Reasoning Framework released /seram 0.1.2.jar

Thomas Stocker committed [r27]

Thomas Stocker committed [r26]

Thomas Stocker committed [r25]

Thomas Stocker committed [r24]

Thomas Stocker committed [r23]

Code cleaning.

Thomas Stocker committed [r22]

Bugfixes

Thomas Stocker committed [r21]

Adjustments to changes in project JAGAL.

Thomas Stocker committed [r20]

Adjustments to changes in project JAGAL.

Thomas Stocker committed [r19]

Graphical classes for role lattice manipulation...

Thomas Stocker committed [r18]

Graphical classes for role lattice manipulation...

Thomas Stocker committed [r17]

Graphical classes for role lattice manipulation.