10 Commits (39cfc9c073e649ab3ff1e78e87f97f3d93547532)

Author SHA1 Message Date
Josh Berdine 7708fc7c56 Remove extlib dependency
8 years ago
Josh Berdine 34739522c0 [utils] Add CTypes binding of fts and implement remove_directory_tree
8 years ago
Josh Berdine 9bf0360eca [linter] Remove dependency on core_extended
8 years ago
Sam Blackshear 75d6fb30e4 [frontend] support Java 8
8 years ago
Josh Berdine dcf67c455f [linter] Make checkCopyright indep of Utils, and fix build
8 years ago
Yunxing Dai db08df930a Add tuareg and core as dependencies
8 years ago
Jules Villard 1d94cf3e7a bump version: 0.9.3 -> 0.9.4
8 years ago
Jules Villard 96406a4fe5 bump version of javalib and sawja
8 years ago
Yunxing Dai f7ceed2c26 [yarn] add ocp-indent into yarn
8 years ago
Yunxing Dai 61f420b941 Update infer to use yarn to manage dependencies
8 years ago