michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: michael:3c0e5f5226a2f014d6db461bd47f3f6da0772207
Branches Tags
michael:mzhang/fix
michael:master
michael:imp_hott
..
compare: michael:8072fdf9a0b31abb9d43ab894d7a858639e20ed7
Branches Tags
michael:mzhang/fix
michael:master
michael:imp_hott

No commits in common. "3c0e5f5226a2f014d6db461bd47f3f6da0772207" and "8072fdf9a0b31abb9d43ab894d7a858639e20ed7" have entirely different histories.
3c0e5f5226 ... 8072fdf9a0

3 changed files with 2 additions and 11 deletions
Show stats Expand all files Collapse all files

1
.gitignore vendored
View file

@ -24,4 +24,3 @@ doc/html
make.deps make.deps
src/emacs/dependencies src/emacs/dependencies
compile_commands.json compile_commands.json
.cache

8
src/CMakeLists.txt
View file

@ -4,14 +4,6 @@ set(LEAN_VERSION_MAJOR 0)
set(LEAN_VERSION_MINOR 2) set(LEAN_VERSION_MINOR 2)
set(LEAN_VERSION_PATCH 0) set(LEAN_VERSION_PATCH 0)
# Generate the `compile_commands.json` file.
set(CMAKE_EXPORT_COMPILE_COMMANDS ON CACHE INTERNAL "")
if(CMAKE_EXPORT_COMPILE_COMMANDS)
set(CMAKE_CXX_STANDARD_INCLUDE_DIRECTORIES
${CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES})
endif()
if (NOT CMAKE_BUILD_TYPE) if (NOT CMAKE_BUILD_TYPE)
message(STATUS "No build type selected, default to Release") message(STATUS "No build type selected, default to Release")
set(CMAKE_BUILD_TYPE "Release") set(CMAKE_BUILD_TYPE "Release")

2
src/util/lp/permutation_matrix.h
View file

@ -123,7 +123,7 @@ namespace lean {
unsigned size() const { return static_cast<unsigned>(m_rev.size()); } unsigned size() const { return static_cast<unsigned>(m_rev.size()); }
const unsigned * values() const { return m_permutation.data(); } unsigned * values() const { return m_permutation; }
}; // end of the permutation class }; // end of the permutation class
#ifdef LEAN_DEBUG #ifdef LEAN_DEBUG