Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 18, 2021

• Shuffle signature hashing via random seed

  domschrei

  committed
  0a58c29

  Copy full SHA for 0a58c29

Commits on Nov 8, 2021

• Merge pull request #7 from NikolaiLMS/retroactive_pruning_bug

  Show description for e7f8ae3
  domschrei

  authored
  e7f8ae3

  Copy full SHA for e7f8ae3

• Merge pull request #6 from NikolaiLMS/fix_reachable_negated_bug

  Show description for c189621
  domschrei

  authored
  c189621

  Copy full SHA for c189621

Commits on Oct 23, 2021

• Fix bug in retroactive_pruning.cpp where action to prune is not removed from its childrens predecessors

  NikolaiLMS

  committed
  a915dc4

  Copy full SHA for a915dc4

Commits on Sep 29, 2021

• Fix reachable condition bug for negated facts

  NikolaiLMS

  committed
  5a0b7bf

  Copy full SHA for 5a0b7bf

Commits on May 18, 2021

• Add cleanup option to optionally tidy up before exiting (important for some IPASIR solvers)

  domschrei

  committed
  b77fd87

  Copy full SHA for b77fd87

Commits on May 4, 2021

• Scripts update

  domschrei

  committed
  97ce2b2

  Copy full SHA for 97ce2b2

Commits on Apr 14, 2021

• More documentation for IPASIR benchmark application

  domschrei

  committed
  fc00e7c

  Copy full SHA for fc00e7c

• Add documentation for IPASIR benchmark application

  domschrei

  committed
  7cb69f3

  Copy full SHA for 7cb69f3

• Add documentation

  domschrei

  committed
  94b697b

  Copy full SHA for 94b697b

• Add build mode as an IPASIR application

  domschrei

  committed
  33d1119

  Copy full SHA for 33d1119

Commits on Mar 23, 2021

• Improve JAIR reference

  domschrei

  authored
  c2c0399

  Copy full SHA for c2c0399

• #4 Update references, add citation notice

  domschrei

  authored
  1989490

  Copy full SHA for 1989490

Commits on Mar 22, 2021

• #3 Fix some build issues

  domschrei

  committed
  8030276

  Copy full SHA for 8030276

Commits on Feb 26, 2021

• Simpler and more efficient computation of indirect fact supports

  domschrei

  committed
  33514b0

  Copy full SHA for 33514b0

• Improvements and optimizations in substitution constraints collection

  domschrei

  committed
  84baced

  Copy full SHA for 84baced

Commits on Feb 25, 2021

• Improved collection of precondition-based substitution constraints

  domschrei

  committed
  c525e5c

  Copy full SHA for c525e5c

• Fix instantiation bugs

  domschrei

  committed
  53cc92d

  Copy full SHA for 53cc92d

Commits on Feb 23, 2021

• Refactorings and simplifications

  domschrei

  committed
  bdbff02

  Copy full SHA for bdbff02

Commits on Feb 22, 2021

• Assertions and minor code improvements

  domschrei

  committed
  d6fe6a2

  Copy full SHA for d6fe6a2

• Rework substitution constraints (not yet finished); bug: incorrect precondition inference

  domschrei

  committed
  1dff461

  Copy full SHA for 1dff461

Commits on Feb 19, 2021

• Refactorings and performance improvements

  domschrei

  committed
  ebff88e

  Copy full SHA for ebff88e

Commits on Feb 18, 2021

• More refactoring

  domschrei

  committed
  236361f

  Copy full SHA for 236361f

• Refactor encoding

  domschrei

  committed
  583571c

  Copy full SHA for 583571c

Commits on Feb 17, 2021

• Minor build process update

  domschrei

  committed
  801cb77

  Copy full SHA for 801cb77

• Update README

  domschrei

  committed
  9052149

  Copy full SHA for 9052149

• Improve CMake build process

  domschrei

  committed
  dfe48bb

  Copy full SHA for dfe48bb

• Add missing files

  domschrei

  committed
  7424f15

  Copy full SHA for 7424f15

• Add CMakeLists.txt for changed build system

  domschrei

  committed
  447a493

  Copy full SHA for 447a493

• Major refactoring towards better maintainability

  domschrei

  committed
  a1c4582

  Copy full SHA for a1c4582

• Output statistics of max. free method arguments only for non-trivial domains

  domschrei

  committed
  988ad77

  Copy full SHA for 988ad77

Commits on Jan 29, 2021

• Add some statistics printed before exiting

  domschrei

  committed
  c84c9b9

  Copy full SHA for c84c9b9

• Merge branch 'planoptimization'

  domschrei

  committed
  576b7a6

  Copy full SHA for 576b7a6

• Comment out experimental stuff on coarsened q-constants

  domschrei

  committed
  b5fd2eb

  Copy full SHA for b5fd2eb

• Minor corrections in evaluation and visualization setup; method to retrieve number of q-constants

  domschrei

  committed
  499f1dd

  Copy full SHA for 499f1dd

Pagination

Previous

Next