Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-09-23 | Allow disabling frege compile task. Added default modules for compiling ↵ | Mark Perry | |
frege main and test | |||
2015-09-22 | Added src build classes to classpath for frege test tasksource-path-experiment | Mark Perry | |
2015-09-20 | Added main class option. Removed automatic module name | 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 | Fixed quickcheck within the module | Mark Perry | |
2015-09-16 | Removed commented out code | 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 | |