Activity for Stefan Ellmauthaler
-
Stefan Ellmauthaler created ticket #30
--stm not working for AFs (only --mod)
-
OS Independent cmake file
-
Link type computation broken
-
Output mode is available since commit [495c33]
-
Logical distinctive functions
-
Fix missing enum mode for bipolarity check
-
twostep solver call broken
-
bug fixed during commit [495c33]
-
ICCMA output
-
added the mode and tested it on some test-instances [495c33]
-
twostep solver call broken
-
Toy instances undocumented and with old syntax
-
ICCMA output
-
Compute only one extension
-
issue resolved at git-revision [31f39d]
-
status: open --> closed [4cf8ac]
-
Global print function
-
Compute only one extension
-
Global print function
-
Cred/Skep Reasoning modes
-
Disjunctive encodings @ naive and preferred semantics
-
ICCMA adaptions
-
Cred/Skep Reasoning modes
-
Global print function
-
Disjunctive encodings @ naive and preferred semantics
-
Compute only one extension
-
ICCMA output
-
Verbosity management
-
Support for bipolar ADFs
-
Verbosity management
-
Streamlining solver calls
-
add -W no-atom-undefined -W no-define-cyclic -W no-define-redfinition -W no-file-included...
-
New output format
-
New Deploy method
-
Increased Portability
-
Potassco dependency change
-
Potassco dependency change
-
Modular semantics (wrt model)
-
New output format
1
