aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2021-04-15Accept implicit fallthroughHEADmasterCamil Staps1-0/+1
2019-01-07Fix clang errorsCamil Staps3-4/+4
2018-07-01Add vim-fuspelCamil Staps3-0/+64
2018-07-01Fix grammarCamil Staps1-1/+1
2018-05-27Fix printing of integers in debug graphsCamil Staps1-2/+2
2018-04-21Add fixpoint peano addition exampleCamil Staps1-0/+21
2018-04-21Add print_eval for NODE_APPCamil Staps1-1/+8
2018-04-03Update copyrightCamil Staps1-1/+1
2018-04-03Store integers without pointersCamil Staps8-28/+29
2018-04-03Resolve #11: print end result as soon as it is in HNFCamil Staps3-8/+63
2018-04-03Add fix and scan_iterate examplesCamil Staps3-0/+16
2018-04-03Fix : constructor in list patternsCamil Staps1-0/+10
2018-04-03Extend examplesCamil Staps3-3/+11
2018-04-03Beautify MakefileCamil Staps1-1/+7
2018-04-03Fix some minor bugsCamil Staps2-5/+5
2018-04-03Resolve #5: list notation shortcut in patternsCamil Staps1-14/+42
2016-11-08Change _H_* to _H_FUSPEL_* for compatibility with other librariesCamil Staps9-18/+18
2016-11-08Remove leading underscore from _FUSPEL_DEBUG and _FUSPEL_CLICamil Staps8-26/+26
2016-10-16examplesCamil Staps3-2/+19
2016-10-16Usage message when no modules are givenCamil Staps1-6/+10
2016-10-14Minor example updatesCamil Staps2-2/+2
2016-10-14token_list using an array for memory efficiencyCamil Staps8-203/+231
2016-10-12Make debug graphs a command line option (-g)Camil Staps4-6/+34
2016-10-11Fix initialisation warningCamil Staps1-1/+1
2016-10-07CleanupCamil Staps1-16/+4
2016-10-07Cleanup (resolves #9)Camil Staps21-263/+236
2016-10-07Resolve #12, don't show code keyword in debug graphCamil Staps6-94/+164
2016-10-07Makefile: add override to CFLAGSCamil Staps1-1/+1
2016-10-06Fixing the buildCamil Staps2-9/+4
2016-10-06ReadmeCamil Staps1-0/+8
2016-10-06Made the CLI an option to save binary space on minimal platformsCamil Staps2-17/+51
2016-10-06List notation shortcut (resolves #5)Camil Staps3-19/+48
2016-10-06Adds a trace codeCamil Staps4-4/+25
2016-10-04ExamplesCamil Staps5-1/+42
2016-09-25Debug graph readability improvementsCamil Staps1-6/+6
2016-09-25Print (don't parse) lists as suggested in #5Camil Staps1-9/+20
2016-09-25Debug graph readability improvementsCamil Staps1-20/+21
2016-09-25Added acker and queens examplesCamil Staps2-0/+40
2016-09-25Added code: add, eq, ge, gt, le, lt, neCamil Staps2-1/+104
2016-09-25Various minor cleanupsCamil Staps5-8/+6
2016-09-25Constant code namesCamil Staps2-1/+9
2016-09-25Update documentation: graph rewriting, code names listCamil Staps2-1/+22
2016-09-25Cleanup: unsigned -> bool (stdbool.h)Camil Staps7-21/+24
2016-09-24Made parse_file implementation dependentCamil Staps4-6/+7
2016-09-24Remove unnecessary dependencyCamil Staps1-0/+3
2016-09-24Remove strictness annotations from docCamil Staps1-1/+1
2016-09-24Added examplesCamil Staps2-0/+28
2016-09-24cleanupCamil Staps1-17/+2
2016-09-24Removed strictnessCamil Staps8-39/+6
2016-09-24Fix memory leak with codeCamil Staps1-2/+6