Skip to content

[core] enabling collaboration between lsp & hammer

Loïc Correnson requested to merge feature/lsp/cooperative-threads into master

The goal of the MR is to expose a low-level API of LSP & Hammer in order to compose them via collaborative threading. Also opens the path to integration inside Frama-C/WP task server.

  • API & documentation of async. LSP
  • API & documentation of async. Hammer
  • Refactor config, cache & runner (move to lib)
  • Make cache unique wrt absolute file
  • Make client unique wrt server address
Edited by Loïc Correnson

Merge request reports