Commits

Branch selector

 mesapy2.7

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2019

• Fix typo in readme

  

  cool-RR

  authored and

  mssun

  committed
  ed546d5

  Copy full SHA for ed546d5

Commits on Nov 15, 2018

• ci: only deploy when push to master

  

  Mingshen Sun

  committed
  3b20de3

  Copy full SHA for 3b20de3

• ci: add the deploy step

  

  Mingshen Sun

  committed
  71e5fcf

  Copy full SHA for 71e5fcf

Commits on Nov 13, 2018

• ci: fix submodule clone issue

  

  Mingshen Sun

  committed
  80dd8de

  Copy full SHA for 80dd8de

• readme: update readme

  

  Mingshen Sun

  committed
  836d044

  Copy full SHA for 836d044

Commits on Nov 8, 2018

• CI: migrate to the latest CI system

  

  Mingshen Sun

  committed
  89cab1b

  Copy full SHA for 89cab1b

Commits on Sep 24, 2018

• readme: update MesaPy for SGX section to include more details

  

  Mingshen Sun

  committed
  84b20d6

  Copy full SHA for 84b20d6

Commits on Aug 22, 2018

• readme: fix a typo

  

  Mingshen Sun

  committed
  f5ef728

  Copy full SHA for f5ef728

Commits on Aug 21, 2018

• Merge pull request #6 from mesalock-linux/fix-cpyext-bugs

  Show description for e6048d4
  mssun

  authored
  e6048d4

  Copy full SHA for e6048d4

Commits on Aug 20, 2018

• pypy/module/cpyext: va_end should be called before return

  

  Mingshen Sun

  committed
  a371322

  Copy full SHA for a371322

Commits on Aug 18, 2018

• readme: add link of prebuilt binary and docker in chinese translation

  

  Mingshen Sun

  committed
  3b9e3cf

  Copy full SHA for 3b9e3cf

• readme: add link of prebuilt binary and docker

  

  Mingshen Sun

  committed
  0ac7f03

  Copy full SHA for 0ac7f03

Commits on Aug 17, 2018

• test: update unsafe rlist test to include more tests

  

  Mingshen Sun

  authored and

  mssun

  committed
  5996e8f

  Copy full SHA for 5996e8f

• test: add unit tests for unsafe rlist

  

  Mingshen Sun

  authored and

  mssun

  committed
  cf21e90

  Copy full SHA for cf21e90

• Checkout a temp filename to work around a building issue

  

  Mingshen Sun

  authored and

  mssun

  committed
  dddd429

  Copy full SHA for dddd429

• Fix the drone.yml issue

  

  Mingshen Sun

  authored and

  mssun

  committed
  75e615b

  Copy full SHA for 75e615b

• rpython/rtyper/rlist: remve unneccessary commented code

  

  Mingshen Sun

  authored and

  mssun

  committed
  f9a09f7

  Copy full SHA for f9a09f7

• Use "UNSAFE" keyword in docstring to represent unsafe list operations

  Show description for 3dce1ee
  

  Mingshen Sun

  authored and

  mssun

  committed
  3dce1ee

  Copy full SHA for 3dce1ee

• readme: add Chinese

  

  Mingshen Sun

  committed
  c8192ea

  Copy full SHA for c8192ea

• makefile: add standalone mesapy binary target

  

  Mingshen Sun

  committed
  75d2142

  Copy full SHA for 75d2142

Commits on Aug 16, 2018

• readme: add clone instructions

  

  Mingshen Sun

  committed
  98c6572

  Copy full SHA for 98c6572

• makefile: remove cffi_imports for all targets

  

  Mingshen Sun

  committed
  61d0175

  Copy full SHA for 61d0175

• readme: resize figures

  

  Mingshen Sun

  committed
  1c0b8b8

  Copy full SHA for 1c0b8b8

• Delete hg related files

  

  Mingshen Sun

  committed
  6335ca4

  Copy full SHA for 6335ca4

Commits on Aug 15, 2018

• readme: center figures

  

  Mingshen Sun

  committed
  800d3fd

  Copy full SHA for 800d3fd

• readme: resize figures

  

  Mingshen Sun

  committed
  932e6ce

  Copy full SHA for 932e6ce

• readme: add design and benchmarks

  

  Mingshen Sun

  committed
  655a0fb

  Copy full SHA for 655a0fb

• Checkout a temp filename to work around a building issue

  

  Mingshen Sun

  committed
  ce8b78d

  Copy full SHA for ce8b78d

• readme: add link of LICENSE

  

  Mingshen Sun

  committed
  136f456

  Copy full SHA for 136f456

• readme: add acknowledgement to thanks PyPy

  

  Mingshen Sun

  committed
  a2c053f

  Copy full SHA for a2c053f

Commits on Aug 8, 2018

• Makefile: add --make-jobs to accelerate building process

  

  Mingshen Sun

  committed
  95731f8

  Copy full SHA for 95731f8

• pypy/module/binascii: bring back binascii since we have resolved all dependencies

  

  Mingshen Sun

  committed
  7717fed

  Copy full SHA for 7717fed

• rlib/rzipfile: bring back rzipfile since we have rminiz_oxide now

  

  Mingshen Sun

  committed
  69b88e8

  Copy full SHA for 69b88e8

Commits on Aug 7, 2018

• LICENSE: add license for MesaPy

  

  Mingshen Sun

  committed
  53eeca2

  Copy full SHA for 53eeca2

Commits on Aug 6, 2018

• uupdate README for Seahorn and Smack

  

  Qian

  committed
  629e984

  Copy full SHA for 629e984

Pagination

Previous

Next