Benjamin Jorge 25bf09e53a Reproduce #894

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

..

852_int16

add int16 and uint16 and extraction to c

2024-05-15 21:19:34 +02:00

894_clone_module_with_interface

Reproduce #894

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

interface1

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

test

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

239_extract_higher_order.mlw

Add some extraction tests to the bench.

2019-02-11 11:24:24 +01:00

240_extraction_polymorphic.mlw

fix issue #240

2019-02-08 15:55:21 +01:00

509_onetime.mlw

fixed extraction of one-time integers

2021-01-23 14:31:11 +01:00

509_tuples.mlw

extraction to OCaml: fixed printing of constructor types

2021-01-23 16:54:31 +01:00

Makefile

Fix continuous integration (partly revert 333c915e).

2021-01-24 11:07:36 +01:00

not_optimize_record.mlw

Resolve "Simplification of record types with only one field"

2023-11-23 14:13:37 +00:00

optimize_record.mlw

[Extract] Add example for extraction error

2022-11-24 17:14:27 +01:00

peano_onetime.mlw

other fixes in extraction of peano/onetime

2021-01-23 14:52:33 +01:00

test.mlw

Move tests/test-extraction to bench/extraction.

2021-02-05 19:57:12 +01:00