summaryrefslogtreecommitdiff
path: root/prototypes
AgeCommit message (Expand)Author
2016-04-16work on ShiftReducer prototypePéter Diviánszky
2016-04-10more testPéter Diviánszky
2016-04-08integrate testsPéter Diviánszky
2016-04-08add delta functionsPéter Diviánszky
2016-04-08Update ShiftReducer.hsCsaba Hruska
2016-04-08begin to implement hnfPéter Diviánszky
2016-04-08split Stream.hs; bugfixesPéter Diviánszky
2016-04-06simplificationPéter Diviánszky
2016-03-24add reducer prototype with fast de bruijn index shifting (not ready yet)Péter Diviánszky
2016-01-31disable unused importCsaba Hruska
2015-12-19switch to new compilerPéter Diviánszky
2015-12-19remove 'wrong'Péter Diviánszky
2015-12-19Refactor: use fromNatE in patterns, introduce toNatEAndor Penzes
2015-12-18refactoringPéter Diviánszky
2015-12-18primIfThenElse is not builtinPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18update TODOsPéter Diviánszky
2015-12-18update cabal fileCsaba Hruska
2015-12-18Graphics.lc compiles nowPéter Diviánszky
2015-12-18update TODO & old test out filePéter Diviánszky
2015-12-18Add Graphics.lc test. It fails becuase of frequency handlingAndor Penzes
2015-12-18use arity info at label addition; note that this cause a typechecking bug wit...Péter Diviánszky
2015-12-18update TODOCsaba Hruska
2015-12-18enable more testsCsaba Hruska
2015-12-17Clean cabal dist after profiled test runAndor Penzes
2015-12-17fix Label handlingPéter Diviánszky
2015-12-17Add profiling option to the run-test-suite.shAndor Penzes
2015-12-17support record projectionsPéter Diviánszky
2015-12-17support where blocks in case alternativesPéter Diviánszky
2015-12-17skip type annotations in where blocks for nowPéter Diviánszky
2015-12-17parse hidingPéter Diviánszky
2015-12-17better motive generation; swizzling test passes nowPéter Diviánszky
2015-12-17swap Vec's argumentsPéter Diviánszky
2015-12-17implement some primitive reduction and update TODOCsaba Hruska
2015-12-17fix proto cabalCsaba Hruska
2015-12-17update TODOsPéter Diviánszky
2015-12-17bugfix; example07 passesPéter Diviánszky
2015-12-17implement swizzscalar reduction and related functionsPéter Diviánszky
2015-12-17implement swizzvector reduction and related functionsPéter Diviánszky
2015-12-17implement Split & project reductions; two more tests passPéter Diviánszky
2015-12-17fix swizzling desugaringCsaba Hruska
2015-12-17update TODO listPéter Diviánszky
2015-12-17complete let polymorphism; fail on ambiguous types; bugfixesPéter Diviánszky
2015-12-17line01 test passesPéter Diviánszky
2015-12-17fix SLabelEnd insertionsPéter Diviánszky
2015-12-16one more testCsaba Hruska
2015-12-16enable more testsCsaba Hruska
2015-12-16fix a bug; another test passesPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:28:33 +0000