Author Commit Message Labels Comments Date
Zachary Anderson avatarZachary Anderson
Prashanth Mundkur avatarPrashanth Mundkur
Fix a minor typo in tut0.
Prashanth Mundkur avatarPrashanth Mundkur
Fix a couple of CMake typos, one that affected installation.
Zachary Anderson avatarZachary Anderson
Fix for changed CIL extensions linking
Zachary Anderson avatarZachary Anderson
Updated scripts for Cilly change. Fixed README.
Zachary Anderson avatarZachary Anderson
README file fixes
Zachary Anderson avatarZachary Anderson
README file fixes
Zachary Anderson avatarZachary Anderson
Update README to reflect broken CIL 1.7.1 build
Zachary Anderson avatarZachary Anderson
Small update to README
Zachary Anderson avatarZachary Anderson
Rm status messages from UseOCaml.cmake
Zachary Anderson avatarZachary Anderson
Fix for UseOCaml.cmake
Zachary Anderson avatarZachary Anderson
Updated README and docs to reflect cmake build
Zachary Anderson avatarZachary Anderson
Switching over to CMake for the whole build. This commit may fail to build
Zachary Anderson avatarZachary Anderson
Updated README
Zachary Anderson avatarZachary Anderson
Small updates from main repo
Zachary Anderson avatarZachary Anderson
Updated README
Zachary Anderson avatarZachary Anderson
Fixes for building on Mac
Zachary Anderson avatarZachary Anderson
Fixes for tutorials 11 and 15
Zachary Anderson avatarZachary Anderson
Fixed build in the case that tut11 and tut15 are disabled
Zachary Anderson avatarZachary Anderson
Added automated test generation example
Zachary Anderson avatarZachary Anderson
Misc updates, and added tut14 on dsls
Zachary Anderson avatarZachary Anderson
Fix for ciltutcc script, etc.
Zachary Anderson avatarZachary Anderson
Added LICENSE file
Zachary Anderson avatarZachary Anderson
Fixed autoconf script and Makefile
Zachary Anderson avatarZachary Anderson
Added whole program analysis example
Zachary Anderson avatarZachary Anderson
Added comment template
Zachary Anderson avatarZachary Anderson
Added and fixed a few tests
Zachary Anderson avatarZachary Anderson
Updating tests. Added librt to final link. Removed generated Makefiles
Zachary Anderson avatarZachary Anderson
Bug fix in ciltutoptions.ml
Zachary Anderson avatarZachary Anderson
Small fixes to the README and .hgignore. Also added configure script
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.