search

trailofbits / circuitous

binary->LLVM->circuits
Apache License 2.0
18 stars 6 forks source link

Trace conversion #284

Closed lkorenc closed 1 year ago

lkorenc commented 1 year ago

Add ability to convert traces. Updated and force pushed version of #281