summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-03-04Get compilation working with few dependencies, using travis on java 7sonatypeMark Perry
2015-03-03Removed frege repl core and native gen dependencies as they are not currenly ...Mark Perry
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 compile...Dierk Koenig
2015-02-24first step into quickcheck integration. It works on "inline" checks but not y...Dierk Koenig
2015-02-24we now have two repl tasks to choose from :-)Dierk Koenig
2015-02-24Merge remote-tracking branch 'origin/master'Dierk Koenig
2015-02-24adding a task openFregeRepl that opens the repl with the current compile clas...Dierk Koenig
2015-02-18Published 0.1-SNAPSHOT to sonatype as group org.frege-langMark Perry
2015-02-18Use publish mperry native-gen fork for nowMark Perry
2015-02-18Added native code generation tool taskMark Perry
2015-02-17Update to Gradle 2.3Mark 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 and...Dierk Koenig
2015-02-15remove redundant readme.md as readme.adoc is used anywayDierk Koenig
2015-02-15minor change in readme to show local installationDierk Koenig
2015-02-15Integrate official start of frege pluginMark Perry
2015-02-15Test for updating readme for push accessMark Perry
2015-02-14Create README.mdIngo Wechsung
2015-02-14Initial commitIngo Wechsung
2015-02-11Ensure output dir for classes always createdMark Perry
2015-02-11Changed debug messageMark Perry
2015-02-11Improve task optionsMark Perry
2015-02-10Upgraded compiler to 3.22.367Mark Perry
2015-02-10Started on version 0.2Mark Perry
2015-02-10Added signing for releases, released 0.1Mark Perry
2015-02-10Moved signing method to gradle dirMark Perry
2015-02-06Auto format filesMark Perry
2015-02-06Added link in readme back to FregeMark Perry
2015-02-06Removed unused filesMark Perry
2015-02-06Removed unused gradle config filesMark Perry
2015-02-06Splilt main build.gradle to new sonatype.gradleMark 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 example project pathMark Perry
2015-02-06Added readme textMark Perry
2015-02-06Added readmeMark Perry
2015-02-06Enabled upload of artifactMark Perry
2015-02-06Changed default output dirMark Perry
2015-02-06Installed to local mavenMark Perry
2013-10-17Reshuffle to make plugin a first level projectGalder Zamarreño
2013-10-17Working!! :)Galder Zamarreño
generated by cgit (git 2.46.0) at 2025-02-05 18:07:09 +0000