Iteration 26

[ttuegel]

Iteration 26

8 July 2020 to 22 July 2020

Iteration 26 Milestone

Review

I will present my progress on performance profiling.

Process

For this iteration, I would like to try an experiment: after approving a pull request, the reviewer will also refactor one thing in the pull request. My hopes for this are two-fold: first, that we will get some of the benefits of pair programming despite the distance, and second, that we will get more practice keeping clean code.

Threads

• Performance
  • Profile \ceil simplifier in eventlog #1896: Profile \ceil simplifier in eventlog
  • Infer definedness of sub-terms #1911: Infer definedness of sub-terms
• Bugs
  • kore-repl: redirection doesn't work with alias #1960: kore-repl: redirection doesn't work with alias
  • Explain error when Z3 crashes #1934: Explain error when Z3 crashes
• User experience
  • kore-repl: debug-equation dynamically #1956: kore-repl: debug-equation dynamically
  • kore-repl: Abbreviate help command #1957: kore-repl: Abbreviate help command
  • Log number of concurrent branches during proof #1958: Log number of concurrent branches during proof
  • Distinguish stuck proof states #1943: Distinguish stuck proof states