Skip to content

Experiment: do not llvm kompile, evaluate static data lookups in HS backend - #853

Closed
jberthold wants to merge 11 commits into
masterfrom
EXPERIMENT-no-llvm-kompile
Closed

Experiment: do not llvm kompile, evaluate static data lookups in HS backend#853
jberthold wants to merge 11 commits into
masterfrom
EXPERIMENT-no-llvm-kompile

do not use extra_module in prover invocation

9e72956
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar