issues
search
runtimeverification
/
haskell-backend
The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
204
stars
39
forks
source link
Use typed log context in kore, add optional timestamp (with flexible parsing)
#3967
Closed
jberthold
closed
1 day ago