This diff removes the cost logic.

The cost logic suffers the following: - it does not implement what is needed, and is then barely used, - its implementation is invasive and duplicates some internal mechanisms The latter point slows down the development of new features. In conclusion, it has been decided not to wait for the new cost logic before removing the current implementation.
EasyCrypt · Apr 2, 2024 · 41c2667 · 41c2667
1 parent c96ddd7
commit 41c2667
Show file tree

Hide file tree

Showing 106 changed files with 763 additions and 10,091 deletions.
diff --git a/examples/UC/composition_cost.ec b/examples/UC/composition_cost.ec
diff --git a/examples/UC/dh_enc_cost.ec b/examples/UC/dh_enc_cost.ec
diff --git a/examples/cost/apply_example.ec b/examples/cost/apply_example.ec
diff --git a/examples/cost/small_tutorial.ec b/examples/cost/small_tutorial.ec