[Aorai] Include the metavariable table in a record type with the rest of the automaton
Showing
- src/plugins/aorai/Makefile.in 2 additions, 0 deletionssrc/plugins/aorai/Makefile.in
- src/plugins/aorai/aorai_dataflow.ml 4 additions, 4 deletionssrc/plugins/aorai/aorai_dataflow.ml
- src/plugins/aorai/aorai_graph.ml 71 additions, 0 deletionssrc/plugins/aorai/aorai_graph.ml
- src/plugins/aorai/aorai_graph.mli 43 additions, 0 deletionssrc/plugins/aorai/aorai_graph.mli
- src/plugins/aorai/aorai_metavariables.ml 143 additions, 0 deletionssrc/plugins/aorai/aorai_metavariables.ml
- src/plugins/aorai/aorai_register.ml 4 additions, 4 deletionssrc/plugins/aorai/aorai_register.ml
- src/plugins/aorai/aorai_utils.ml 12 additions, 11 deletionssrc/plugins/aorai/aorai_utils.ml
- src/plugins/aorai/aorai_visitors.ml 7 additions, 7 deletionssrc/plugins/aorai/aorai_visitors.ml
- src/plugins/aorai/data_for_aorai.ml 93 additions, 217 deletionssrc/plugins/aorai/data_for_aorai.ml
- src/plugins/aorai/data_for_aorai.mli 3 additions, 1 deletionsrc/plugins/aorai/data_for_aorai.mli
- src/plugins/aorai/promelaast.mli 7 additions, 3 deletionssrc/plugins/aorai/promelaast.mli
- src/plugins/aorai/promelaoutput.ml 8 additions, 8 deletionssrc/plugins/aorai/promelaoutput.ml
- src/plugins/aorai/promelaparser.mly 2 additions, 2 deletionssrc/plugins/aorai/promelaparser.mly
- src/plugins/aorai/promelaparser_withexps.mly 2 additions, 2 deletionssrc/plugins/aorai/promelaparser_withexps.mly
- src/plugins/aorai/yaparser.mly 7 additions, 11 deletionssrc/plugins/aorai/yaparser.mly
Loading
Please register or sign in to comment