Skip to content

Draft: [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
  • API for inspecting under-construction proof trees
  • API for event callback
Edited by Loïc Correnson

Merge request reports