9 Commits (667845583871ecb40c5dd079de4e8940e13b4cfe)

Author SHA1 Message Date
Jules Villard 78a33acb77 [cfg] run pre-analysis lazily in ondemand
5 years ago
Jules Villard 686231ec6e [SIL] change `variable_initialization()` builtin to a new auxiliary instruction
6 years ago
Jules Villard 1c668c4d41 [SIL][preanalysis] add call flag for functions treating first formal as return
6 years ago
Jules Villard 55586b581b [preanalysis] do not delay killing variables taken by reference
6 years ago
Jules Villard 646aa30797 [cfg] print dotty *after* pre-analysis
6 years ago
Jules Villard 9aa5582caa [clang] leave markers of variable initialization for pulse
6 years ago
Mehdi Bouaziz ad986dffde Get rid of Declare_locals
6 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jules Villard 8715c4f892 [clang] make switch statement translation more robust
7 years ago