Aorai plugin

Directory plugins

Section Aorai (in plugins/aorai)


Aorai

Aorai plugin (AKA Ltl_to_acsl).

Aorai_dataflow

Compute the set of possible state at each function call and return.

Aorai_option
Aorai_register
Aorai_utils
Aorai_visitors
Bool3
Data_for_aorai
Logic_simplification

Basic simplification over Promelaast.typed_condition

Ltl_output
Ltlast

The abstract tree of LTL formula.

Ltllexer
Ltlparser
Path_analysis
Promelaast

The abstract tree of promela representation.

Promelalexer
Promelalexer_withexps
Promelaoutput
Promelaparser
Promelaparser_withexps
Utils_parser
Yalexer
Yaparser