aboutsummaryrefslogtreecommitdiff
path: root/src/main/groovy
AgeCommit message (Collapse)Author
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-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
2015-02-17Pass empty array to frege replMark Perry
2015-02-17Added repl task named fregeReplMark Perry
2015-02-17Changed package name to frege.gradle to match frege compiler package namesMark Perry
2015-02-17Compile project if frege source dir is missingMark Perry
2015-02-15streamlined the compile to reflect the latest frege compiler capabilities ↵Dierk Koenig
and make the input/output handling Gradle-friendly such that caching works out of the box
2015-02-11Ensure output dir for classes always createdMark Perry
2015-02-11Changed debug messageMark Perry
2015-02-11Improve task optionsMark Perry
2015-02-06Auto format filesMark Perry
2015-02-06Added dependency between classes and compileFregeMark Perry
2015-02-06Added example for configuring extensionMark Perry
2015-02-06Tidy up files, added extension configurationMark Perry
2015-02-06Changed default output dirMark Perry
2013-10-17Reshuffle to make plugin a first level projectGalder Zamarreño
generated by cgit (git 2.46.0) at 2025-02-06 13:55:11 +0000