index
:
github/frege-gradle-plugin.git
PluginPortal
SourceSet
SourceSet3
develop
f-debug-windows-failure
f-minimal-frege-repl
f-repl-task
f-simple-javaExec-task-alternative
feature/intellij-new
internal-compilation
master
sonatype
source-path-experiment
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Collapse
)
Author
2015-11-18
Add infrastructure for adding integration tests using testkit
Rene Groeschke
2015-11-18
add gradle wrapper using gradle 2.9
Rene Groeschke
2015-09-29
Added doc to readme
Mark Perry
2015-09-27
start 0.6 release train
Dierk Koenig
2015-09-27
publish version 0.5
release_0_5
Dierk Koenig
2015-09-25
use newer conventions for group names
Dierk Koenig
2015-09-25
make calls a bit more regular
Dierk Koenig
2015-09-25
replace base plugin with Java plugin since we depend on it for the "classes" ↵
Dierk Koenig
target
2015-09-23
Removed logging source path
Mark Perry
2015-09-23
Cleanup compile task and plugin
Mark Perry
2015-09-23
Allow disabling frege compile task. Added default modules for compiling ↵
Mark Perry
frege main and test
2015-09-22
Added JVM args for quickcheck
Mark Perry
2015-09-22
Added quick check dependency to test
Mark Perry
2015-09-22
Added src build classes to classpath for frege test task
source-path-experiment
Mark Perry
2015-09-20
Added main class option. Removed automatic module name
Mark Perry
2015-09-20
Enable snapshot sonatype releases
Mark Perry
2015-09-20
Implemented most options to use the plugin to compile the Frege source
Mark Perry
2015-09-18
Changes for source path - does not work
Mark Perry
2015-09-17
Listed plugin tasks in readme
Mark Perry
2015-09-17
Added what little help on native gen is available
internal-compilation
Mark Perry
2015-09-17
Added help to fregeDoc task
Mark Perry
2015-09-17
Fixed quickcheck within the module
Mark Perry
2015-09-16
Removed commented out code
Mark Perry
2015-09-16
Use gradle 2.7
Mark Perry
2015-09-16
Use internal compilation, fails with thread pool issue
Mark Perry
2015-09-16
Added help and Frege package dir for compile task
Mark Perry
2015-09-12
#16: Fixing errors with changes for using the plugin portal
Mark Perry
2015-09-12
Merge pull request #16 from Frege/PluginPortal
Mark Perry
publish directly Plugin portal
2015-09-04
re-apply maven plugin to allow local installation with `gradlew install`
PluginPortal
Dierk Koenig
2015-09-04
travis has no gradle properties under home dir, so make that optional
Dierk Koenig
2015-09-04
Remove dependencies to sonatype and directly publish to the gradle plugin ↵
Dierk Koenig
portal. Upgrade to frege version 3.23,
2015-09-03
Merge branch 'master' into PluginPortal
Dierk Koenig
2015-09-03
upgrade to frege version 3.23
Dierk Koenig
2015-09-03
Merge branch 'master' of https://github.com/Frege/frege-gradle-plugin
Mark Perry
2015-09-03
Use release 0.1
Mark Perry
2015-08-30
trying to publishPlugins to the gradle plugin portal. Currently fails ↵
Dierk Koenig
because of signing issues.
2015-08-30
upgrade to gradle 2.6
Dierk Koenig
2015-08-23
allow setting the stack size for the compiler with xss, default is 4m
Dierk Koenig
2015-07-26
Travis CI
Mark Perry
2015-07-26
Travis CI
Mark Perry
2015-07-25
Updated plugin to 0.4.1
Mark Perry
2015-07-24
Increased version to 0.4.2-SNAPSHOT
Mark Perry
2015-07-24
Release 0.4.1. Use compiler 367
release-0.4.1
Mark Perry
2015-07-24
Updated libs for repl and native-gen to 1.2 and 1.3 respectively
Mark Perry
2015-07-24
Use sudo: false in Travis CI
Mark Perry
2015-07-22
Increment to 0.5-SNAPSHOT
Mark Perry
2015-07-22
Do 0.4 release
release-0.4
Mark Perry
2015-07-15
Updated readme
Mark Perry
2015-07-15
Use only released versions
Mark Perry
2015-07-15
#13: Target 1.7 VM
Mark Perry
[next]