Kick off

Jump to bottom

Spatenheinz edited this page Feb 6, 2023 · 1 revision

Kick Off

Reading

2 articles

CVC5 Documentation

Goal

Can write section in report about format and hereon argue why the specific format has been chosen

Define desireable properties

Summary of each article

Is the selected material enough (I.e. is the suggested formats good for the purpose or do we need some additional properties to be truly useful.)

Disposition/Outline of the report

Discussion (Kernel Interface)

Take a look at different kind of interfaces
Give a suggestion as to how we can use these
Let Ken guide all the bad decisions.