1 Commits

Author	SHA1	Message	Date
Yuri D'Elia	b0b2ff5f9e	Rewrite/modularize the model checker ... - Allow all parameters to be changed at runtime through M310 - Move the model prototypes into a separate temp_model.h header - Allow the checked to be enabled/disabled at runtime - Introduce a warning threshold	2022-07-25 17:30:22 +02:00