GitLab

Arclength benchmark from precimonious paper



See merge request !33

Updated with one require statement for each function.



See merge request !31

Leadlag benchmark from salsa paper



See merge request !29

Uploaded rocket.scala

Testbench: Rocket Trajectory

See merge request !28

Testcase:Odometry

Odometry test case added.

See merge request !24

Option to choose default precision for error calculations



See merge request !26

for printing the SMT queries, if solver takes a long time.
Also adds debugging info about the total number of time outs.

Pid benchmark from Intra-procedural optimization paper



See merge request !22