search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
36 stars 23 forks source link

A few minor bug fixes related to Geth Integration #1151

Closed dwightguth closed 1 month ago

dwightguth commented 1 month ago
  1. Fix a bug causing gdb to crash when pretty printing certain values.
  2. Modify llvm backend code to actually respect the value of the gc_enabled flag.