Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 10, 2019

• Array (#58)

  Show description for 18b0a65
  

  shangweilin

  authored and

  ehildenb

  committed
  18b0a65

  Copy full SHA for 18b0a65

Commits on May 1, 2019

• Fund transfer (#57)

  Show description for 7088935
  shangweilin

  authored
  7088935

  Copy full SHA for 7088935

Commits on Apr 10, 2019

• Simple proofs of arithmetic stuffs (#56)

  Show description for f2a038c
  ehildenb

  authored
  f2a038c

  Copy full SHA for f2a038c

• Enhance driver (#55)

  Show description for 3bde667
  shangweilin

  authored
  3bde667

  Copy full SHA for 3bde667

• Fix syntax external call (#51)

  Show description for 17f2dde
  

  shangweilin

  authored and

  ehildenb

  committed
  17f2dde

  Copy full SHA for 17f2dde

Commits on Apr 3, 2019

• Klab integration, some simple proof structure, semantic changes (#54)

  Show description for 4515df9
  ehildenb

  authored
  4515df9

  Copy full SHA for 4515df9

Commits on Feb 27, 2019

• Updates build system, newest K, and repository layout, remove some non-determinism (update-build-system)

  

  Everett Hildenbrandt

  committed
  58d054d

  Copy full SHA for 58d054d

• .build/k: update K submodule

  

  Everett Hildenbrandt

  committed
  4fc389e

  Copy full SHA for 4fc389e

• driver: simplify test loading/checking

  

  Everett Hildenbrandt

  committed
  1499899

  Copy full SHA for 1499899

• configuration, tests/success-java: add missing `type="Map"` annotation

  

  Everett Hildenbrandt

  committed
  1df7963

  Copy full SHA for 1df7963

• Makefile, tests/{. => simple}/*.sol: move tests into subdirectory

  

  Everett Hildenbrandt

  committed
  c85ef0f

  Copy full SHA for c85ef0f

• README: update documentation

  

  Everett Hildenbrandt

  committed
  4f45f9d

  Copy full SHA for 4f45f9d

• ksol: always use diff comparison for tests

  

  Everett Hildenbrandt

  committed
  7e74f44

  Copy full SHA for 7e74f44

• ksol: remove test-profile command

  

  Everett Hildenbrandt

  committed
  56954f0

  Copy full SHA for 56954f0

• ksol: rework in spirit of KWASM script

  

  Everett Hildenbrandt

  committed
  4b9b675

  Copy full SHA for 4b9b675

• Makefile: overhaul in spirit of KWASM Makefile

  

  Everett Hildenbrandt

  committed
  054e7df

  Copy full SHA for 054e7df

• Refactor While loops to use mode/code machinery (While_Loops_Refactoring)

  

  Everett Hildenbrandt

  committed
  03fe0f9

  Copy full SHA for 03fe0f9

Commits on Feb 22, 2019

• Revise success-java.out accordingly

  shangweilin

  committed
  8d653e5

  Copy full SHA for 8d653e5

Commits on Feb 20, 2019

• Show description for 5236d4c
  JIAOJIAO1991

  committed
  5236d4c

  Copy full SHA for 5236d4c

• First pass at implementing while loops for solidity (While-Loops)

  

  Everett Hildenbrandt

  committed
  7b3c556

  Copy full SHA for 7b3c556

• driver, tests/while_loop_continue: fix tests

  

  Everett Hildenbrandt

  committed
  660e7e0

  Copy full SHA for 660e7e0

• tests/success-java: update output template

  

  Everett Hildenbrandt

  committed
  c875b5f

  Copy full SHA for c875b5f

• configuration, contract, expression, function: use <acctID> like a Map key

  

  Everett Hildenbrandt

  committed
  39c1556

  Copy full SHA for 39c1556

Commits on Feb 19, 2019

• Add missing cells for cleaning in driver.k

  shangweilin

  committed
  c7cb345

  Copy full SHA for c7cb345

Commits on Feb 18, 2019

• Remove commented rules and minor revisions.

  shangweilin

  committed
  46fff62

  Copy full SHA for 46fff62

• Finished adding multiple test cases.

  shangweilin

  committed
  3bdfae2

  Copy full SHA for 3bdfae2

• Revisions based on comments.

  shangweilin

  committed
  14d9a97

  Copy full SHA for 14d9a97

• Consider the case of return statements in while loops.

  shangweilin

  committed
  118c510

  Copy full SHA for 118c510

• Add the semantics for the break statement.

  shangweilin

  committed
  38c4025

  Copy full SHA for 38c4025

• Add the semantics for the continue statement.

  shangweilin

  committed
  be36e51

  Copy full SHA for be36e51

• Semantics for while loops without break and continue statements.

  shangweilin

  committed
  67c7f59

  Copy full SHA for 67c7f59

Commits on Feb 13, 2019

• Switch to new CI setup with Jenkinsfile and Dockerfile (jenkinsfile-dockerfile)

  

  Everett Hildenbrandt

  committed
  980ed5a

  Copy full SHA for 980ed5a

• Dockerfile: update, upgrade, and install deps in one go

  

  Everett Hildenbrandt

  committed
  4ecc83b

  Copy full SHA for 4ecc83b

• Makefile: actually invoke tests

  

  Everett Hildenbrandt

  committed
  cc8652e

  Copy full SHA for cc8652e

• Makefile: omit --debug option

  

  Everett Hildenbrandt

  committed
  9ee106e

  Copy full SHA for 9ee106e

Pagination

Previous

Next