Open sdthompson1 opened 1 month ago
Placeholder. (I found some bug with the dependency analysis, where sometimes function definitions wouldn't be sent to the prover even though they were available - this made some things impossible to verify. More details to follow.)
Placeholder. (I found some bug with the dependency analysis, where sometimes function definitions wouldn't be sent to the prover even though they were available - this made some things impossible to verify. More details to follow.)