Age | Commit message (Expand) | Author |
---|---|---|
2020-11-12 | Casting.h: isa_and_nonnull<> | Julian Büning |
2020-04-30 | Moved header files that were placed directly in include/klee/ into appropriat... | Cristian Cadar |
2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar |
2019-05-30 | implement FunctionAliasPass | Julian Büning |