Petr Penzin
Petr Penzin
I've had to downgrade Windows CI image in #6829, and we might want to consider Ubuntu 22 and maybe dropping Ubuntu 18. Platforms we should consider: - [x] Windows 2022,...
Closes #3
Motivation: testing for a _copy_ of original object or string. For example `CuAssertStrEquals` would pass if the same pointer is passed as both of expected and actual, but this would...
Set up a cached CMake variable to enable Clang sanitizer.
OS: Ubuntu 22.04 x86-64 Compiler: Clang ~14.0.0~12.0.1 CMake build type: RelWithDebInfo Bytecode generation for verification segfaults: ``` $ ./ch -GenerateLibraryByteCodeHeader -LdChakraLib -JsBuiltIn /path/to/ChakraCore/tools/../lib/Runtime/Library/InJavascript/Array_prototype.js Segmentation fault (core dumped) ``` The crash...
Link to original tarball is not available anymore, but it can be found in the Wayback Machine.
Memalign() is absent on some systems, use posix_memalign() instead.
-fslp-vectorize-aggressive has been deprecated in Clang, it is superseded by regular -fslp-vectorize. https://reviews.llvm.org/D34846 https://reviews.llvm.org/D34926
Since the scripts are used in [this great guide](https://vermaden.wordpress.com/freebsd-desktop/) on FreeBSD desktop, I am wondering if it would be possible to share the rest of files from the guide on...
Apologies for the ignorance, I've manage to miss a couple of recent meetings on SpecTec where this might've been discussed, but what is our _current_ state of mechanisation and verification...