Skip to content
This repository was archived by the owner on Sep 27, 2023. It is now read-only.

Update Lesson 1 to CVL2 and config files #33

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Update Lesson 1 to CVL2 and config files #33

wants to merge 5 commits into from

Conversation

@shoham-certora
Copy link
Contributor

@shoham-certora shoham-certora commented Jun 13, 2023 •
edited
Loading

  1. I've updated the specs in Lesson 01 to CVL2.
  2. I've switched Lesson 01 from using shell scripts to using config files.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@nd-certora nd-certora Awaiting requested review from nd-certora

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@shoham-certora