michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/src
History
Leonardo de Moura 9d1266c972 Fix bugs in Tcmalloc detection. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-09-19 23:52:50 -07:00
..
cmake/Modules Fix bugs in Tcmalloc detection. 2013-09-19 23:52:50 -07:00
frontends/lean Fix warnings and bugs related to unused variables. 2013-09-19 22:41:07 -07:00
kernel Fix warnings and bugs related to unused variables. 2013-09-19 22:41:07 -07:00
library Fix warnings and bugs related to unused variables. 2013-09-19 22:41:07 -07:00
shell Update to suppress unused-parameter warnings 2013-09-19 22:40:34 -07:00
tests Add imitation for lambdas and Pis 2013-09-19 16:28:23 -07:00
util Remove invalid use of register 2013-09-19 22:59:39 -07:00
CMakeLists.txt Fix bugs in Tcmalloc detection. 2013-09-19 23:52:50 -07:00
CTestConfig.cmake Attempt to suppress valgrind warnings on Travis 2013-09-15 01:17:05 -07:00
CTestCustom.cmake.in Exclude 'style_check' from MemCheck list 2013-09-13 20:27:35 -07:00
Doxyfile Add EXCLUDE_PATTERNS to src/Doxyfile 2013-09-15 20:31:15 -07:00
memcheck.supp Update memcheck.supp, add a new suppression rule for 32bit ubuntu 2013-09-19 11:46:47 -07:00