Code

Impl sltu solver (#58)#73

Code

Merged

ChristianMoesl merged 10 commits intomastercksystemsgroup/monster:masterfrom impl-sltu-solvercksystemsgroup/monster:impl-sltu-solverCopy head branch name to clipboardNov 11, 2020

+259-26

Commits

Commits on Oct 27, 2020

• invertability and consistency conditions done

  alexanderlackner

  committed
  6b0b047

  Copy full SHA for 6b0b047

Commits on Oct 29, 2020

• Changed sltu to instruction instead of constraint and implemented everything except boolector

  alexanderlackner

  committed
  75f249f

  Copy full SHA for 75f249f

• Merge branch 'master' into impl-sltu-solver

  alexanderlackner

  committed
  bdc38c3

  Copy full SHA for bdc38c3

Commits on Nov 2, 2020

• sltu added to boolector

  alexanderlackner

  committed
  b7eb247

  Copy full SHA for b7eb247

• Merge branch 'master' into impl-sltu-solver

  alexanderlackner

  committed
  bf83a43

  Copy full SHA for bf83a43

• Adding sltu to BVOperators

  alexanderlackner

  committed
  5304221

  Copy full SHA for 5304221

• small bugfixes

  alexanderlackner

  committed
  6ba7b52

  Copy full SHA for 6ba7b52

Commits on Nov 10, 2020

• updated it to refactored code

  alexanderlackner

  committed
  bc70005

  Copy full SHA for bc70005

• merged with master

  alexanderlackner

  committed
  de94324

  Copy full SHA for de94324

• sltu tests and fixes implemented

  alexanderlackner

  committed
  839a3ef

  Copy full SHA for 839a3ef