Closed viper-admin closed 4 years ago
Pull request :twisted_rightwards_arrows: created by @aterga on 2017-10-15 20:53 Last updated on 2017-10-15 20:54 Original Bitbucket pull request id: 4 Source: https://github.com/viperproject/viperserver/commit/f92ba13d61189cd33e66d32e3c068a6a03809473 on branch http-server Destination: https://github.com/viperproject/viperserver/commit/51c8f9c280020b2dfb1bccc59d8e1491ddea88ae on branch master Marge commit: https://github.com/viperproject/viperserver/commit/48e1528fc6a9c9a86a23fc8af102a5d7718d5ed5 State: MERGED
Pull request :twisted_rightwards_arrows: created by @aterga on 2017-10-15 20:53 Last updated on 2017-10-15 20:54 Original Bitbucket pull request id: 4
Source: https://github.com/viperproject/viperserver/commit/f92ba13d61189cd33e66d32e3c068a6a03809473 on branch http-server Destination: https://github.com/viperproject/viperserver/commit/51c8f9c280020b2dfb1bccc59d8e1491ddea88ae on branch master Marge commit: https://github.com/viperproject/viperserver/commit/48e1528fc6a9c9a86a23fc8af102a5d7718d5ed5
http-server
master
State: MERGED
MERGED
Save progress: multi-job infrastructure sketched, but buggy (runtime exceptions in Future[SourceQueue], etc).
Figured out and fixed the problem with Future[SourceQueueWithComplete].
Add ViperIDEProtocol.scala; implement common json formatters.
Fix caching (bug caused by making the AST immutable). Changed Json streaming style.
Fixed MergeStrategy for fat jar assembly.
Adapt ViperServer for the new Reporter. Fix some minor bugs.
Fixed the json writers.
Fixes and improvements in ViperIDEProtocol.
[Minor] edit exeption message.
Implement dynamic message queue for concurrent JSON streaming in Viper Server.
Supported file paths with whitespaces. Renamed '_main_actor' as '_job_handles'.
Add interruption handling for verification jobs.
Reporting AST statistics and program outline.
Added src/main/resources/application.conf
Save progress: multi-job infrastructure sketched, but buggy (runtime exceptions in Future[SourceQueue], etc).
Figured out and fixed the problem with Future[SourceQueueWithComplete].
Add ViperIDEProtocol.scala; implement common json formatters.
Fix caching (bug caused by making the AST immutable). Changed Json streaming style.
Fixed MergeStrategy for fat jar assembly.
Adapt ViperServer for the new Reporter. Fix some minor bugs.
Fixed the json writers.
Fixes and improvements in ViperIDEProtocol.
[Minor] edit exeption message.
Implement dynamic message queue for concurrent JSON streaming in Viper Server.
Supported file paths with whitespaces. Renamed '_main_actor' as '_job_handles'.
Add interruption handling for verification jobs.
Reporting AST statistics and program outline.
Added src/main/resources/application.conf