package electrod

  1. Overview
  2. Docs
Formal analysis for the Electrod formal pivot language

Install 

dune-project
 Dependency

grayswandyr.github.io Readme Changelog MPL-2.0 License Edit opam file Versions (10)

Authors

  1. D
    David Chemouil
  2. J
    Julien Brunel

Maintainers

  1. D
    David Chemouil <david.chemouil+git@onera.fr>

Sources

electrod-0.2.3.tbz
sha256=7371c45e28b84a1955d117ef2c798d545febb87c74f596b6efe24965e4b28f31
sha512=e579db68ac05e30b0985f7d90080a82697de18c12e818d48bd7029cea8844571423f08d5881accbf8a0cbeb7df7de9b5b95ff5fe813330a6c92448a0901cdfe7

doc/electrod.libelectrod/Libelectrod/Parser/index.html

Module Libelectrod.ParserSource

Sourcetype token =
  1. | VAR
  2. | UNTIL
  3. | UNIV
  4. | TRUE
  5. | TILDE
  6. | THEN
  7. | SYM
  8. | SUB
  9. | STAR
  10. | SOMETIME
  11. | SOME
  12. | SINCE
  13. | SEMI
  14. | RUN
  15. | RPROJ
  16. | RPAREN
  17. | RELEASES
  18. | RBRACKET
  19. | RBRACE
  20. | PRIME
  21. | PREVIOUS
  22. | PLUS
  23. | PLAIN_ID of string
  24. | OVERRIDE
  25. | OR
  26. | ONE
  27. | ONCE
  28. | NUMBER of int
  29. | NOT_IN
  30. | NOT
  31. | NONE
  32. | NO
  33. | NEXT
  34. | NEQ
  35. | NEG
  36. | MINUS
  37. | LTE
  38. | LT
  39. | LPROJ
  40. | LPAREN
  41. | LONE
  42. | LET
  43. | LBRACKET
  44. | LBRACE
  45. | INVARIANT
  46. | INTER
  47. | INST
  48. | IN
  49. | IMPLIES
  50. | IFF
  51. | IDX_ID of string
  52. | IDEN
  53. | HISTORICALLY
  54. | HAT
  55. | HASH
  56. | GTE
  57. | GT
  58. | FALSE
  59. | EVENTUALLY
  60. | EQ
  61. | EOF
  62. | ELSE
  63. | DOTDOT
  64. | DOT
  65. | DISJ
  66. | CONST
  67. | COMMA
  68. | COLON_ARITY of int
  69. | COLON
  70. | BAR
  71. | ARROW
  72. | AND
  73. | ALWAYS
  74. | ALL
  75. | ADD
Sourceexception Error