diff options
| author | Camil Staps | 2021-01-07 21:52:21 +0100 |
|---|---|---|
| committer | Camil Staps | 2021-01-07 21:54:50 +0100 |
| commit | c6d632ea339d20ccba169088c389ecf9ee0aa25c (patch) | |
| tree | 4da154f0b26b0fe7644d554e86d9821e206879a2 /.gitignore | |
| parent | Add heap pointer (diff) | |
Add version of nfib without strictness analysis
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,3 +7,4 @@ fib_eqI_b fib_ltI nfib +nfib_nsa |