Code

Towards model generation in bitwuzla#148

Code

Merged

filipeom merged 3 commits intoformalsec:mainformalsec/smtml:mainfrom filipeom:bitwuzla-mappings2filipeom/smtml:bitwuzla-mappings2Copy head branch name to clipboardJun 14, 2024

+262-162

Commits

Commits on Jun 13, 2024

• Implement get_value for Bitwuzla

  Show description for 54fa560
  filipeom

  committed
  54fa560

  Copy full SHA for 54fa560

Commits on Jun 14, 2024

• Bitwuzla: float get_value and (buggy) model generation

  filipeom

  committed
  abd8cce

  Copy full SHA for abd8cce

• Better error messages on non-implemented functions

  filipeom

  committed
  165c677

  Copy full SHA for 165c677