Write concrete playback tutorial page #1439

Activity

1. sanjit-bhat

   self-assigned this

   on Aug 2, 2022
2. sanjit-bhat

   moved this from In Progress to No status in Kani v0.8on Aug 2, 2022
3. sanjit-bhat

   changed the title [-]Exe trace: write docs[/-] [+]Det playback: write docs[/+] on Aug 11, 2022
4. sanjit-bhat

   changed the title [-]Det playback: write docs[/-] [+]Det playback: write tutorial page[/+] on Aug 11, 2022
5. sanjit-bhat

   added this to Kani v0.9on Aug 11, 2022
6. sanjit-bhat

   moved this to In Progress in Kani v0.9on Aug 17, 2022
7. sanjit-bhat

   changed the title [-]Det playback: write tutorial page[/-] [+]Write concrete playback tutorial page[/+] on Aug 19, 2022
8. sanjit-bhat

   added this to the Stabilize the concrete playback feature milestone on Aug 19, 2022
9. sanjit-bhat

   closed this as completedin #1537on Aug 19, 2022
10. sanjit-bhat

    moved this to Done in Kani v0.8on Aug 19, 2022
11. Repository owner moved this from In Progress to Done in Kani v0.9on Aug 19, 2022