Activity for diamond

  • Stan Stan posted a comment on ticket #31

    Please close the ticket, I have found the problem. It had to do with the definition of the variables GOROOT and GOPATH that were not properly set. Thank you!

  • Stan Stan created ticket #31

    go branch

  • Stefan Ellmauthaler Stefan Ellmauthaler created ticket #30

    --stm not working for AFs (only --mod)

  • Hannes Straß committed [be3522]

    Remove diff markers.

  • Hannes Straß committed [862ba2]

    Update bash syntax for removing substrings at the end of given strings.

  • Hannes Straß committed [cc1add]

    Reset temporary file handling to default directory.

  • Hannes Straß committed [32ea1a]

    Add script for semi-automatic testing of ICCMA ...

  • Hannes Straß committed [1792d4]

    Minor improvements in code.

  • Hannes Straß committed [5c3b86]

    Encapsulate credulous admissibility call in sep...

  • Hannes Straß committed [27b857]

    Automate testing by putting it into the ICCMA a...

  • Hannes Straß committed [492d85]

    Fix a bug in the grounded encoding that occurs ...

  • Hannes Straß committed [80a14b]

    Two small optimisations in the competition scri...

  • Hannes Straß committed [03ded3]

    Use clingo 5.0.0 due to the seeming existence o...

  • Hannes Straß committed [aa6c18]

    Small change in competition script.

  • Hannes Straß committed [6b6e71]

    Add a native algorithm for AF ideal semantics, ...

  • Hannes Straß committed [6de57f]

    Revoke some previous "improvements" seemingly l...

  • Hannes Straß committed [0e5e31]

    Minor issues.

  • Hannes Straß committed [852059]

    Specify to use the manual grounded version in t...

  • Hannes Straß committed [9db07b]

    Change meaning of cleanup targets in Makefile.

  • Hannes Straß committed [424041]

    Use a more elegant command to remove test resul...

  • Hannes Straß committed [fe7cd7]

    Improve ICCMA build script for legibility and f...

  • Hannes Straß committed [87c341]

    Fix mistake in command line input error checking.

  • Hannes Straß committed [d5d9b9]

    Remove files from version control that were lon...

  • Hannes Straß committed [c65543]

    Improve computation of inadmissible arguments b...

  • Hannes Straß committed [fbe945]

    Set executability bit for shell script file mode.

  • Hannes Straß committed [652d47]

    Create infrastructure to deal with ideal semant...

  • Hannes Straß committed [c4a4aa]

    First major part of adding functionality for id...

  • Hannes Straß committed [6014a5]

    Fix an index out of range bug when there is a c...

  • Hannes Straß committed [4287f6]

    Update version number in archive.

  • Hannes Straß committed [eedb67]

    Make iccma-diamond.sh script independent of cal...

  • Hannes Straß committed [eef47e]

    Fix a bug in the computation of grounded semant...

  • Hannes Straß committed [7f42c7]

    Make the script output the right list of problems.

  • Hannes Straß committed [f0955f]

    Remove unnecessary if-check.

  • Hannes Straß committed [768361]

    Update Makefile to automatic testing and some m...

  • Hannes Straß committed [496582]

    Fix bug in deployment script.

  • Hannes Straß committed [8ad600]

    Fix a typo in archive creation script.

  • Hannes Straß committed [e58bff]

    Remove TODO from source code.

  • Hannes Straß committed [069315]

    Remark change to version 0.3.0.

  • Hannes Straß committed [2c5968]

    Restrict usage of ideal semantics to AF input.

  • Hannes Straß committed [91fdb6]

    Fix a bug in ideal computation where "f" was no...

  • Hannes Straß committed [e36e14]

    Finalise computing the manual grounded semantic...

  • Hannes Straß committed [408dc5]

    Improved the build and archive scripts.

  • Hannes Straß committed [25eba0]

    Some indentation and commenting.

  • Hannes Straß committed [88525a]

    Add functionality for Dung's triathlon.

  • Hannes Straß committed [3d1840]

    Further detail in documentation.

  • Hannes Straß committed [96befc]

    Add semi-model and stage semantics.

  • Hannes Straß committed [606c6a]

    Provide unified output independent of semantics.

  • Hannes Straß committed [923b87]

    Mention dedicated grounded algorithm in README ...

  • Hannes Straß committed [479450]

    Start another version of ideal semantics with j...

  • Hannes Straß committed [6f2eb6]

    Change syntax in diamond script.

  • Hannes Straß committed [1374c0]

    Set encoding directory as directory for tempora...

  • Hannes Straß committed [f9159c]

    Further improvements to the competition version...

  • Hannes Straß committed [86b667]

    Reorganise code around manual grounded semantic...

  • Hannes Straß committed [3da13d]

    Add special show encoding for ICCMA.

  • Hannes Straß committed [2ecd92]

    Remove debug message from inadmissible argument...

  • Hannes Straß committed [74d325]

    Add a special stage encoding with modified defi...

  • Hannes Straß committed [810520]

    Modify scripts for building and testing goDIAMOND.

  • Hannes Straß committed [2639bd]

    Merge branch 'go' of ssh://git.code.sf.net/p/di...

  • Hannes Straß committed [93c644]

    Improve writing to temp file.

  • Hannes Straß committed [8b4d6b]

    Add internal data structure for computation on ...

  • Hannes Straß committed [8d05c8]

    Some indentation.

  • Stefan Ellmauthaler committed [e36055]

    version 3.0.2

  • Stefan Ellmauthaler committed [37fd01]

    bugfix

  • Stefan Ellmauthaler committed [cabe19]

    fixed a bug (wrong import)

  • Stefan Ellmauthaler committed [f83d06]

    added scep/cred reasoning

  • Stefan Ellmauthaler committed [b10c39]

    changed transformation - to use ac2cicio

  • Stefan Ellmauthaler committed [e60245]

    move ac2cico to right position

  • Hannes Straß committed [55114d]

    Two small optimisations in the competition scri...

  • Hannes Straß committed [ec394a]

    Set executability bit for shell script file mode.

  • Hannes Straß committed [f26368]

    Mention dedicated grounded algorithm in README ...

  • Hannes Straß committed [903434]

    Provide credulous and sceptical reasoning capab...

  • Hannes Straß committed [0277b6]

    Merge branch 'go' into manual_grounded

  • Hannes Straß committed [0958a8]

    Specify to use the manual grounded version in t...

  • Hannes Straß committed [cb54eb]

    Add comments for manual grounded computation im...

  • Hannes Straß committed [6fbec1]

    Add explicit truth value recording for argument...

  • Hannes Straß committed [1e1b09]

    Add initial version of native algorithm for gro...

  • Hannes Straß committed [c81460]

    Add error message for the case when manual grou...

  • Hannes Straß committed [a87c8e]

    Fix a bug in the grounded encoding that occurs ...

  • Matti Berthold Matti Berthold committed [7097fb]

    initial commit

  • Hannes Straß committed [708274]

    Provide an error message whenever no semantics ...

  • Hannes Straß committed [99b0e8]

    Set clingo default location to /usr/bin/clingo.

  • Hannes Straß committed [86cd43]

    Fix an unsafe variable in the grounded encoding.

  • Hannes Straß committed [a7f66e]

    Add a README with requirements and installation...

  • Hannes Straß committed [45cccd]

    Add initial version of goDIAMOND.

  • Hannes Straß committed [e3cb33]

    Add new transformation encoding to CDiamond.

  • Hannes Straß committed [a72188]

    Change translation from formula representation ...

  • Hannes Straß committed [9fd518]

    Added a new encoding for computing the function...

  • Hannes Straß committed [6ad3d1]

    Output a list of lists only if the enumerate op...

  • Hannes Straß committed [516a30]

    Displaying commas in between arguments in the l...

  • Hannes Straß committed [aa4aef]

    Output the name of the instance only if the out...

  • Stefan Ellmauthaler committed [657dd3]

    added an override to use gcc instead of clang (...

  • Stefan Ellmauthaler committed [e75f1e]

    added a file to download and build clingolib

  • Stefan Ellmauthaler committed [1fe2c3]

    added a new output-format (list of list of true...

  • Stefan Ellmauthaler committed [409e7d]

    implemented all 10 semantics

  • Stefan Ellmauthaler committed [72e6fb]

    slightly changed output format

  • Stefan Ellmauthaler committed [9534c2]

    working for models semantics (all input formats...

  • Stefan Ellmauthaler committed [b4e2f1]

    model semantics implemented

  • Stefan Ellmauthaler committed [8a567a]

    further work on data encapsulation

  • Stefan Ellmauthaler committed [bffe0a]

    First version of c-based diamond

  • Stefan Ellmauthaler committed [f6dcbd]

    added build-script (build.sh)

1 >
MongoDB Logo MongoDB