Meeting 2012 10 30

Attendees

• Tomáš Brukner
• Karel Klíč
• Matej Šuta

Action points from the previous meeting

• [done] Matej: try small changes in the codebase (issue #74)
• Matej: try implementing a basic string abstraction
  • Matej is studying Canal internals
  • Karel and Matej will probably meet on Thursday
• Karel: prepare bachelor and master thesis topics (issue #49)
  • one last topic is missing (widening)
  • the exception allowing Karel to lead master theses will be considered next week
• [done] Tomáš: implement floating point operations(issue #65 and #58)
• [done] Jan: read about reduced product

Agenda

• Project status
• 3 issues were opened since the last week meeting.
• 3 issues were closed since the last week meeting.
• Status of the initial release
• 11 issues remaining in the First release milestone
• Priorities of the second release

Minutes

• Priorities of the second release
• We agreed on including the basic reduced product and string abstraction to the second release
• Extending the unit test coverage and integrated tests is a priority for second release
• We should extend the list of programs we can analyze. More utilities from coreutils should be added.
• The releases should happen approximately once in 3 months, 4 tested and polished releases per year.
• Tomáš would like to focus on unit tests and improving integer abstract domains, documentation should wait to the next semester
• Status of the initial release
• Most bugs are waiting for Karel to fix them
• Karel is preparing a presentation about Canal instead of fixing bugs

Action points

• Karel: prepare bachelor and master thesis topics (issue #49)
• Matej: try implementing a basic string abstraction
• Karel, Matej, Jan will meet on Thursday and work together
• Tomáš: fix the trunc operation on intervals
• Tomáš: improve automatic tests