From c6d632ea339d20ccba169088c389ecf9ee0aa25c Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 7 Jan 2021 21:52:21 +0100 Subject: Add version of nfib without strictness analysis --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index f948d98..c551dea 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ fib_eqI_b fib_ltI nfib +nfib_nsa -- cgit v1.2.3