K Bugs Overview

This page will be soon populated with links to relevant reported K bugs. The bugs will be classified in two categories: Easier and Harder. The bugs marked with a * have relatively equal complexity in each category. Pairs of students registered for a 4th credit in CS427 are supposed to pick one easier bug and one harder bug to fix, both of them marked with a *.

(Cosmin: I have not used any * because it is very hard to gauge the difficulty of a bug without spending a lot of time attempting to fix it. The "easier" and "harder" are ok bucketing, but there's a wide range in both categories, and especially in the "harder" one.)

Easier

• https://github.com/kframework/k/issues/2213 -- just fixing the error message, not the underlying problem
• https://github.com/kframework/k/issues/2097
• https://github.com/kframework/k/issues/2064
• https://github.com/kframework/k/issues/2063
• https://github.com/kframework/k/issues/1948
• https://github.com/kframework/k/issues/1942
• https://github.com/kframework/k/issues/2167

Harder

• https://github.com/kframework/k/issues/2219
• https://github.com/kframework/k/issues/2212
• https://github.com/kframework/k/issues/2215
• https://github.com/kframework/k/issues/2095
• https://github.com/kframework/k/issues/2057
• https://github.com/kframework/k/issues/1959
• https://github.com/kframework/k/issues/1916