-
Sylvain Dailler authored
This intends to add improvements that were done in new_ide but not merged in master yet. In particular, this merges - the commit for interruption of provers in why3server. - several counterexamples improvements: * choice of pretty printing for float counterexamples * countereamples parsing of lowercase "lambda" - itp_server/controller_itp improvements: * error handling in itp_server (any_from_node_ID is now option) * reformating of controller_itp queues as record instead of tuples * choice to always give a new goal with the automatic function that gets next goal Conflicts: bench/ce/algebraic_type_CVC4,1.5.oracle bench/ce/algebraic_type_Z3,4.6.0.oracle bench/ce/array_records_CVC4,1.5.oracle bench/ce/array_records_Z3,4.6.0.oracle bench/ce/arrays_CVC4,1.5.oracle bench/ce/arrays_Z3,4.6.0.oracle bench/ce/floats_CVC4,1.5.oracle bench/ce/floats_Z3,4.6.0.oracle bench/ce/if_decision_branch.mlw bench/ce/if_decision_branch_CVC4,1.5.oracle bench/ce/if_decision_...
7c901fd6