Commits

Author Commit Message Labels Comments Date
Zachary Anderson
Merged in pmundkur/cil-template (pull request #1) Fix a couple of typos.
Prashanth Mundkur
Fix a minor typo in tut0.
Prashanth Mundkur
Fix a couple of CMake typos, one that affected installation.
Zachary Anderson
Fix for changed CIL extensions linking
Zachary Anderson
Updated scripts for Cilly change. Fixed README.
Zachary Anderson
README file fixes
Zachary Anderson
README file fixes
Zachary Anderson
Update README to reflect broken CIL 1.7.1 build
Zachary Anderson
Small update to README
Zachary Anderson
Rm status messages from UseOCaml.cmake
Zachary Anderson
Fix for UseOCaml.cmake
Zachary Anderson
Updated README and docs to reflect cmake build
Zachary Anderson
Switching over to CMake for the whole build. This commit may fail to build
Zachary Anderson
Updated README
Zachary Anderson
Small updates from main repo
Zachary Anderson
Updated README
Zachary Anderson
Fixes for building on Mac
Zachary Anderson
Fixes for tutorials 11 and 15
Zachary Anderson
Fixed build in the case that tut11 and tut15 are disabled
Zachary Anderson
Added automated test generation example
Zachary Anderson
Misc updates, and added tut14 on dsls
Zachary Anderson
Fix for ciltutcc script, etc.
Zachary Anderson
Added LICENSE file
Zachary Anderson
Fixed autoconf script and Makefile
Zachary Anderson
Added whole program analysis example
Zachary Anderson
Added comment template
Zachary Anderson
Added and fixed a few tests
Zachary Anderson
Updating tests. Added librt to final link. Removed generated Makefiles
Zachary Anderson
Bug fix in ciltutoptions.ml
Zachary Anderson
Small fixes to the README and .hgignore. Also added configure script
  1. Prev
  2. Next