Commits · b4c8b5f4093b03f1cb81dbf173dab58aa6696efe · Pascal Bercher / IPC2020-competitor-1

07 Oct, 2020 4 commits
- Remove faulty check for missing qfactdecoding variables in frame axiom calculation · b4c8b5f4
  Dominik Schreiber authored Oct 05, 2020 and Gregor Behnke committed Oct 07, 2020
  
  b4c8b5f4
- Fix unencoded variable error due to pseudo-fact decodings which become invalid on a later layer · 849c39a8
  Dominik Schreiber authored Oct 05, 2020 and Gregor Behnke committed Oct 07, 2020
  
  849c39a8
- Integrate subset of changes from branch fewerfacts · 4932e5c9
  Dominik Schreiber authored Oct 05, 2020 and Gregor Behnke committed Oct 07, 2020
  
  4932e5c9
- Change pandaPIparser name for method prec. -> now treats ops with... · 26492ce6
  Dominik Schreiber authored Oct 05, 2020 and Gregor Behnke committed Oct 07, 2020
```
Change pandaPIparser name for method prec. -> now treats ops with __method_precondition_ in their name properly
```
  26492ce6
03 Sep, 2020 1 commit
- Improve bad USignatureHasher which lead to robin_hood::map overflow · 359114a1
  domschrei authored Sep 02, 2020 and Gregor Behnke committed Sep 02, 2020
  
  359114a1
02 Sep, 2020 4 commits
- Revert debugging in plan decoding · cf6bfd55
  Dominik Schreiber authored Aug 28, 2020 and Gregor Behnke committed Sep 01, 2020
  
  cf6bfd55
- Revert some renamings · bed8d6af
  Dominik Schreiber authored Aug 28, 2020 and Gregor Behnke committed Sep 01, 2020
  
  bed8d6af
- Retroactively forbid actions with an un-instantiateable effect · 1b3c01e5
  Dominik Schreiber authored Aug 28, 2020 and Gregor Behnke committed Sep 01, 2020
  
  1b3c01e5
- Fix blowup of "almost identical" reductions per position, fix impossible pseudo-effects · 66c91e43
  Dominik Schreiber authored Aug 21, 2020 and Gregor Behnke committed Sep 01, 2020
  
  66c91e43
10 Aug, 2020 2 commits
- Update from Github · 57547481
  Dominik Schreiber authored Aug 10, 2020
  
  57547481
- Update from Github · 6b640f9c
  Dominik Schreiber authored Aug 09, 2020
  
  6b640f9c
08 Aug, 2020 2 commits
- Update from Github · 0e4bff16
  Dominik Schreiber authored Aug 07, 2020
  
  0e4bff16
- Update from Github · c86b7663
  Dominik Schreiber authored Aug 07, 2020
  
  c86b7663
07 Aug, 2020 3 commits
- Rename planner: treerexx -> Lilotane · 2b7fa137
  Dominik Schreiber authored Aug 07, 2020
  
  2b7fa137
- Change and document cmd args · 07ec584c
  Dominik Schreiber authored Aug 06, 2020
  
  07ec584c
- Update from Github · 2778afdf
  Dominik Schreiber authored Aug 06, 2020
  
  2778afdf
06 Aug, 2020 2 commits
- Update from Github · c2a16581
  Dominik Schreiber authored Aug 06, 2020
  
  c2a16581
- Update from Github · 60bd1b5f
  Dominik Schreiber authored Aug 05, 2020
  
  60bd1b5f
05 Aug, 2020 2 commits
- Update from Github · b161e738
  Dominik Schreiber authored Aug 04, 2020
  
  b161e738
- Update from Github · 26cc81fd
  Dominik Schreiber authored Aug 04, 2020
  
  26cc81fd
03 Aug, 2020 1 commit
- Add options to Singularity · 3678bdbc
  Dominik Schreiber authored Aug 03, 2020
  
  3678bdbc
28 Jul, 2020 2 commits
- Disable colored output in Singularity · 84ea8e93
  Dominik Schreiber authored Jul 27, 2020
  
  84ea8e93
- Update from Github · 10131f8b
  Dominik Schreiber authored Jul 27, 2020
  
  10131f8b
25 Jul, 2020 1 commit
- Update from Github · f1b355d3
  Dominik Schreiber authored Jul 24, 2020
  
  f1b355d3
22 Jul, 2020 1 commit
- Update from Github · 1019d6b9
  Dominik Schreiber authored Jul 22, 2020
  
  1019d6b9
21 Jul, 2020 2 commits
- Update from Github · d910baaf
  Dominik Schreiber authored Jul 21, 2020
  
  d910baaf
- Update from Github · d031a539
  Dominik Schreiber authored Jul 20, 2020
  
  d031a539
18 Jul, 2020 5 commits
- Add CaDiCaL makefile · c757acfa
  Dominik Schreiber authored Jul 17, 2020
  
  c757acfa
- Revert back to https github · bb73497c
  Dominik Schreiber authored Jul 17, 2020
  
  bb73497c
- Change cadical github link from https to ssh · 8c291b7d
  Dominik Schreiber authored Jul 17, 2020
  
  8c291b7d
- Update from Github · 853b5072
  Dominik Schreiber authored Jul 17, 2020
  
  853b5072
- Change build to release and with CaDiCaL solver · c22e1d3c
  Dominik Schreiber authored Jul 17, 2020
  
  c22e1d3c
17 Jul, 2020 5 commits
- Update from Github · 8549f87d
  Dominik Schreiber authored Jul 17, 2020
  
  8549f87d
- Replaced git via ssh with git via https · aa860fbb
  Gregor Behnke authored Jul 17, 2020
  
  aa860fbb
- Add git to Singularity · b92270b9
  Gregor Behnke authored Jul 17, 2020
  
  b92270b9
- Set new program options, decrease verbosity · 7c7cbce7
  Dominik Schreiber authored Jul 16, 2020
  
  7c7cbce7
- Update from github · 847f47ac
  Dominik Schreiber authored Jul 16, 2020
  
  847f47ac
10 Jul, 2020 3 commits
- Clean up · 19ac607c
  Dominik Schreiber authored Jul 09, 2020
  
  19ac607c
- Patch singularity file · 0ee1bb83
  Dominik Schreiber authored Jul 09, 2020
  
  0ee1bb83
- Integrate current status from Github · 21941d30
  Dominik Schreiber authored Jul 09, 2020
  
  21941d30