Closed Kakadu closed 8 months ago
The same as Camelot does. And propose a rewrite to List.map, List.fold_left, etc. Camelot check a few simple cases. The general approach about synthesizing function summaries and checking these summaries is very complicated.
Fixed in #35
The same as Camelot does. And propose a rewrite to List.map, List.fold_left, etc. Camelot check a few simple cases. The general approach about synthesizing function summaries and checking these summaries is very complicated.