issues
search
nunchaku-inria
/
nunchaku
Model finder for higher-order logic
https://nunchaku-inria.github.io/nunchaku/
BSD 2-Clause "Simplified" License
42
stars
3
forks
source link
inlining pass
#19
Open
c-cube
opened
7 years ago
c-cube
commented
7 years ago
transformation for inlining non-recursive defined functions
transformation for inlining non-recursive defined functions