search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Review imp++ #1730

Open bmmoore opened 9 years ago

bmmoore commented 9 years ago

The 1_k/4_imp++/lesson_8 has been updated to work with kore. Use kompile --kore imp.k to build, and run individual programs with options krun --kore --parser "kast --kore --sort Stmts". IO works in the original style again. Spawn gives one correct solution, but manasvi has a pull request open to add search back to krun

bmmoore commented 9 years ago

The other unfortunate point is temporarily needing to declare some list subsorts explicitly.