package electrod

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

Install 

dune-project
 Dependency

github.com 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.6.2.tbz
sha256=83716b3ec066cbdd807354cec436d93c47f6987e60383094918cc3642107df2b
sha512=469f3c68dd44a95ce89a6b80d73e9938e36342cd99afb7cd77b4612e597f02e03c50bcd99ba33eb4fd21d6836796c04eacb6bf0da415f03f622f5b0a9969c1f9

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

Module Libelectrod.ParserSource

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