Commits

Branch selector

 master

User selector

darioncassel

Datepicker

All time

Commit History

Commits on Sep 19, 2019

• [language][Bytecode Verifier] Fix Stack Usage Verifier

  Show description for e04c869
  

  darioncassel

  authored and

  bors-libra

  committed
  e04c869

  Copy full SHA for e04c869

• [VM][Tools] Branch coverage measurement for bytecode generator

  Show description for 63c5ab1
  

  darioncassel

  authored and

  bors-libra

  committed
  63c5ab1

  Copy full SHA for 63c5ab1

• [VM][Tools] Readme for bytecode generator

  Show description for 0b6504f
  

  darioncassel

  authored and

  bors-libra

  committed
  0b6504f

  Copy full SHA for 0b6504f

Commits on Sep 17, 2019

• [VM][Tools] Memory safety framework, add CLI arguments

  Show description for 5012341
  

  darioncassel

  authored and

  bors-libra

  committed
  5012341

  Copy full SHA for 5012341

Commits on Sep 13, 2019

• [VM][Tools] Run Generated Programs on VM Runtime

  Show description for 7df4eab
  

  darioncassel

  authored and

  bors-libra

  committed
  7df4eab

  Copy full SHA for 7df4eab

Commits on Sep 6, 2019

• [VM] Add instructions that use references

  Show description for b87b339
  darioncassel

  committed
  b87b339

  Copy full SHA for b87b339

Commits on Sep 4, 2019

• [VM] Fix foreign contracts in VM runtime unhooked

  Show description for 4a13fa3
  darioncassel

  committed
  4a13fa3

  Copy full SHA for 4a13fa3

Commits on Aug 30, 2019

• [VM][Tools] Bytecode test generator: Complete non-reference instructions

  Show description for d3ba852
  darioncassel

  committed
  d3ba852

  Copy full SHA for d3ba852

• [VM][Tools] Improve safety of bytecode test generator

  Show description for 60f5e37
  darioncassel

  committed
  60f5e37

  Copy full SHA for 60f5e37

• [VM][Tools] Add support for structs in bytecode generation

  Show description for 0ef9d5d
  

  darioncassel

  authored and

  shazqadeer

  committed
  0ef9d5d

  Copy full SHA for 0ef9d5d

Commits on Aug 29, 2019

• [VM][Tools] AbstractValue: Extend types to include kinds

  Show description for 84cdeaa
  darioncassel

  committed
  84cdeaa

  Copy full SHA for 84cdeaa

• [VM][Tools] Randomly assign basic block locals

  Show description for 62a46a5
  darioncassel

  committed
  62a46a5

  Copy full SHA for 62a46a5

Commits on Aug 28, 2019

• [VM][Tools] Refactor summaries that use locals

  Show description for 52737aa
  darioncassel

  committed
  52737aa

  Copy full SHA for 52737aa

Commits on Aug 27, 2019

• [VM][Tools] Add arbitrary CFG construction to bytecode generation

  Show description for 674f1ff
  darioncassel

  committed
  674f1ff

  Copy full SHA for 674f1ff

Commits on Aug 26, 2019

• [VM] Add VM runtime stack overflow checks

  Show description for 9e2598f
  darioncassel

  committed
  9e2598f

  Copy full SHA for 9e2598f

• [VM] File format vector bounds

  Show description for 48cdac1
  

  darioncassel

  authored and

  huitseeker

  committed
  48cdac1

  Copy full SHA for 48cdac1

• [VM][Tools] Modularize Basic Block Generation

  Show description for 64c0a0d
  darioncassel

  committed
  64c0a0d

  Copy full SHA for 64c0a0d

Commits on Aug 20, 2019

• [VM] Remove duplicate MIRAI annotations import

  Show description for 8457356
  darioncassel

  committed
  8457356

  Copy full SHA for 8457356

• [VM] Check for Gas Meter Safety

  Show description for b2c37f5
  darioncassel

  committed
  b2c37f5

  Copy full SHA for b2c37f5

• [VM] Audit potential vector overflows

  Show description for ecd12b2
  darioncassel

  committed
  ecd12b2

  Copy full SHA for ecd12b2

Commits on Aug 8, 2019

• [VM] Consider stack size change during bytecode generation

  Show description for 1095c1a
  darioncassel

  committed
  1095c1a

  Copy full SHA for 1095c1a

Commits on Aug 6, 2019

• [VM] Move bytecode automated test generation tool

  Show description for fef68b3
  darioncassel

  committed
  fef68b3

  Copy full SHA for fef68b3

Commits on Jul 29, 2019

• Include --batch in usage

  

  darioncassel

  authored and

  huitseeker

  committed
  4b34f37

  Copy full SHA for 4b34f37

• Clean up error behavior

  

  darioncassel

  authored and

  huitseeker

  committed
  81b25eb

  Copy full SHA for 81b25eb

• Fix relative path issue when checking current dir

  

  darioncassel

  authored and

  huitseeker

  committed
  a58ef37

  Copy full SHA for a58ef37

• Add --batch argument for skipping prompts

  

  darioncassel

  authored and

  huitseeker

  committed
  ae9234b

  Copy full SHA for ae9234b

• Improve error checks and messages

  

  darioncassel

  authored and

  huitseeker

  committed
  a463316

  Copy full SHA for a463316

• Apply suggestions from code review

  Show description for 8b9ba75
  

  darioncassel

  and

  huitseeker

  committed
  8b9ba75

  Copy full SHA for 8b9ba75

• Move coverage script to scripts, allow reporting coverage for different submodules

  Show description for cfa0768
  

  darioncassel

  authored and

  huitseeker

  committed
  cfa0768

  Copy full SHA for cfa0768

Commits on Jul 26, 2019

• Add checks for exhaustive coverage of instructions

  Show description for c42f7c8
  darioncassel

  committed
  c42f7c8

  Copy full SHA for c42f7c8

Commits on Jul 23, 2019

• Enforce max vec length by bounding binary size

  Show description for 4e44ed7
  

  darioncassel

  authored and

  calibra-opensource

  committed
  4e44ed7

  Copy full SHA for 4e44ed7

Commits on Jul 19, 2019

• Ensure vectors don't overflow in function proptest

  Show description for 0977adb
  

  darioncassel

  authored and

  calibra-opensource

  committed
  0977adb

  Copy full SHA for 0977adb

Commits on Jul 16, 2019

• Fix wrong table used in gas_schedule

  Show description for 4d4ca63
  

  darioncassel

  authored and

  calibra-opensource

  committed
  4d4ca63

  Copy full SHA for 4d4ca63

Commits on Jul 8, 2019

• Allow later version of mirai-annotations crate

  Show description for 2861149
  

  darioncassel

  authored and

  calibra-opensource

  committed
  2861149

  Copy full SHA for 2861149

Commits on Jul 2, 2019

• Audit arithmetic overflows raised by MIRAI

  Show description for 23b4f0b
  

  darioncassel

  authored and

  calibra-opensource

  committed
  23b4f0b

  Copy full SHA for 23b4f0b

Pagination

Previous

Next