aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
2021-01-07Add version of nfib without strictness analysisCamil Staps1-1/+1
2021-01-07Centralize instruction implementationsCamil Staps1-5/+3
2021-01-07Initial commit: fib (eqI_b and ltI version); nfibCamil Staps1-0/+30