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