Mercurial > hg > CbC > old > akasha

view .hgignore @ 33:c056a6a70c7e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
WIP: insert verification using cbmc
author atton
date Tue, 07 Jun 2016 07:24:03 +0000
parents fee276e2ce94
children 9619480d0dc0
line wrap: on
line source

syntax: glob

# Editors
*.swp
*~

# CMake
CMakeCache.txt
CMakeFiles
CMakeScripts
Makefile
cmake_install.cmake
install_manifest.txt

# cbmc
cbmc_files

# clang
*.o
*.bc
*.i
*.s

# executables
src/insert_verification/insert_verification