Arthur Meyre 0c275c5f43 dev(floats): add Float class to represent a floating point value

2021-08-05 15:49:01 +02:00

..

bounds_measurement

test: testing eval_op_graph_bounds_on_dataset with multiple outputs

2021-08-04 16:22:46 +02:00

data_types

dev(floats): add Float class to represent a floating point value

2021-08-05 15:49:01 +02:00

representation

feat: adding constant management

2021-08-03 16:49:46 +02:00

tracing

chore: remove reference to package name and file paths

2021-08-02 13:01:52 +02:00

test_common_helpers.py

dev: add a function to check that a program is an actual integer program

2021-08-03 18:53:09 +02:00