Age | Commit message (Expand) | Author |
---|---|---|
2016-02-01 | faster section parsing | Péter Diviánszky |
2016-02-01 | longer SampleMaterial | Csaba Hruska |
2016-02-01 | less Fun call | Péter Diviánszky |
2016-02-01 | TyCaseFun has a neutral parameter | Péter Diviánszky |
2016-02-01 | erease CaseFun's type parameters | Péter Diviánszky |
2016-02-01 | fix bug; CaseFun's last argument is neutral | Péter Diviánszky |
2016-02-01 | better upDB | Péter Diviánszky |
2016-02-01 | less maxDB call | Péter Diviánszky |
2016-02-01 | tweak subst | Péter Diviánszky |
2016-02-01 | annotate more closed expression | Péter Diviánszky |
2016-02-01 | erease lambda argument type and constructor type parameters | Péter Diviánszky |
2016-01-31 | disable unused import | Csaba Hruska |
2016-01-31 | add test | Csaba Hruska |
2016-01-30 | LambdaCube.Compiler.Driver --> LambdaCube.Compiler | Péter Diviánszky |
2016-01-30 | refactoring | Péter Diviánszky |
2016-01-29 | schedule some tasks | Csaba Hruska |
2016-01-29 | more TypeExp usage | Péter Diviánszky |
2016-01-29 | eliminate all expType in inferN | Péter Diviánszky |
2016-01-29 | add notes | Csaba Hruska |
2016-01-29 | intial version of backend test server | Csaba Hruska |
2016-01-29 | fix let expression type | Péter Diviánszky |
2016-01-29 | try to remove more expType calls | Péter Diviánszky |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky |
2016-01-29 | remove more expType calls | Péter Diviánszky |
2016-01-29 | remove some expType calls | Péter Diviánszky |
2016-01-29 | refactoring | Péter Diviánszky |
2016-01-29 | refactoring | Péter Diviánszky |
2016-01-29 | optimization | Péter Diviánszky |
2016-01-29 | Set quickcheck parameters in tasty tests and add MaxDB monoid tests. | Andor Penzes |
2016-01-28 | add todo | Csaba Hruska |
2016-01-28 | move Meta and Assign into a separate type | Péter Diviánszky |
2016-01-28 | refactor focus | Péter Diviánszky |
2016-01-28 | refactoring | Péter Diviánszky |
2016-01-28 | reordering & eliminate some Meta usage | Péter Diviánszky |
2016-01-28 | add option for ignoring test cases | Péter Diviánszky |
2016-01-27 | Use haskellDef in languageDef definition. | Andor Penzes |
2016-01-27 | Fix parsec dependency. | Andor Penzes |
2016-01-27 | more comples SampleMaterial | Csaba Hruska |
2016-01-27 | add TODO item | Péter Diviánszky |
2016-01-27 | rm Token.hs | Péter Diviánszky |
2016-01-27 | Token.hs --> Lexer.hs | Péter Diviánszky |
2016-01-27 | Fail build if build or profile fails. | Andor Penzes |
2016-01-27 | Run profiling on travis. | Andor Penzes |
2016-01-27 | use Void instead of () | Péter Diviánszky |
2016-01-27 | split Infer.hs | Péter Diviánszky |
2016-01-27 | reorder definitions | Péter Diviánszky |
2016-01-27 | reorder definitions | Péter Diviánszky |
2016-01-27 | make STyped constructor polymorph | Péter Diviánszky |
2016-01-27 | cabal fix | Csaba Hruska |
2016-01-27 | first try to move wired-in constraint reductions into the library | Péter Diviánszky |