| Commit message (Collapse) | Author | Age |
|---|
| |
|
| |
The default encoding used for Java is now UTF-8. This did not have to be changed for the Scala or Kotlin compilers as those already default to UTF-8
|
| |
|
|
|
|
| |
Fixes #2995
Co-authored-by: Maurice Mohlek <maurice.mohlek@valtech.de>
Co-authored-by: Mats Larsen <me@supergrecko.com>
|
| |
|
|
|
| |
* Fix execution for Java with multifile ui
* Remove dev comment
|
| | |
|
| |
|
|
| |
* Bare execution for Java programs
* Support execution for Kotlin
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Add Kotlin/JVM support
* Update CONTRIBUTORS.md
* Use kotlinc-jvm instead of kotlinc
* Fix alphabetical ordering
* Filter kotlin compiler arguments
Extract user options filtering for java into a separate function to
handle filtering options with extra arguments.
Filter kotlin compiler options: -d, -jdk-home, -kotlin-home, -script, -progressive
* Filter -Xjavac user options
Filter any option that starts with '-Xjavac', as it could be used to pass unwanted options through kotlinc to javac.
* Fix year in copyright
Co-authored-by: Rubén Rincón Blanco <ruben@rinconblanco.es>
* Add kotlin.amazon.properties
* Add JAVA_HOME to kotlin default exec options
Query per-compiler property 'java_home' and set environment
* Add java_home to kotlin properties
Co-authored-by: Daniel Below <daniel.below@jetbrains.com>
Co-authored-by: Rubén Rincón Blanco <ruben@rinconblanco.es>
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* time executeDirect in ms
* measure library download and extract time
* time package download
* download timings when using execution checkbox
* proof of concept timing graph implementation
* use vertical bars for graph
* add objdump time
* add timing for asm parsing
* add timing graph to execution pane as well
* download timings on execution pane
* things
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The largest changes here are:
- enforcing single quotes for strings
- enforcing trailing commas where possible
In addition to those we have enabled several eslint plugins:
- plugin:requirejs/recommended, to enforce some conventions in require statements
- plugin:node/recommended, to enforce correct usage of various node.js APIs
- plugin:unicorn/recommended, which contains a pretty mixed bag of useful rules
This PR attempts to not change code behavior when possible. In cases where fixing
existing code would change semantics, a linting exclusion has been placed in the
code base to silence the error. You can find these by searching for `eslint-disable-next-line`.
Co-authored-by: Austin Morton <austinpmorton@gmail.com>
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
