Commit fdd38675 authored by POTTIER Francois's avatar POTTIER Francois


parent 69749d76
* Clean up in: Engine, InspectionTableInterpreter
* Remove the unsafe type casts in Printers, InspectionTableInterpreter.
Remove the BIG HACK where the initial state is assumed to be 0.
......@@ -20,7 +18,7 @@
feed (inspection API)
menhirLib: incompatible change of type 'a env
menhirLib: possibly incompatible change of type 'a env
* Implementing may_reduce by looping over the action table may be too
conservative? There may be situations where there is no reduce action
......@@ -53,7 +51,6 @@
allows exposing current state even when it is an initial state?
meta-initial state with transition to the real initial states?
remonter aussi la fonction element: 'a checkpoint -> int -> element de CompCert
parameterize the type 'a env again
ajouter la bijection entre production et int (i2p, p2i)
* Suite des patchs de Frédéric Bour.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment