Commits

Commit history

1. Commits on Jun 10, 2024

   • Finally really read the file

     galvusdamor

     committed
     88c0995View commit details

     Copy full SHA for 88c0995

     View code at this pointBrowse repository at this point
2. Commits on May 15, 2024

   • Include in input files

     galvusdamor

     committed
     3343932View commit details

     Copy full SHA for 3343932

     View code at this pointBrowse repository at this point
3. Commits on Apr 1, 2024

   • Naming of object sort in HPDL

     galvusdamor

     committed
     b67d88fView commit details

     Copy full SHA for b67d88f

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'github/master'

     galvusdamor

     committed
     f0f3e3dView commit details

     Copy full SHA for f0f3e3d

     View code at this pointBrowse repository at this point

   • Don't generate the object sort twie

     galvusdamor

     committed
     24ff3b1View commit details

     Copy full SHA for 24ff3b1

     View code at this pointBrowse repository at this point
4. Commits on Mar 7, 2024

   • Fix requirement typo in HPDL output

     Show description for 4b3107b
     Maumagnaguagno

     authored
     4b3107bView commit details

     Copy full SHA for 4b3107b

     View code at this pointBrowse repository at this point
5. Commits on Nov 21, 2023

   • Bugfixed SHOP writer

     galvusdamor

     committed
     31f2e6fView commit details

     Copy full SHA for 31f2e6f

     View code at this pointBrowse repository at this point
6. Commits on Nov 14, 2023

   • Verifier did not correctly check for hiding variables.

     galvusdamor

     committed
     f53b626View commit details

     Copy full SHA for f53b626

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'github/master'

     galvusdamor

     committed
     bbf63c7View commit details

     Copy full SHA for bbf63c7

     View code at this pointBrowse repository at this point

   • Sanitise | in SHOP writer

     galvusdamor

     committed
     c766dbdView commit details

     Copy full SHA for c766dbd

     View code at this pointBrowse repository at this point

   • Merge pull request #22 from rpgoldman/iss20

     Show description for 0669057
     galvusdamor

     authored
     0669057View commit details

     Copy full SHA for 0669057

     View code at this pointBrowse repository at this point
7. Commits on Nov 13, 2023

   • Check if plan stream is good.

     Show description for c373dcc
     rpgoldman

     committed
     c373dccView commit details

     Copy full SHA for c373dcc

     View code at this pointBrowse repository at this point
8. Commits on Oct 30, 2023

   • Fix for issue 20.

     Show description for cd972b3
     rpgoldman

     committed
     cd972b3View commit details

     Copy full SHA for cd972b3

     View code at this pointBrowse repository at this point
9. Commits on Oct 27, 2023

   • Added safety assertions in output

     galvusdamor

     committed
     42a4f14View commit details

     Copy full SHA for 42a4f14

     View code at this pointBrowse repository at this point

   • Check correct number of arguments for predicates in output

     galvusdamor

     committed
     a31a713View commit details

     Copy full SHA for a31a713

     View code at this pointBrowse repository at this point
10. Commits on Sep 1, 2023

    • Reset line numbers between files in parsing

      galvusdamor

      committed
      1613b83View commit details

      Copy full SHA for 1613b83

      View code at this pointBrowse repository at this point
11. Commits on Jul 26, 2023

    • Output to stderr instead of stdout

      galvusdamor

      committed
      c56f75cView commit details

      Copy full SHA for c56f75c

      View code at this pointBrowse repository at this point

    • Removed non-sense output

      galvusdamor

      committed
      a2c2b0cView commit details

      Copy full SHA for a2c2b0c

      View code at this pointBrowse repository at this point

    • Bugfixed handling of constants in HPDL writer

      galvusdamor

      committed
      d9f45e6View commit details

      Copy full SHA for d9f45e6

      View code at this pointBrowse repository at this point
12. Commits on Jul 7, 2023

    • Spelling of output text

      galvusdamor

      committed
      c4afbfaView commit details

      Copy full SHA for c4afbfa

      View code at this pointBrowse repository at this point
13. Commits on Jun 27, 2023

    • Bugfixed plan conversion

      Show description for 26397fd
      galvusdamor

      committed
      26397fdView commit details

      Copy full SHA for 26397fd

      View code at this pointBrowse repository at this point
14. Commits on Jun 13, 2023

    • Plan complication - Bugfix

      Show description for 2c45f1f
      galvusdamor

      committed
      2c45f1fView commit details

      Copy full SHA for 2c45f1f

      View code at this pointBrowse repository at this point
15. Commits on May 31, 2023

    • Made panda plan converter use a lot less memory and made it a lot faster

      galvusdamor

      committed
      17fd415View commit details

      Copy full SHA for 17fd415

      View code at this pointBrowse repository at this point
16. Commits on Apr 12, 2022

    • Support for immediate before method precondtions

      galvusdamor

      committed
      a60ade2View commit details

      Copy full SHA for a60ade2

      View code at this pointBrowse repository at this point
17. Commits on Nov 25, 2021

    • Removed method preconditions in direct HDDL output

      galvusdamor

      committed
      712cae4View commit details

      Copy full SHA for 712cae4

      View code at this pointBrowse repository at this point
18. Commits on Oct 18, 2021

    • Output

      galvusdamor

      committed
      2aac8ceView commit details

      Copy full SHA for 2aac8ce

      View code at this pointBrowse repository at this point
19. Commits on Oct 11, 2021

    • Better precondition writing

      galvusdamor

      committed
      34da98bView commit details

      Copy full SHA for 34da98b

      View code at this pointBrowse repository at this point
20. Commits on Aug 11, 2021

    • Verification Encoding -- main code

      galvusdamor

      committed
      2b6fa7dView commit details

      Copy full SHA for 2b6fa7d

      View code at this pointBrowse repository at this point

    • Don't ouput task IDs for HDDL output if no order is present

      galvusdamor

      committed
      c149f96View commit details

      Copy full SHA for c149f96

      View code at this pointBrowse repository at this point
21. Commits on Aug 9, 2021

    • Added Daniel's Plan verification encoding

      galvusdamor

      committed
      01e3d1aView commit details

      Copy full SHA for 01e3d1a

      View code at this pointBrowse repository at this point
22. Commits on Aug 5, 2021

    • Plan reconstruction for aggregated actions

      galvusdamor

      committed
      2f821f7View commit details

      Copy full SHA for 2f821f7

      View code at this pointBrowse repository at this point

    • Bugfixed costs

      galvusdamor

      committed
      5e62d5fView commit details

      Copy full SHA for 5e62d5f

      View code at this pointBrowse repository at this point
23. Commits on May 31, 2021

    • Bugfixed it again

      galvusdamor

      committed
      53317faView commit details

      Copy full SHA for 53317fa

      View code at this pointBrowse repository at this point
24. Commits on May 28, 2021

    • Bugfix - missing brace

      galvusdamor

      committed
      2ebf0e0View commit details

      Copy full SHA for 2ebf0e0

      View code at this pointBrowse repository at this point
25. Commits on May 26, 2021

    • Merge remote-tracking branch 'github/master'

      galvusdamor

      committed
      8b11e53View commit details

      Copy full SHA for 8b11e53

      View code at this pointBrowse repository at this point