Johannes Kanig a09fd67023 V927-006 support for dependency kind in tree ...

* gnat_ast.ml
autogenerated from gnat2why/xgen
* gnat_ast_pretty.ml
new code to print axiom dependencies and modify printing of axioms
* gnat_ast_to_ptree.ml
new code to translate axiom dependencies to meta annotations

Change-Id: Ie9f9100057a9aeccc1bef87fd78b526f205daf4c

2022-11-02 18:41:46 +09:00

..

ada_terms

(V719-014) Merging Inria/master into SPARK/master

2022-07-19 14:57:03 +02:00

cfg

MLCFG: allow attributes to the body of a function.

2022-07-06 13:18:28 +02:00

gnat_json

V927-006 support for dependency kind in tree

2022-11-02 18:41:46 +09:00

microc

Resolve "wish: use a multi-line format for source locations"

2022-06-22 18:17:43 +00:00

parser

Resolve "wish: use a multi-line format for source locations"

2022-06-22 18:17:43 +00:00

printer

merge TPTP printer into the tptp plugin

2012-07-05 14:27:53 +02:00

python

Resolve "wish: use a multi-line format for source locations"

2022-06-22 18:17:43 +00:00

tptp

Resolve "wish: use a multi-line format for source locations"

2022-06-22 18:17:43 +00:00

transform

Update headers.

2022-04-26 16:33:42 +02:00