Soonho Kong 6ee14bf17f Use unsigned short for the type of interval::bound_deps		2013-09-16 18:15:32 -07:00
..
cmake/Modules	Remove debug code from cpplint.py	2013-09-13 20:37:31 -07:00
frontends/lean	Move metavariables to the kernel. This is the first step for implementing the new elaborator.	2013-09-15 12:09:01 -07:00
interval	Use unsigned short for the type of interval::bound_deps	2013-09-16 18:15:32 -07:00
kernel	Add partial support for metavariables in the normalizer	2013-09-15 21:23:50 -07:00
library	Move metavariables to the kernel. This is the first step for implementing the new elaborator.	2013-09-15 12:09:01 -07:00
shell	Apply coding style	2013-09-13 18:48:09 -07:00
tests	Add partial support for metavariables in the normalizer	2013-09-15 21:23:50 -07:00
util	Move metavariables to the kernel. This is the first step for implementing the new elaborator.	2013-09-15 12:09:01 -07:00
CMakeLists.txt	Update src/CmakeLists.txt - only check style over files starting with [A-z]	2013-09-16 16:23:20 -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	2013-09-14 19:33:47 -07:00