Code

Test cases for @assert notation#153

Code

Open

langfield wants to merge 12 commits intomasterNethermindEth/horus-checker:masterfrom aemartinez/assert-testsNethermindEth/horus-checker:aemartinez/assert-testsCopy head branch name to clipboard

+758-50

Commits

Commits on Mar 24, 2023

• Don't verify @external-generated wrapper functions

  Show description for 57af949
  

  Ferinko

  authored and

  langfield

  committed
  57af949

  Copy full SHA for 57af949

Commits on Mar 28, 2023

• Add README.md section on details of CairoSemanticsL

  langfield

  committed
  ba9abf3

  Copy full SHA for ba9abf3

• Merge pull request #168 from NethermindEth/ferinko/extern_fix

  Show description for e63e226
  langfield

  authored
  e63e226

  Copy full SHA for e63e226

• Add some high-level comments in FunctionAnalysis.hs and Global.hs.

  langfield

  committed
  2485f9e

  Copy full SHA for 2485f9e

• Add FAQ about commenting-out annotations

  langfield

  committed
  c63f054

  Copy full SHA for c63f054

• Add @external decorator to code-commenting FAQ

  langfield

  committed
  18d43a8

  Copy full SHA for 18d43a8

• Add mathsat installation to Github actions workflow

  Show description for 7e8c615
  langfield

  committed
  7e8c615

  Copy full SHA for 7e8c615

• Merge pull request #193 from NethermindEth/langfield/mathsat

  Show description for a62ccfb
  langfield

  authored
  a62ccfb

  Copy full SHA for a62ccfb

• Merge pull request #166 from NethermindEth/langfield/comments

  Show description for 4d273f1
  langfield

  authored
  4d273f1

  Copy full SHA for 4d273f1

• Merge pull request #156 from NethermindEth/langfield/faq-about-commented-specs

  Show description for 6d6ac4c
  langfield

  authored
  6d6ac4c

  Copy full SHA for 6d6ac4c

• Merge pull request #192 from NethermindEth/langfield/cairosemantics-readme-additions

  Show description for db57ebe
  langfield

  authored
  db57ebe

  Copy full SHA for db57ebe

Commits on Mar 29, 2023

• Add test cases for @assert notation

  Show description for b96c5e8
  

  aemartinez

  authored and

  langfield

  committed
  b96c5e8

  Copy full SHA for b96c5e8