Commit Graph

21 Commits

Author SHA1 Message Date
Radosław Waśko
033db71100
Add task fixing Instruments compilation. (#814)
Incremental compilation of instruments may lead to runtime errors when
only some of the instruments are recompiled (because the unchanged
instruments are not registered by the Annotation Processor).
To fix this, we add a task that ensures all instruments are recompiled
when at least one of them changes.
2020-06-08 13:56:03 +02:00
Radosław Waśko
c8438fa77b
Binary Protocol for the Debugger (#796) 2020-06-05 10:48:16 +02:00
Radosław Waśko
92ac4b7449
Bump sbt version to 1.3.12 (#795) 2020-06-01 13:03:30 +01:00
Ara Adkins
50e307e6ee
Bump scalac version to 2.13.2 (#703) 2020-04-30 20:30:55 +01:00
Ara Adkins
92d8393495
Remove non-working caches from CI (#674) 2020-04-24 17:33:27 +01:00
Łukasz Olczak
50e6072b41
Flatbuffers integration (#655) 2020-04-17 15:47:58 +02:00
Ara Adkins
9fbad9695a
Tweak the CI configuration (#641) 2020-04-10 20:24:37 +01:00
Łukasz Olczak
e966392cc8
Implementation of the Language Server Supervisor Process (#643) 2020-04-10 12:11:15 +02:00
Ara Adkins
ac5a9eb639
Add a --version flag to the cli (#584) 2020-03-09 13:44:40 +00:00
Rostyslav Zatserkovnyi
dfb4ec43ac
Update GraalVM to 20.0.0 (#576) 2020-03-06 13:40:29 +00:00
Josef
9665150c5d
Enable Scalajs For Syntax (#329) 2019-11-26 14:02:50 +01:00
Ara Adkins
22aa4efda8
Add a low-level graph library (#334) 2019-11-18 11:18:16 +00:00
Marcin Kostrzewa
7bc95473f5
State monad (#270) 2019-11-05 17:01:50 +01:00
Marcin Kostrzewa
cc389fd8e6
Fat Jar distribution (#271) 2019-11-05 15:12:33 +01:00
Ara Adkins
2da7442ae2
Bump SBT and GraalVM versions (#247) 2019-10-17 10:07:47 +01:00
Ara Adkins
b8036384d6
Bump the sbt and scala versions (#198)
This PR also updates the style guides.
2019-09-27 14:55:58 +01:00
Wojciech Daniło
457a8128e8 Parser (#172) 2019-09-12 16:47:25 +02:00
Marcin Kostrzewa
47f5adfff3
Debugging flags for benchOnly (#179) 2019-09-10 18:53:23 +02:00
Marcin Kostrzewa
11dc690b21
CLI & Debug runner (#124) 2019-08-28 17:40:08 +02:00
Michał Wawrzyniec Urbańczyk
9c525edbb9
File Manager (#46)
File Manager — an Akka-based service providing a basic filesystem-like API over network. Currently it just wraps the local filesystem operations. In the future support for other kinds of storage might get added. Ref #32
2019-07-24 17:36:33 +02:00
Wojciech Danilo
c82cc07625 Adding missing sbt files 2019-06-07 11:17:40 +02:00