Skip to content

Draft: Nuplompiler: refactor benchmark

Antonio Locascio requested to merge alocascio@experiment into master

This MR refactors the Benchmark by:

  • Splitting it into several files,
  • Adding more structure to the tx type,
  • Defining a precisely typed module for dealing with bounded integers.
Edited by Marco Stronati

Merge request reports