Skip to content

rename heap_lang modules

Ralf Jung requested to merge ralf/heap-lang-rename into master

As discussed in !439 (merged), rename lifting to primitive_laws and array to derived_laws.

Merge request reports