package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install 

dune-project
 Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (9)

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/SpecParser/index.html

Module SpecParser

type token =
  1. | EOL
  2. | EOF
  3. | LPAREN
  4. | RPAREN
  5. | LCURL
  6. | RCURL
  7. | LBRACK
  8. | RBRACK
  9. | PLUS
  10. | MINUS
  11. | MUL
  12. | DIV
  13. | MOD
  14. | LT
  15. | GT
  16. | EQEQ
  17. | NE
  18. | LE
  19. | GE
  20. | AND
  21. | OR
  22. | NOT
  23. | EQ
  24. | COMMA
  25. | SEMICOLON
  26. | BOOL of bool
  27. | NULL
  28. | INT of int
  29. | STRING of string
  30. | IDENT of string
  31. | UNDERS
  32. | COLON
  33. | VAR of string
  34. | REGEX of string
  35. | NODE of string * string
  36. | EDGE of string * string list * bool * string