Pierrot f7796d1d27 Use separated headers (#1142) ...

Use separated headers to distinguish our recent contributions and remove years' mentions in copyright as it is not 
a legal mandatory.

2024-07-30 12:24:53 +02:00

..

AB-Why3-plugin

New build system with proper dune-project and tree structure (#287)

2020-04-09 11:14:13 +02:00

invalid

New build system with proper dune-project and tree structure (#287)

2020-04-09 11:14:13 +02:00

optim-examples

feat: OptimAE (#861)

2023-11-07 14:51:42 +01:00

smt2

Models, rebased (#530)

2022-11-21 10:37:36 +01:00

valid

New build system with proper dune-project and tree structure (#287)

2020-04-09 11:14:13 +02:00

dune

Update Lib_usage.ml (#1062)

2024-03-20 11:41:13 +01:00

lib_usage.ml

Use separated headers (#1142)

2024-07-30 12:24:53 +02:00