Commits

Commit history

1. Commits on Feb 25, 2020

   • Conditional effect support

     Show description for c9e6a4a
     galvusdamor

     committed
     c9e6a4aView commit details

     Copy full SHA for c9e6a4a

     View code at this pointBrowse repository at this point
2. Commits on Feb 21, 2020

   • added datatypes for conditional effects

     galvusdamor

     committed
     c9ba076View commit details

     Copy full SHA for c9ba076

     View code at this pointBrowse repository at this point
3. Commits on Jan 22, 2020

   • added comparator for ground literal s.t. we can put them in a set

     galvusdamor

     committed
     ba1f98aView commit details

     Copy full SHA for ba1f98a

     View code at this pointBrowse repository at this point
4. Commits on Sep 25, 2019

   • added support for (integer) action costs

     galvusdamor

     committed
     2588633View commit details

     Copy full SHA for 2588633

     View code at this pointBrowse repository at this point
5. Commits on Aug 13, 2019

   • made parameter splitting toggleable

     galvusdamor

     committed
     bbdefc3View commit details

     Copy full SHA for bbdefc3

     View code at this pointBrowse repository at this point
6. Commits on Apr 2, 2019

   • fixed logical bug in handling for forall

     galvusdamor

     committed
     c09925aView commit details

     Copy full SHA for c09925a

     View code at this pointBrowse repository at this point
7. Commits on Dec 30, 2018

   • simple hddl output, propagation of constraints involving constants, sort

     Show description for 17ea231
     galvusdamor

     committed
     17ea231View commit details

     Copy full SHA for 17ea231

     View code at this pointBrowse repository at this point

   • fixed NPE

     galvusdamor

     committed
     2844953View commit details

     Copy full SHA for 2844953

     View code at this pointBrowse repository at this point

   • goal grounding

     galvusdamor

     committed
     2bc16b8View commit details

     Copy full SHA for 2bc16b8

     View code at this pointBrowse repository at this point

   • cwa

     galvusdamor

     committed
     2b04102View commit details

     Copy full SHA for 2b04102

     View code at this pointBrowse repository at this point
8. Loading