diff options
| author | Delphine Demange <delphine.demange@irisa.fr> | 2020-11-05 15:20:25 +0100 |
|---|---|---|
| committer | Delphine Demange <delphine.demange@irisa.fr> | 2020-11-05 15:20:25 +0100 |
| commit | b58c3626a7a0c85da5d598e238466b0647830e7f (patch) | |
| tree | e9ee9d05bda326176eeb0ef1f19f2279fe2babd3 | |
| parent | cb8e29389cb23d3114bb22536d95b4496082a12d (diff) | |
| download | compcert-kvx-b58c3626a7a0c85da5d598e238466b0647830e7f.tar.gz compcert-kvx-b58c3626a7a0c85da5d598e238466b0647830e7f.zip | |
ignoring picosat generated files
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -74,6 +74,12 @@ .DS_Store # Test generated data /test/clightgen/*.v +/test/picosat-965/picogcnf +/test/picosat-965/picomcs +/test/picosat-965/picomus +/test/picosat-965/picosat +/test/picosat-965/config.h +/test/picosat-965/makefile # Coq caches .lia.cache .nia.cache |