Age | Commit message (Expand) | Author |
---|---|---|
2021-12-21 | chore: renames `replModule` -> `replSource` and updates readme | Thibault Gagnaux |
2021-12-21 | feat: adds `replSource` property and command-line option | Thibault Gagnaux |
2021-11-17 | feat: Adds incremental build and build cache support for the `fregeCompile` task | Thibault Gagnaux |
2021-11-16 | feat: adds `compilerFlags` property to configure the Frege compiler | Thibault Gagnaux |
2021-11-09 | feat: adds two tests and makes them pass for new `runFregeTask` | Thibault Gagnaux |
2021-07-07 | Refactors tests | Thibault Gagnaux |
2021-07-02 | Adds `fregeCompile` task with some tests | Thibault Gagnaux |
2021-07-01 | Refactors `SetupFregeCompilerTask` tests | Thibault Gagnaux |
2021-06-30 | Adds first `SetupFregeCompilerTaks` with some tests | Thibault Gagnaux |