Claude Marche 82ec599640 restored API example for counterexamples

2025-03-03 13:12:26 +01:00

..

test-api-clone.stdout

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

test-api-counterexample.stdout

restored API example for counterexamples

2025-03-03 13:12:26 +01:00

test-api-create_session.stdout

use same oracle for both byte and opt versions

2020-03-31 20:07:38 +02:00

test-api-epsilon.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-logic.stdout

add a meta to mark a symbol as never removed by remove_unused*

2023-06-15 15:18:48 +00:00

test-api-mlw_expr.stdout

add a meta to mark a symbol as never removed by remove_unused*

2023-06-15 15:18:48 +00:00

test-api-mlw_tree_infer_invs.stdout

fix bench for infer

2021-07-15 10:14:39 +02:00

test-api-mlw_tree.stdout

improved Ptree helpers

2024-10-30 19:38:19 +01:00

test-api-transform.stdout

use same oracle for both byte and opt versions

2020-03-31 20:07:38 +02:00