This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

vscode edits CERT-1519#19

Open

NoaBablikiCertora wants to merge 12 commits intomasterfrom VSCodeEdits

+283-3

Commits on Jan 12, 2023

added vscode download recommendation to the readme
Noa Babliki
committed

Commits on Feb 15, 2023

conf files for bank,borda,erc20
NoaBablikiCertora
committed
merge master
NoaBablikiCertora
committed
renames, additional confs
NoaBablikiCertora
committed
vscode instructions to ex1
NoaBablikiCertora
committed

Commits on Mar 6, 2023

deleted spare confs, added vscode to lesson 2 readme
NoaBablikiCertora
committed
merging latest changes from tutorials master
NoaBablikiCertora
committed

Commits on Mar 7, 2023

lesson1 after master changes
NoaBablikiCertora
committed
added screenshots from vscode IDE
NoaBablikiCertora
authored
added vscode to lessson 6 README
NoaBablikiCertora
committed
Merge branch 'VSCodeEdits' of https://github.com/Certora/Tutorials into VSCodeEdits
NoaBablikiCertora
committed

Commits on Mar 15, 2023

added lessons numbers to confs names
NoaBablikiCertora
committed