view .hgignore @ 29:073de2e0c148

Add Dockerfile for cbmc
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 May 2016 14:48:43 +0900
parents fee276e2ce94
children c056a6a70c7e
line wrap: on
line source

syntax: glob

# Editors
*.swp
*~

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

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

# executables
src/insert_verification/insert_verification