gitlab.inria.fr / bmontagu / function_graphs
Abstract domain for function graphs, and fixpoint solvers based on them
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.inria.fr/repositories/bmontagu%2Ffunction_graphs
PURL: pkg:gitlab/bmontagu/function_graphs
Stars: 0
Forks: 0
Open issues:
License: gpl-3.0+
Language:
Dependencies parsed at: Pending
Created at: about 1 year ago
Updated at: 11 months ago
Last synced at: 11 months ago
Topics: OCaml, static analysis
Loading...