aboutsummaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Collapse)Author
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
- update wrapper to 2.12 - fix sourcedirectory setup - add integTest coverage for 2.12
2015-12-29workaround for failing fregedoc when ignoring java sourcesRene Groeschke
2015-12-14seme more coverage and work on frege doc task.Rene Groeschke
TODO fix fregedoc task for mixed java + frege sources
2015-11-23fix FregeCompile incremental build behaviourRene Groeschke
2015-11-22group all frege task in frege groupRene Groeschke
- fixes issue #30
2015-11-22fix fregepath handlingRene Groeschke
2015-11-22some more work on coverage and some cleanupRene Groeschke
- get packages for integ tests right - introduce common AbstractFregeIntegrationSpec - first stab of unit test coverage for FregeCompile - minor cleanup on FregeCompile - configure fregePath as part as part of base plugin convention
2015-11-21simplify implementation and remove use of internal api that is shaded by ↵Rene Groeschke
classloader
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
target
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 ↵Mark Perry
frege main and test
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
2015-09-16Use internal compilation, fails with thread pool issueMark Perry
2015-09-16Added help and Frege package dir for compile taskMark Perry
2015-08-30trying to publishPlugins to the gradle plugin portal. Currently fails ↵Dierk Koenig
because of signing issues.
2015-08-23allow setting the stack size for the compiler with xss, default is 4mDierk Koenig
2015-03-20completing the NativeGenTask with support for setting the input and output fileDierk Koenig
2015-03-18included the FregeDocTask, streamlined some dependenciesDierk Koenig
2015-03-13Fixed workingDir to not be null when source dir does not existMark Perry
2015-03-13Improve frege repl taskMark Perry
2015-03-13Use official frege snapshotsMark Perry
2015-03-10Apply solution for #9 directly to pluginMark Perry
2015-03-04Get compilation working with few dependencies, using travis on java 7sonatypeMark Perry
2015-02-25the repl needs to start with the targetDir on the classpath where the ↵Dierk Koenig
compiled classes are available for loading
2015-02-24first step into quickcheck integration. It works on "inline" checks but not ↵Dierk Koenig
yet with tests from src/test. Those are not yet automatically compiled.
2015-02-24we now have two repl tasks to choose from :-)Dierk Koenig
2015-02-24Merge remote-tracking branch 'origin/master'Dierk Koenig
Conflicts: src/main/groovy/frege/gradle/FregePlugin.groovy
2015-02-24adding a task openFregeRepl that opens the repl with the current compile ↵Dierk Koenig
classpath on the source directory. Since the repl dependencies cannot be loaded from mavenCentral, one has to set the replDir where the download is. Default is <user.home>/.frege/repl
2015-02-18Added native code generation tool taskMark Perry
generated by cgit (git 2.46.0) at 2025-02-06 07:47:52 +0000