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.9.0.tbz
sha256=b2263601350f2ffe3cb1671d8bdd256729986b248c1ec39e84ec76a2f2b8408c
sha512=f4c0e7a196c7a14fff51e7f0cc6f91ed8b3df965523d878ab507320f9771ec69efddb31252ff9763ed2f92bc8c369cea73ca20edebbc3c9ff327fe500f33bdf0

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

Module Libelectrod.ParserSource

Sourcetype token =
  1. | VAR
  2. | UNTIL
  3. | UNSAT
  4. | UNIV
  5. | TRUE
  6. | TRIGGERED
  7. | TILDE
  8. | THEN
  9. | SYM
  10. | SUB
  11. | STAR
  12. | SOME
  13. | SINCE
  14. | SEMI
  15. | SAT
  16. | RUN
  17. | RPROJ
  18. | RPAREN
  19. | RELEASES
  20. | RBRACKET
  21. | RBRACE
  22. | PRIME
  23. | PLUS
  24. | PLAIN_ID of string
  25. | OVERRIDE
  26. | OR
  27. | ONE
  28. | ONCE
  29. | NUMBER of int
  30. | NOT_IN
  31. | NOT
  32. | NONE
  33. | NO
  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. | EXPECT
  60. | EVENTUALLY
  61. | EQ
  62. | EOF
  63. | ELSE
  64. | DOTDOT
  65. | DOT
  66. | DISJ
  67. | CONST
  68. | COMMA
  69. | COLON_ARITY of int
  70. | COLON
  71. | BEFORE
  72. | BAR
  73. | ARROW
  74. | AND
  75. | ALWAYS
  76. | ALL
  77. | AFTER
  78. | ADD
Sourceexception Error