aboutsummaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2022-02-15Add support for the frege-intellij pluginHEADmasternea
2021-12-21fix: only compile `*.fr` filesThibault Gagnaux
2021-12-21chore: renames `replModule` -> `replSource` and updates readmeThibault Gagnaux
2021-12-21feat: adds `replSource` property and command-line optionThibault Gagnaux
2021-12-21refactor: extracts common `setupClasspath` logic to util classThibault Gagnaux
2021-12-21feat: adds `outputDir` to classpathThibault Gagnaux
2021-12-10refactor: adds an internal `depsFrege` task and simplifes `replFrege`Thibault Gagnaux
2021-12-08feat: replFrege task v2 returns classpath with all dependenciesThibault Gagnaux
2021-11-28fix: adds `System.in` as StandardInput to make `ReplFrege` task interactivelyThibault Gagnaux
2021-11-24feat: adds `replFrege` taskf-repl-taskThibault Gagnaux
2021-11-24refactor: allows to configure the classpath with the groovy dependency notationThibault Gagnaux
2021-11-17feat: Adds incremental build and build cache support for the `fregeCompile` taskThibault Gagnaux
2021-11-16feat: adds `compilerFlags` property to configure the Frege compilerThibault Gagnaux
2021-11-10feat: `mainModule` property can be configured with command-line optionThibault Gagnaux
2021-11-09feat: adds two tests and makes them pass for new `runFregeTask`Thibault Gagnaux
2021-07-07Refactors testsThibault Gagnaux
2021-07-02Adds `fregeCompile` task with some testsThibault Gagnaux
2021-07-01Refactors `SetupFregeCompilerTask` testsThibault Gagnaux
2021-06-30Adds first `SetupFregeCompilerTaks` with some testsThibault Gagnaux
2021-06-29Switches from groovy's spock testing framework back to javaThibault Gagnaux
2021-06-28Inits branch with a simple groovy testThibault Gagnaux
2020-06-28upgrading to gradle 6.5Dierk Koenig
2020-06-28compiles and runs with frege-3.25.84.jar and Gradle 5.0Dierk Koenig
2016-04-12Add support for >gradle 2.12Rene Groeschke
2015-12-29workaround for failing fregedoc when ignoring java sourcesRene Groeschke
2015-12-14seme more coverage and work on frege doc task.Rene Groeschke
2015-11-23fix FregeCompile incremental build behaviourRene Groeschke
2015-11-22group all frege task in frege groupRene Groeschke
2015-11-22fix fregepath handlingRene Groeschke
2015-11-22some more work on coverage and some cleanupRene Groeschke
2015-11-21simplify implementation and remove use of internal api that is shaded by clas...Rene Groeschke
2015-11-21remove optional annotations for property that are not optional but configurableRene Groeschke
2015-11-21create frege compile task per sourceSetRene Groeschke
2015-11-18introduce frege-base plugin for basic frege functionalityRene Groeschke
2015-09-25use newer conventions for group namesDierk Koenig
2015-09-25make calls a bit more regularDierk Koenig
2015-09-25replace base plugin with Java plugin since we depend on it for the "classes" ...Dierk Koenig
2015-09-23Removed logging source pathMark Perry
2015-09-23Cleanup compile task and pluginMark Perry
2015-09-23Allow disabling frege compile task. Added default modules for compiling freg...Mark Perry
2015-09-22Added JVM args for quickcheckMark Perry
2015-09-22Added quick check dependency to testMark Perry
2015-09-22Added src build classes to classpath for frege test tasksource-path-experimentMark Perry
2015-09-20Added main class option. Removed automatic module nameMark Perry
2015-09-20Implemented most options to use the plugin to compile the Frege sourceMark Perry
2015-09-18Changes for source path - does not workMark Perry
2015-09-17Added what little help on native gen is availableinternal-compilationMark Perry
2015-09-17Added help to fregeDoc taskMark Perry
2015-09-17Fixed quickcheck within the moduleMark Perry
2015-09-16Removed commented out codeMark Perry
generated by cgit (git 2.46.0) at 2025-02-05 21:42:02 +0000