diff options
| author | Shaked Flur <fshaked@gmail.com> | 2019-01-29 11:05:52 +0000 |
|---|---|---|
| committer | Shaked Flur <fshaked@gmail.com> | 2019-01-29 11:05:52 +0000 |
| commit | 854ecbf0523f07ac3b62bb28058c02173a20dc0e (patch) | |
| tree | 7709bc0f1bbd461751573bbadce3e7af7af12c64 /.gitignore | |
| parent | b6b532cc7855dc8223eb3572fd847959f3d363b4 (diff) | |
| download | sail-riscv-854ecbf0523f07ac3b62bb28058c02173a20dc0e.zip sail-riscv-854ecbf0523f07ac3b62bb28058c02173a20dc0e.tar.gz sail-riscv-854ecbf0523f07ac3b62bb28058c02173a20dc0e.tar.bz2 | |
Added riscv_rmem that generates the lem files for rmem (which are different from the lem files for the theorem provers)
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 49 |
1 files changed, 1 insertions, 48 deletions
@@ -1,48 +1 @@ -# global things - -*~ -.#* -*.bak - -*.native -*.byte - -a.out - -_build/ -_sbuild/ - -# HOL4 - -.HOLMK -.hollogs -*Theory.dat -*Theory.sig -*Theory.sml -*Theory.ui -*Theory.uo - -# Coq - -*.vo -*.glob -.*.aux - -# location specific things - -/Riscv.thy -/RiscvAuxiliary.thy -/Riscv_extras.thy -/Riscv_lemmas.thy -/Riscv_types.thy -/riscv.lem -/riscv_types.lem -/riscv_sequential.lem -/riscv_sequential_types.lem -/Riscv_sequential_lemmas.thy -/riscv -/platform -/riscv.c -/riscv_model.c -/riscv_c -/riscv_sim +/generated_definitions |