Skip to content

Release 4.0.3

Latest
Compare
Choose a tag to compare
@arminbiere arminbiere released this 28 Jun 15:38
  • reversed VMTF and heap order of factored variables aka BVA
  • properly checking and fixed VMTF stamping order after factoring
  • added -flto support / test (reason for changes to stack)
  • reactivated scripts/build-and-test-all-configurations.sh
  • inlined through macros generic stack enlarging / shrinking