| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-27 | (gcc-13) include cstdint for *int*_t | Jiri Slaby | |
| Otherwise we see errors like this with gcc13: include/klee/Statistics/Statistic.h:31:10: error: no type named 'uint32_t' in namespace 'std' | |||
| 2023-03-23 | stats: add termination class stats | Frank Busse | |
| 2023-03-23 | stats: add branch type stats | Frank Busse | |
| 2022-09-14 | Eliminate .undefined_behavior.err category and simplify tests | Pavel | |
| 2022-09-14 | Introduce separate categories for different kinds of undefined behavior | Pavel | |
| 2022-01-05 | introduce BranchTypes | Frank Busse | |
| 2021-12-23 | Introduce termination categories | Frank Busse | |
| Track all path terminations: esp. for debugging or visualising a persistent process tree (with or without full MoKlee integration) it is helpful to know the exact reason (StateTerminationType) why a path terminated. | |||
| 2021-05-04 | differentiate between partial and completed paths in summary and fix paths ↵ | Frank Busse | |
| stats when not dumping states | |||
| 2020-11-04 | Link to the different runtime libraries depending on the application to test. | Martin Nowack | |
| Currently, only 32bit vs. 64bit is supported. | |||
| 2020-04-30 | Created include/klee/Core directory and moved appropriate files direc\ | Cristian Cadar | |
| tly in lib/Core | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |