https://gitlab.com/nomadic-labs/mi-cho-coq
Revision cadc05e13f48b2081e9046013fd6578f93c02ef3 authored by Raphaël Cauderlier on 10 October 2019, 10:26:52 UTC, committed by Raphaël Cauderlier on 22 October 2019, 14:18:33 UTC
1 parent 064f96c
History
Tip revision: cadc05e13f48b2081e9046013fd6578f93c02ef3 authored by Raphaël Cauderlier on 10 October 2019, 10:26:52 UTC
The regular simpl tactic can now be used instead of our custom simplify_intruction
Tip revision: cadc05e

back to top