61 Commits

Author	SHA1	Message	Date
Aleksander Kryukov	92744a195a	specificSpecForSumRule	2021-11-12 16:42:21 +02:00
Aleksander Kryukov	bc9bbc2431	FirstWizardHarness	2021-11-12 16:42:21 +02:00
Aleksander Kryukov	2761ec0b66	MoreRulesToTheGodOfRules	2021-11-12 16:42:20 +02:00
Aleksander Kryukov	77efd53f0c	checkingInvariantsWithoutGhosts	2021-11-12 16:42:19 +02:00
Michael M	364da56ab4	quotes on var in msg	2021-11-12 16:42:19 +02:00
Aleksander Kryukov	9298482163	scripts settings added	2021-11-12 16:42:19 +02:00
Michael M	6323c9a73d	slight changes in scripts + disableLocalTypeChecking	2021-11-12 16:42:19 +02:00
Michael M	6307b3bb64	slight changes change for convenience + disableLocalTypeChecking flag for the hooks	2021-11-12 16:42:18 +02:00
Michael M	788d4672d7	slight script changes and ghost fix	2021-11-12 16:42:18 +02:00
Aleksander Kryukov	e810379262	sanity rule preparations	2021-11-12 16:42:18 +02:00
Shelly Grossman	9a194f24b8	start work on governor	2021-11-12 16:42:17 +02:00