Johannes Kanig 25b13e2cab merge commit

2025-12-15 10:45:08 +09:00

..

bool

update headers

2025-06-04 10:51:30 +02:00

bv

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

floating_point

update headers

2025-06-04 10:51:30 +02:00

for_drivers

update headers

2025-06-04 10:51:30 +02:00

ieee_float

Produce special float values in counterexamples

2025-06-11 13:09:37 +02:00

int

update headers

2025-06-04 10:51:30 +02:00

list

Fix coq realizations

2025-11-20 14:11:25 +01:00

map

update headers

2025-06-04 10:51:30 +02:00

number

update headers

2025-06-04 10:51:30 +02:00

option

update headers

2025-06-04 10:51:30 +02:00

real

Remove some admits in Coq realizations.

2025-11-27 09:42:21 +01:00

set

merge commit

2025-12-15 10:45:08 +09:00

spark

P914-008 array ordering lemma

2016-11-18 09:40:14 +01:00

_CoqProject

Update realizations.

2022-03-16 11:08:06 +01:00

.gitignore

Add a configure option for compiling and installing Coq realizations.

2011-11-19 15:08:48 +01:00

BuiltIn.v

update headers

2025-06-04 10:51:30 +02:00

HighOrd.v

update headers

2025-06-04 10:51:30 +02:00

SPARK.v

P914-008 array ordering lemma

2016-11-18 09:40:14 +01:00

version.in

Add missing files.

2018-03-22 18:41:39 +01:00

WellFounded.v

update headers

2025-06-04 10:51:30 +02:00