summaryrefslogtreecommitdiff
path: root/src/dex.hs
AgeCommit message (Expand)Author
2021-08-09Finish remaining HasSafeVersion instances.Dougal Maclaurin
2021-08-04Revive safer names bridge.Dougal Maclaurin
2021-07-27Merge branch 'main' into top-level-naming-changesDougal Maclaurin
2021-07-27Overhaul the top-level naming system, removing GlobalName completely.Dougal Maclaurin
2021-07-19Add a prototype of a Dex MLIR backendAdam Paszke
2021-03-19Make the notebook dependencies conditionalAdam Paszke
2021-01-12Use Cabal's `data-files` to copy Dex libraries and find them at run-time.Dougal Maclaurin
2021-01-12Snapshot heap-backed tables for the prelude cache.Dougal Maclaurin
2021-01-12Start building a module system that handles diamond imports (unlike `include`)Dougal Maclaurin
2021-01-07Make `--backend` and `--outfmt` options be consistently lowercase.Dan Zheng
2021-01-07Gardening.Dan Zheng
2021-01-07[NFC] Gardening.Dan Zheng
2021-01-05Enable BlockArguments by default (we use the bracketing pattern a lot)Dougal Maclaurin
2021-01-05Add completions to REPL (#407)Lyndon White
2020-12-23Merge branch 'main' into IO-effectDougal Maclaurin
2020-12-22Automate wrapping of JITed function pointers in Python callablesAdam Paszke
2020-12-20Add an IO effect, modeled as `{State World}` with a special `World` token.Dougal Maclaurin
2020-10-30Cache CUDA kernels on the deviceAdam Paszke
2020-10-13Add export modeAdam Paszke
2020-10-13Execute `%bench`ed blocks multiple timesAdam Paszke
2020-10-09Re-enable `unsafeFromOrdinal`.Dougal Maclaurin
2020-10-08Fix `make install` (reverts reversion of #241).Dougal Maclaurin
2020-10-06Merge branch 'main' into list-code-genDougal Maclaurin
2020-09-24Avoid loading prelude from the default pathAdam Paszke
2020-09-17Merge branch 'main' into list-code-genDougal Maclaurin
2020-09-07A prototype of Python bindingsAdam Paszke
2020-09-04Merge MDImp and Imp.Dougal Maclaurin
2020-08-19Add fields for benchmark results: language, backend, trial.Dougal Maclaurin
2020-08-19Add an initial version of the multicore backend (#204)Adam Paszke
2020-07-15Add an experimental LLVM-CUDA backendAdam Paszke
2020-07-10Add %time, revive benchmarksAdam Paszke
2020-06-29Remove code left over from debugging.Dougal Maclaurin
2020-06-28Cache prelude evaluation.Dougal Maclaurin
2020-06-15Start updating tests to UExpr frontend and fix various bugs uncovered.Dougal Maclaurin
2020-06-06Get FFI working again and start UExpr version of prelude.Dougal Maclaurin
2020-05-29Reorganize core `Expr` IR in line with `UExpr`.Dougal Maclaurin
2020-05-28Delete FExpr!Dougal Maclaurin
2020-05-24Start building a new front-end language, `UExpr`, based around dependent types.Dougal Maclaurin
2020-05-11Command-line option, `--logto`, to log all passes to a file.Dougal Maclaurin
2020-05-04Add a dedicated IO-based logger.Dougal Maclaurin
2020-05-03Let the backends manage their own memory allocation.Dougal Maclaurin
2020-04-28Use names instead of raw pointer literals to represent array constants.Dougal Maclaurin
2020-04-19Add a bit of color to tty output.Dougal Maclaurin
2020-04-19Plumbing for an XLA backend via JAX.Dougal Maclaurin
2020-04-13Move contents of ParseUtil into Parser.Dougal Maclaurin
2020-03-16Update to LLVM 9Dougal Maclaurin
2020-02-21Make terminal version of live display.Dougal Maclaurin
2020-02-19Add a `--logall` command-line option to dump all debug info.Dougal Maclaurin
2020-02-03Rework top-level orchestration.Dougal Maclaurin
2020-01-27Rework the core IRs substantially, especially the way we handle primitive ops.Dougal Maclaurin