bin/gnat2why
bin/gnatprove
bin/spark_report
%%DATADIR%%/config/frames.cgpr
%%DATADIR%%/config/gnat2why.cgpr
%%DATADIR%%/config/why.cgpr
%%DATADIR%%/theories/_gnatprove_standard.mlw
%%DATADIR%%/theories/_gnatprove_standard_th.why
%%DATADIR%%/theories/ada__containers__formal_doubly_linked_lists.mlw
%%DATADIR%%/theories/ada__containers__formal_doubly_linked_lists__generic_sorting.mlw
%%DATADIR%%/theories/ada__containers__formal_hashed_maps.mlw
%%DATADIR%%/theories/ada__containers__formal_hashed_sets.mlw
%%DATADIR%%/theories/ada__containers__formal_hashed_sets__generic_keys.mlw
%%DATADIR%%/theories/ada__containers__formal_ordered_maps.mlw
%%DATADIR%%/theories/ada__containers__formal_ordered_sets.mlw
%%DATADIR%%/theories/ada__containers__formal_ordered_sets__generic_keys.mlw
%%DATADIR%%/theories/ada__containers__formal_vectors.mlw
%%DATADIR%%/theories/ada__containers__formal_vectors__generic_sorting.mlw
%%DATADIR%%/theories/ada__model.mlw
%%DATADIR%%/theories/ada__model_th.why
%%DATADIR%%/theories/integers.why