Diffusion Isabelle 11f645d25498

remove unsupported max-time option from veriT calls
11f645d25498
Actions

Tags

None

Subscribers

None

Description

remove unsupported max-time option from veriT calls

Details

Provenance

Authored on

Parents

rISABELLE5bf00b1dd7d8: more standard Value.print_time;

Branches

Unknown

Tags

Unknown

Event Timeline

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> committed rISABELLE11f645d25498: remove unsupported max-time option from veriT calls.Oct 15 2020, 6:17 PM

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> mentioned this in rISABELLEe4d707eb7d1b: reactivate veriT after changing options in 11f645d25498.Oct 16 2020, 7:35 PM

Changes (2)

Path

Size

src/

HOL/

SMT_Examples/

SMT_Examples_Verit.certs

Tools/

SMT/

rISABELLE11f645d25498

src/HOL/SMT_Examples/SMT_Examples_Verit.certs

Loading...

src/HOL/Tools/SMT/smt_systems.ML

Loading...