Code

Signature optimization#638

Code

Merged

quickbeam123 merged 11 commits intomastervprover/vampire:masterfrom signature-optimizationvprover/vampire:signature-optimizationCopy head branch name to clipboardJan 8, 2025

+245-491

Commits

Commits on Jan 7, 2025

• optimized keys in signature to not create unnecessary intermediate strings

  joe-hauns

  committed
  dfc78cc

  Copy full SHA for dfc78cc

• got rid of overflown constant (not needed since gmp)

  joe-hauns

  committed
  b0ff65d

  Copy full SHA for b0ff65d

• tidy

  joe-hauns

  committed
  1479743

  Copy full SHA for 1479743

• bug fix

  joe-hauns

  committed
  ac19ae7

  Copy full SHA for ac19ae7

Commits on Jan 8, 2025

• add{Integer,Rational,Real}Constant => addNumeralConstant

  joe-hauns

  committed
  071aa9d

  Copy full SHA for 071aa9d

• comment update

  joe-hauns

  committed
  79763b8

  Copy full SHA for 79763b8

• ArithmeticException ==> DivByZeroException

  joe-hauns

  committed
  4344f28

  Copy full SHA for 4344f28

• Merge branch 'master' into signature-optimization

  joe-hauns

  committed
  7bee2c6

  Copy full SHA for 7bee2c6

• fixed instruction limit typo

  joe-hauns

  committed
  36a610c

  Copy full SHA for 36a610c

• cover the INSTRUCTION_LIMIT case

  quickbeam123

  committed
  0cc04da

  Copy full SHA for 0cc04da

• cover one more INSTRUCTION_LIMIT case

  quickbeam123

  committed
  743ab47

  Copy full SHA for 743ab47