The world didn't need another JVM language. So we built yet another one. A simple one.
Hardened Golo is fork of Golo adding some static analysis in order to gain confidence into a Golo program. Since Golo is a dynamic, weakly-typed language for the JVM, Hardened Golo do not support the whole language.
Hardened Golo is developed as part of the research activities of the DynaMid group of the CITI Laboratory at INSA-Lyon.
-
Hardened Golo GitHub: https://github.com/nstouls/HardenedGolo
-
Hardened Golo Wiki: https://github.com/nstouls/HardenedGolo/wiki
-
Golo Website: http://golo-lang.org/
-
Golo GitHub: https://github.com/eclipse/golo-lang
Hardened Golo is built with Gradle. Since the source code contains the Gradle wrapper scripts, the build can bootstrap itself by downloading the qualified Gradle version from the Internet.
Hardened Golo needs Java SE 8 or more to build and run.
Hardened Golo produces some WhyML files, that have to be verified with Why3 tool. This tool could be easily installed on Linux and OSX Systems. You will next need to install some external provers.
Common tasks:
- build:
./gradlew build - test:
./gradlew test - clean:
./gradlew clean - documentation:
./gradlew asciidoctor golodoc javadoc - assemble a working distribution in
build/install:./gradlew installDist - generate a nice JaCoCo tests coverage report:
./gradlew jacocoTestReport
The complete list of tasks is available by running ./gradlew tasks.
Working on the compiler may cause your build to fail because proper compilation and bytecode
generation doesn't work. In such cases the goloc task is likely to fail, and a wide range of unit tests
will break because some Golo source files won't have been compiled.
You can activate the bootstrap mode for that, and focus solely on the Java parts:
./gradlew test -P bootstrap
By default Gradle redirects all tests console outputs, and makes them available from the HTML report
found in build/reports/tests/index.html.
You can instead opt to have all console outputs:
./gradlew test -P consoleTraceTests
It is often desirable to get more outputs from tests, like dumps of intermediate representation trees or generated JVM bytecode.
Such verbosity can be activated using:
./gradlew test -P traceTests
Of course you can combine profiles, like:
./gradlew test -P traceTests -P consoleTraceTests -P bootstrap
Copyright (c) 2012-2016 Institut National des Sciences Appliquées de Lyon (INSA-Lyon) and contributors
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
We welcome contributions from the community!
Check the CONTRIBUTING.md file for instructions.