Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2023

• added evm-dafny

  jf-li00

  committed
  097229a

  Copy full SHA for 097229a

Commits on Sep 25, 2023

• Merge pull request leonardoalt#17 from pedrotbtl/master

  Show description for 746faf6
  

  Leo

  authored
  746faf6

  Copy full SHA for 746faf6

Commits on Sep 19, 2023

• Adding Solidifier paper

  pedrotbtl

  committed
  49e4082

  Copy full SHA for 49e4082

Commits on Nov 21, 2022

• Merge pull request leonardoalt#15 from webthethird/master

  Show description for b082fd7
  

  Leo

  authored
  b082fd7

  Copy full SHA for b082fd7

• Update README.md

  Show description for acfdd97
  webthethird

  authored
  acfdd97

  Copy full SHA for acfdd97

Commits on Nov 20, 2022

• Move Clockwork Finance to Specification section

  webthethird

  authored
  5e57db4

  Copy full SHA for 5e57db4

Commits on Oct 25, 2022

• Add Clockwork Finance Framework

  webthethird

  authored
  720df07

  Copy full SHA for 720df07

Commits on Apr 1, 2022

• Add FM course

  

  Leo Alt

  committed
  43375b7

  Copy full SHA for 43375b7

Commits on Mar 8, 2022

• Add another GASOL paper

  

  Leo Alt

  committed
  865d320

  Copy full SHA for 865d320

• Add zk, gasol, paper for eth2 dafny

  

  Leo Alt

  committed
  4f2a1a2

  Copy full SHA for 4f2a1a2

• Add Yul-Lean

  

  Leo Alt

  committed
  d3aca00

  Copy full SHA for d3aca00

• Add SmartACE

  

  Leo Alt

  committed
  bc402d9

  Copy full SHA for bc402d9

• Fix Certora's target

  

  Leo Alt

  committed
  13bbecc

  Copy full SHA for 13bbecc

Commits on Nov 3, 2021

• add other lists

  

  Leo Alt

  committed
  5e85e67

  Copy full SHA for 5e85e67

• Updates end 2021

  

  Leo Alt

  committed
  907eb29

  Copy full SHA for 907eb29

Commits on Jan 6, 2021

• Update 2021

  

  Leonardo Alt

  committed
  006d197

  Copy full SHA for 006d197

• typo

  

  Leonardo Alt

  committed
  e515a17

  Copy full SHA for e515a17

• hevm updates

  

  Leonardo Alt

  committed
  fb160c5

  Copy full SHA for fb160c5

• Spec

  

  Leonardo Alt

  committed
  326122b

  Copy full SHA for 326122b

• Update SMTChecker

  

  Leonardo Alt

  committed
  4279d71

  Copy full SHA for 4279d71

• Update Yul-K

  

  Leonardo Alt

  committed
  82b6699

  Copy full SHA for 82b6699

• Small header update

  

  Leonardo Alt

  committed
  362e420

  Copy full SHA for 362e420

• Add Scribble

  

  Leonardo Alt

  committed
  de0c9cf

  Copy full SHA for de0c9cf

• Dafny Eth2 and DC

  

  Leonardo Alt

  committed
  7115f1f

  Copy full SHA for 7115f1f

Commits on Sep 15, 2020

• Merge pull request leonardoalt#12 from MrChico/master

  Show description for 946028c
  

  Leonardo

  authored
  946028c

  Copy full SHA for 946028c

Commits on Sep 14, 2020

• add hevm entry

  MrChico

  committed
  cc6c846

  Copy full SHA for cc6c846

• add kevm paper

  MrChico

  committed
  61bf39c

  Copy full SHA for 61bf39c

Commits on Sep 3, 2020

• Merge pull request leonardoalt#11 from hajduakos/patch-1

  Show description for b9fc44c
  

  Leonardo

  authored
  b9fc44c

  Copy full SHA for b9fc44c

• Add some new resources on solc-verify

  hajduakos

  authored
  36fbc0d

  Copy full SHA for 36fbc0d

Commits on Jun 2, 2020

• Merge pull request leonardoalt#10 from PaulRBerg/patch-securify

  Show description for a7d84bb
  

  Leonardo

  authored
  a7d84bb

  Copy full SHA for a7d84bb

• docs: update security link

  PaulRBerg

  authored
  ce09454

  Copy full SHA for ce09454

Commits on Feb 27, 2020

• Merge pull request leonardoalt#9 from MrChico/master

  Show description for 8824b3e
  

  Leonardo

  authored
  8824b3e

  Copy full SHA for 8824b3e

• fixes

  MrChico

  committed
  5f10bfb

  Copy full SHA for 5f10bfb

• add more examples

  MrChico

  committed
  cf5b0a6

  Copy full SHA for cf5b0a6

Commits on Nov 26, 2019

• Merge pull request leonardoalt#8 from shuvendu-lahiri/shuvendu-lahiri-patch-1

  Show description for 9bbe4b0
  

  Leonardo

  authored
  9bbe4b0

  Copy full SHA for 9bbe4b0

Pagination

Previous

Next