search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
124 stars 36 forks source link

fetch running proofs #400

Open asymmetric opened 4 years ago

asymmetric commented 4 years ago

See https://github.com/dapphub/klab/pull/398#pullrequestreview-392623528.

Right now, savelogs is called only when a proof has finished.

The idea is to (also/only) have it run in response to a fetch.