Skip to content

Remove nonempty stacks in translation

Evan Marzion requested to merge remove-nonempty-stacks-in-translation into master

Removes nonempty stack requirement in Micho_to_dep.v + small cleanup factoring out common fun f =>'s

Merge request reports