aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-11-18add gradle wrapper using gradle 2.9Rene Groeschke
2015-09-29Added doc to readmeMark Perry
2015-09-27start 0.6 release trainDierk Koenig
2015-09-27publish version 0.5release_0_5Dierk Koenig
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-20Enable snapshot sonatype releasesMark 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-17Listed plugin tasks in readmeMark 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 gradle 2.7Mark 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-09-12#16: Fixing errors with changes for using the plugin portalMark Perry
2015-09-12Merge pull request #16 from Frege/PluginPortalMark Perry
2015-09-04re-apply maven plugin to allow local installation with `gradlew install`PluginPortalDierk Koenig
2015-09-04travis has no gradle properties under home dir, so make that optionalDierk Koenig
2015-09-04Remove dependencies to sonatype and directly publish to the gradle plugin por...Dierk Koenig
2015-09-03Merge branch 'master' into PluginPortalDierk Koenig
2015-09-03upgrade to frege version 3.23Dierk Koenig
2015-09-03Merge branch 'master' of https://github.com/Frege/frege-gradle-pluginMark Perry
2015-09-03Use release 0.1Mark Perry
2015-08-30trying to publishPlugins to the gradle plugin portal. Currently fails because...Dierk Koenig
2015-08-30upgrade to gradle 2.6Dierk Koenig
2015-08-23allow setting the stack size for the compiler with xss, default is 4mDierk Koenig
2015-07-26Travis CIMark Perry
2015-07-26Travis CIMark Perry
2015-07-25Updated plugin to 0.4.1Mark Perry
2015-07-24Increased version to 0.4.2-SNAPSHOTMark Perry
2015-07-24Release 0.4.1. Use compiler 367release-0.4.1Mark Perry
2015-07-24Updated libs for repl and native-gen to 1.2 and 1.3 respectivelyMark Perry
2015-07-24Use sudo: false in Travis CIMark Perry
2015-07-22Increment to 0.5-SNAPSHOTMark Perry
2015-07-22Do 0.4 releaserelease-0.4Mark Perry
2015-07-15Updated readmeMark Perry
2015-07-15Use only released versionsMark Perry
2015-07-15#13: Target 1.7 VMMark Perry
2015-06-28how to refer to the 0.3 releaseDierk Koenig
generated by cgit (git 2.46.0) at 2025-02-06 15:55:07 +0000