runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Make use of parsing caches in kdist #4481

Open dwightguth opened 1 week ago

dwightguth commented 1 week ago

One thing I noticed recently while working on making modifications to the WASM semantics is that kdist appears to be doing something that effectively clobbers kompile's parsing cache each time a rule is changed. compilation times via kdist build might be improved rather dramatically if the code were tweaked so that incremental parsing was enabled.