Home

You're probably looking for the Meeting Notes.

Some current tasks are:

• Eliminating useless changes (often introduced by brute force), described in Green-Red strategy.

Also useful is

• The [https://github.com/uw-plse/casio/wiki/Related-Work-and-Background](Related Work) page