Logo
Explore Help
Sign In
ada/why3
0
0
Fork 0
You've already forked why3
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/bench/extraction
History
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
Powered by Gitea Page: 456ms Template: 16ms
English
English
Licenses API