Update Storage API README with refined storage engine semantics

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Done
    • Priority: Minor - P4
    • 3.1.3
    • Affects Version/s: None
    • Component/s: Storage
    • None
    • Fully Compatible
    • Quint Iteration 3.1.1, Quint Iteration 3.1.2, Quint Iteration 3
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None

      Current README is out of date.

      Should contain high-level overview and pointers to other info, specs in header files, documentation, etc.

            Assignee:
            Geert Bosch
            Reporter:
            Geert Bosch
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: