aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2021-01-07Add version of nfib without strictness analysisCamil Staps1-0/+1
2021-01-07Initial commit: fib (eqI_b and ltI version); nfibCamil Staps1-0/+9