Skip to content

Releases: LearnLib/build-tools

build-tools-0.1.1

19 Jan 17:29
Compare
Choose a tag to compare

A bug-fix release that replaces the use of the (semi-official) DocTrees API with an external parser for JavaDoc comments since the former is not properly supported by non-native javac environments (found in, e.g., IntelliJ, Eclipse, etc.).

build-tools-0.1

08 Jan 12:17
Compare
Choose a tag to compare

Initial release which includes the @GenerateBuilder, @GenerateEDSL, @GenerateRefinement annotations.