User Activity
-
Created
ticket #30
on
diamond
--stm not working for AFs (only --mod)
-
Created
ticket #1
on
ARCOS
OS Independent cmake file
-
Created
ticket #29
on
diamond
Link type computation broken
-
Posted
a comment
on
ticket #24
on
diamond
Output mode is available since commit [495c33]
-
Created
ticket #28
on
diamond
Logical distinctive functions
-
Created
ticket #27
on
diamond
Fix missing enum mode for bipolarity check
-
Modified
ticket #26
on
diamond
twostep solver call broken
-
Posted
a comment
on
ticket #26
on
diamond
bug fixed during commit [495c33]
Personal Data
- Username:
- ellmaus
- Joined:
- 2009-10-12 14:28:23
- Location:
- Leipzig / Germany / CET
- Gender:
- Male
- Web Site:
