Displaying 1 result from an estimated 1 matches for "__builtin_parity".
2012 Aug 31
0
[LLVMdev] Announcement: Version 2012.2 of LLBMC available
...rchr,
memchr, strcmp, strncmp, memcmp, toupper, tolower, malloc, calloc, free,
exit, abort
- New options: --max-builtins-iterations, --max-memcpy-iterations, --memcpy=<method>
- New, additional output format: SMTLIB (versions 1 and 2)
- Support for many GCC/LLVM built-in functions (e.g., __builtin_parity())
- Improved counterexample traces
- LLBMC is now based on LLVM 3.1
- New version of STP (revision 1666)
- Support for backend solver "MiniSat and propagators" in STP
- Option --friendly-protoypes renamed to --ignore-missing-function-bodies
- General stability and performance impro...