Mark Winterrowd

I'm currently working on a project where I have custom allocators that want to perform epoch garbage collection, but with special, nonstandard allocation/deallocation behavior. To accomplish this, I intend to...

Souffle `explain` is unimplemented for ADTs.

6

Our project would like to use `explain` to generate a proof tree for our analysis. It appears that our use of ADTs is blocking us from being able to use...

Document how to pass ADTs into Souffle binaries through input files.

2

I have a Souffle program where I would like to use an ADT type in an input relation. I'm having trouble getting the binary generated from my Souffle datalog program...

riscv-llvm does not support inline ASM constraints "A" or "rK"

2

I have been running into the following complaints while attempting to use riscv-clang in a number of RISCV repositories: "error: invalid output constraint '+A' in asm" "error: invalid input constraint...