aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-09-04Merge branch 'PluginPortal' into SourceSetDierk 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-30Merge branch 'master' into SourceSetDierk Koenig
2015-08-30trying to publishPlugins to the gradle plugin portal. Currently fails ↵Dierk Koenig
because of signing issues.
2015-08-30upgrade to gradle 2.6Dierk Koenig
2015-08-30first cut at making proper use of source sets and moving the dependency to ↵Dierk Koenig
the frege compiler version into a convention such that plugin users can decide, which ones to use. NOT YET TESTED AT ALL. (backup commit)
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
2015-06-27opening the 0.4-SNAPSHOT trainDierk Koenig
2015-06-27release 0.3release-0.3Dierk Koenig
2015-03-20completing the NativeGenTask with support for setting the input and output fileDierk Koenig
2015-03-19fregedoc todo doneDierk 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-13Cleanup build.gradleMark Perry
2015-03-10Released gradle plugin 0.2, bumped verson to 0.3 snapshotMark Perry
2015-03-10Merge branch 'master' of https://github.com/Frege/frege-gradle-pluginrelease-0.2Mark Perry
2015-03-10Apply solution for #9 directly to pluginMark Perry
2015-03-06Set executable permission on deploy.shEC2 Default User
2015-03-05Added CI links to readmeMark Perry
2015-03-05Attempt to set travis sonatype username and pwdMark Perry
2015-03-05New line commit to trigger travis buildMark Perry
2015-03-04Merge branch 'master' of https://github.com/Frege/frege-gradle-pluginMark Perry
2015-03-04Get compilation working with few dependencies, using travis on java 7sonatypeMark Perry
2015-03-03enforce jdk 1.7 builds, make more efficient repository orderDierk Koenig
2015-03-03Removed frege repl core and native gen dependencies as they are not currenly ↵Mark Perry
on sonatype or maven central
2015-03-01better formattingDierk Koenig
2015-03-01Merge remote-tracking branch 'origin/master'Dierk Koenig
2015-03-01update readme as suggested by IngoDierk Koenig
2015-03-01marimuthu renamed groupid to org.frege-langIngo Wechsung
2015-03-01double substitution of the classifierIngo Wechsung
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.
generated by cgit (git 2.34.1) at 2026-05-27 08:13:19 +0000