Johannes Kanig fc3e8ccf6b Remove 'checked' and 'node' field from Why3 AST

2024-03-14 09:59:26 +09:00

..

ada_terms

Use Option from standard library

2024-01-22 16:43:44 +01:00

cfg

Merge remote-tracking branch 'why3-inria/master' into merge_inria_why3_1_7_0

2024-01-11 18:00:47 +01:00

gnat_json

Remove 'checked' and 'node' field from Why3 AST

2024-03-14 09:59:26 +09:00

microc

Replace Opt functions that are provided by the standard library.

2023-11-23 14:26:27 +01:00

parser

Update headers.

2023-03-07 09:58:45 +01:00

printer

merge TPTP printer into the tptp plugin

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

python

Update headers.

2023-03-07 09:58:45 +01:00

strategies

Forward propagation of rounding errors

2024-01-18 10:31:14 +00:00

tptp

Replace Opt functions that are provided by the standard library.

2023-11-23 14:26:27 +01:00

transform

Update headers.

2023-03-07 09:58:45 +01:00