Skip to content

Merge version 3 changes

Fredrik Wieczerkowski requested to merge version3-integration into master

Integrate the version 3 changes with recent changes from master.

Blocked on:

  • finite-map not being updated for version 3

Todo:

  • Replace showInt/showFloat/... with show from the Show class
  • Make sure that otherwise the correct version 3 functions are generated
Edited by Michael Hanus

Merge request reports