Commits

Commit history

1. Commits on Jun 10, 2024

   • Finally really read the file

     galvusdamor

     committed
     88c0995View commit details

     Copy full SHA for 88c0995

     Browse repository at this point
2. Commits on May 15, 2024

   • Include in input files

     galvusdamor

     committed
     3343932View commit details

     Copy full SHA for 3343932

     Browse 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

     Browse repository at this point

   • Merge remote-tracking branch 'github/master'

     galvusdamor

     committed
     f0f3e3dView commit details

     Copy full SHA for f0f3e3d

     Browse repository at this point

   • Don't generate the object sort twie

     galvusdamor

     committed
     24ff3b1View commit details

     Copy full SHA for 24ff3b1

     Browse repository at this point
4. Commits on Mar 7, 2024

   • Merge pull request #30 from Maumagnaguagno/patch-1

     Show description for 9995b2c
     galvusdamor

     authored
     9995b2cView commit details

     Copy full SHA for 9995b2c

     Browse repository at this point

   • Fix requirement typo in HPDL output

     Show description for 4b3107b
     Maumagnaguagno

     authored
     4b3107bView commit details

     Copy full SHA for 4b3107b

     Browse repository at this point
5. Commits on Nov 21, 2023

   • Bugfixed SHOP writer

     galvusdamor

     committed
     31f2e6fView commit details

     Copy full SHA for 31f2e6f

     Browse 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

     Browse repository at this point

   • Merge remote-tracking branch 'github/master'

     galvusdamor

     committed
     bbf63c7View commit details

     Copy full SHA for bbf63c7

     Browse repository at this point

   • Sanitise | in SHOP writer

     galvusdamor

     committed
     c766dbdView commit details

     Copy full SHA for c766dbd

     Browse 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

     Browse repository at this point

   • Merge pull request #27 from rpgoldman/iss26

     Show description for 1d76f76
     galvusdamor

     authored
     1d76f76View commit details

     Copy full SHA for 1d76f76

     Browse 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

     Browse 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

     Browse repository at this point
9. Commits on Oct 27, 2023

   • Merge remote-tracking branch 'github/master'

     galvusdamor

     committed
     69016f1View commit details

     Copy full SHA for 69016f1

     Browse repository at this point

   • Added safety assertions in output

     galvusdamor

     committed
     42a4f14View commit details

     Copy full SHA for 42a4f14

     Browse repository at this point

   • Check correct number of arguments for predicates in output

     galvusdamor

     committed
     a31a713View commit details

     Copy full SHA for a31a713

     Browse repository at this point

   • Fixed wrong make clean

     galvusdamor

     committed
     5590236View commit details

     Copy full SHA for 5590236

     Browse repository at this point

   • Explanation on predicate level mutexes

     galvusdamor

     authored
     4ae8fd2View commit details

     Copy full SHA for 4ae8fd2

     Browse repository at this point

   • Merge pull request #18 from rpgoldman/master

     Show description for 87624be
     galvusdamor

     authored
     87624beView commit details

     Copy full SHA for 87624be

     Browse repository at this point

   • Merge pull request #17 from rpgoldman/patch-1

     Show description for c396157
     galvusdamor

     authored
     c396157View commit details

     Copy full SHA for c396157

     Browse repository at this point
10. Commits on Oct 13, 2023

    • Further corrections

      Show description for a0f18d1
      rpgoldman

      authored
      a0f18d1View commit details

      Copy full SHA for a0f18d1

      Browse repository at this point

    • Two fixes to logic section of parser-output-format.md

      Show description for a1e6203
      rpgoldman

      authored
      a1e6203View commit details

      Copy full SHA for a1e6203

      Browse repository at this point

    • Fix item 5 in logic section description

      Show description for 08c8f25
      rpgoldman

      authored
      08c8f25View commit details

      Copy full SHA for 08c8f25

      Browse repository at this point

    • Correct logic section

      Show description for 814715b
      rpgoldman

      authored
      814715bView commit details

      Copy full SHA for 814715b

      Browse repository at this point
11. Commits on Oct 5, 2023

    • Minor style fix

      galvusdamor

      committed
      3100bbcView commit details

      Copy full SHA for 3100bbc

      Browse repository at this point

    • Description of parser output format

      galvusdamor

      committed
      f276aebView commit details

      Copy full SHA for f276aeb

      Browse repository at this point
12. Commits on Sep 1, 2023

    • Reset line numbers between files in parsing

      galvusdamor

      committed
      1613b83View commit details

      Copy full SHA for 1613b83

      Browse repository at this point
13. Commits on Jul 26, 2023

    • Output to stderr instead of stdout

      galvusdamor

      committed
      c56f75cView commit details

      Copy full SHA for c56f75c

      Browse repository at this point

    • Removed non-sense output

      galvusdamor

      committed
      a2c2b0cView commit details

      Copy full SHA for a2c2b0c

      Browse repository at this point

    • Bugfixed handling of constants in HPDL writer

      galvusdamor

      committed
      d9f45e6View commit details

      Copy full SHA for d9f45e6

      Browse repository at this point

    • Proper handling of debug build

      galvusdamor

      committed
      cea0068View commit details

      Copy full SHA for cea0068

      Browse repository at this point

    • Merge remote-tracking branch 'github/master'

      galvusdamor

      committed
      c4df3ebView commit details

      Copy full SHA for c4df3eb

      Browse repository at this point

    • Build fixes for MacOS X

      Show description for 1243715
      galvusdamor

      committed
      1243715View commit details

      Copy full SHA for 1243715

      Browse repository at this point