Skip to main content

Browse the archive

Revision d3da5afa461f556dd7d13610676d96c37ec59375 authored by Pierre-Yves Strub on 21 October 2022, 15:19:36 UTC, committed by Pierre-Yves Strub on 26 October 2022, 10:47:29 UTC 
Fix bug in theory replay for modules.
 
When checking for module convertibility, check the computed
module flat expression (i.e. all module aliases have been
resolved), not the module expression.

Fix #292
1 parent c8bea89
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top