Commit graph

6 commits

Author SHA1 Message Date
Leonardo de Moura
3a2758a59b refactor: new LCNF frontend 2022-08-24 11:40:37 -07:00
Henrik Böving
d0aa234c78 feat: handle out of scope join points in join point finder 2022-08-19 17:44:54 -07:00
Henrik Böving
70ef3875d1 feat: add join point detector 2022-08-17 14:38:46 -07:00
Leonardo de Moura
600740da85 feat: inlining local function declarations 2022-08-16 18:23:49 -07:00
Henrik Böving
8e29fa88eb fix: address code review for jp checker 2022-08-14 09:33:58 -07:00
Henrik Böving
ff9c9032b4 feat: join point validator 2022-08-14 09:33:58 -07:00