| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-09-10 | llvm12: Implement llvm.{s,u}{max,min} intrinsics | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |