Blame · .gitignore · 763bfe4ffc0f6cc3f0efbd3fae6311ff5f22c534 · Tej Chajed / iris · GitLab

Find file Normal view History Permalink

.gitignore 98 Bytes

Newer Older

Initial commit Robbert Krebbers committed Nov 11, 2015	1	`*.vo`
Ignore .vio files. Robbert Krebbers committed Apr 27, 2016	2	`*.vio`
delete scons Ralf Jung committed Jan 21, 2016	3	`*.v.d`
Initial commit Robbert Krebbers committed Nov 11, 2015	4 5 6	`.glob .cache *.aux`
delete scons Ralf Jung committed Jan 21, 2016	7	`\#*\#`
ignore some tmp emacs files Ralf Jung committed Feb 10, 2016	8	`.\#*`
delete scons Ralf Jung committed Jan 21, 2016	9	`*~`
(almost) instantiate lifting lemma for allocation Ralf Jung committed Jan 26, 2016	10	`*.bak`
Initial commit Robbert Krebbers committed Nov 11, 2015	11	`.coq-native/`
simplify our build instructions to just "make" Ralf Jung committed Feb 12, 2016	12	`Makefile.coq`
Add .crashcoqide to .gitignore. Robbert Krebbers committed Nov 26, 2016	13	`*.crashcoqide`