Code

Celestial#272

Code

Open

chandrikabhardwaj wants to merge 66 commits intomicrosoft:mastermicrosoft/verisol:masterfrom suvamM:celestialsuvamM/verisol:celestialCopy head branch name to clipboard

+62,227

Commits

Commits on Sep 20, 2020

• celestial: initial commit

  

  Suvam Mukherjee

  committed
  15e89de

  Copy full SHA for 15e89de

Commits on Sep 22, 2020

• Add support built-in crypto functions

  samvid25

  committed
  c68bbca

  Copy full SHA for c68bbca

• Add support for tx.origin

  samvid25

  committed
  6a9f8a3

  Copy full SHA for 6a9f8a3

Commits on Sep 24, 2020

• Add support for block level functions, deprecate 'now', fix bug with default value

  samvid25

  committed
  7f3b310

  Copy full SHA for 7f3b310

Commits on Sep 25, 2020

• Update Makefile for the new repo

  samvid25

  committed
  7a0bb93

  Copy full SHA for 7a0bb93

• Change event send syntax to 'emit', fix bugs

  samvid25

  committed
  9a61372

  Copy full SHA for 9a61372

• Add number of event payloads check

  samvid25

  committed
  d193278

  Copy full SHA for d193278

• Fix bug - remove extra address payload in generated Solidity

  samvid25

  committed
  80d037a

  Copy full SHA for 80d037a

• Update examples

  samvid25

  committed
  7014132

  Copy full SHA for 7014132

• Merge pull request #1 from suvamM/change_event_syntax

  Show description for e1c59e3
  samvid25

  authored
  e1c59e3

  Copy full SHA for e1c59e3

Commits on Sep 29, 2020

• adding BinanceCoin Sample

  chandrikabhardwaj

  committed
  d42c506

  Copy full SHA for d42c506

• cleaning comments in BNB

  chandrikabhardwaj

  committed
  8558989

  Copy full SHA for 8558989

• Update BinanceCoin.cel

  chandrikabhardwaj

  authored
  3c04640

  Copy full SHA for 3c04640

• Update BinanceCoin.cel

  chandrikabhardwaj

  authored
  a205b1b

  Copy full SHA for a205b1b

• updating makefile for BNB

  chandrikabhardwaj

  committed
  e703659

  Copy full SHA for e703659

• Merge branch 'celestial' of https://github.com/suvamM/verisol into celestial

  chandrikabhardwaj

  committed
  c1699b4

  Copy full SHA for c1699b4

• BNB fstar

  chandrikabhardwaj

  committed
  89a8b08

  Copy full SHA for 89a8b08

• BNB acc to new compiler changes

  chandrikabhardwaj

  committed
  e4b1813

  Copy full SHA for e4b1813

• Remove automatically adding locks, add re-entrancy reverts condition support

  samvid25

  committed
  327819e

  Copy full SHA for 327819e

• Update examples

  samvid25

  committed
  4bff36f

  Copy full SHA for 4bff36f

• Fix bug with r_reverts

  samvid25

  committed
  5a0ea4b

  Copy full SHA for 5a0ea4b

• Update EtherDelta

  samvid25

  committed
  924a10c

  Copy full SHA for 924a10c

• Merge pull request #2 from suvamM/add_re-ent_reverts

  Show description for c850aff
  samvid25

  authored
  c850aff

  Copy full SHA for c850aff

• fixes to samples

  suvamM

  committed
  241ae70

  Copy full SHA for 241ae70

• merging

  suvamM

  committed
  a5d34da

  Copy full SHA for a5d34da

• BNB updated

  chandrikabhardwaj

  committed
  077deca

  Copy full SHA for 077deca

Commits on Sep 30, 2020

• Update Ether transfer function to .transfer()

  samvid25

  committed
  3aee538

  Copy full SHA for 3aee538

• Update experiments

  samvid25

  committed
  f6024b1

  Copy full SHA for f6024b1

• Update SimpleAuction sample

  samvid25

  committed
  4eeae29

  Copy full SHA for 4eeae29

• Update BinanceCoin.cel

  chandrikabhardwaj

  authored
  1e39300

  Copy full SHA for 1e39300

• Update BinanceCoin.cel

  chandrikabhardwaj

  authored
  d320330

  Copy full SHA for d320330

Commits on Oct 1, 2020

• Change transfer semantics, add fallback support, add abi encode functions, change safe_mul translation, add Solidity state mutability function modifiers, support initializing fields while declaration

  samvid25

  committed
  94cf3c5

  Copy full SHA for 94cf3c5

• Merge pull request #3 from suvamM/more_solidity_features

  Show description for 530fc4d
  samvid25

  authored
  530fc4d

  Copy full SHA for 530fc4d

• Add Ether transfer check (changed transfer semantics)

  samvid25

  committed
  3c9ffcd

  Copy full SHA for 3c9ffcd

• Add remaining functions in EtherDelta (WIP)

  samvid25

  committed
  3a0ee7e

  Copy full SHA for 3a0ee7e

• Add missing function in OZ ERC20 (WIP)

  samvid25

  committed
  3800bb0

  Copy full SHA for 3800bb0

• Change balance decrease check

  samvid25

  committed
  3daf2b2

  Copy full SHA for 3daf2b2

• Update examples

  Show description for 3c43f52
  samvid25

  authored
  3c43f52

  Copy full SHA for 3c43f52

Commits on Oct 3, 2020

• Update lib

  samvid25

  committed
  2c39065

  Copy full SHA for 2c39065

Commits on Oct 10, 2020

• Support 'using', 'pragma' and 'call' wrapper functions

  samvid25

  committed
  d8e6401

  Copy full SHA for d8e6401

• Update Samples

  samvid25

  committed
  57b9fc2

  Copy full SHA for 57b9fc2

• Bug fix

  samvid25

  committed
  ae95b63

  Copy full SHA for ae95b63

• wip:VeriSol-Integration

  chandrikabhardwaj

  committed
  30748dd

  Copy full SHA for 30748dd

Commits on Oct 15, 2020

• wip:fallbackVsReceive

  chandrikabhardwaj

  committed
  a7cf716

  Copy full SHA for a7cf716

• minorfix

  chandrikabhardwaj

  committed
  51fe210

  Copy full SHA for 51fe210

• updated Readme

  chandrikabhardwaj

  committed
  205d6a8

  Copy full SHA for 205d6a8

• update readme

  chandrikabhardwaj

  committed
  4de9b86

  Copy full SHA for 4de9b86

• update readmes

  chandrikabhardwaj

  committed
  7fa4f7d

  Copy full SHA for 7fa4f7d

• update readme

  chandrikabhardwaj

  committed
  e831485

  Copy full SHA for e831485

• minor fix

  chandrikabhardwaj

  committed
  64f0241

  Copy full SHA for 64f0241

• minor fix

  chandrikabhardwaj

  committed
  2374e4e

  Copy full SHA for 2374e4e

• minor fix

  chandrikabhardwaj

  committed
  d772b78

  Copy full SHA for d772b78

• wip:readme license

  chandrikabhardwaj

  committed
  af5bede

  Copy full SHA for af5bede

• wip:readme case for CELESTIAL

  chandrikabhardwaj

  committed
  a464687

  Copy full SHA for a464687

• wip:readme lowercase for CELESTIAL

  chandrikabhardwaj

  committed
  715a190

  Copy full SHA for 715a190

• payable not allowed for VeriSol

  chandrikabhardwaj

  committed
  c3482fb

  Copy full SHA for c3482fb

Commits on Oct 30, 2020

• moving Celestial folder up

  chandrikabhardwaj

  committed
  ef57563

  Copy full SHA for ef57563

Commits on May 21, 2021

• Update Overview

  samvid25

  committed
  784b2e3

  Copy full SHA for 784b2e3

• Add Celestial language documentation

  samvid25

  committed
  6b93637

  Copy full SHA for 6b93637

• Update Celestial language documentation

  samvid25

  committed
  bc410f8

  Copy full SHA for bc410f8

• Update Celestial README

  samvid25

  committed
  97b6978

  Copy full SHA for 97b6978

• Update Celestial README

  samvid25

  committed
  8f082b1

  Copy full SHA for 8f082b1

• Update Samples/README.md and create README for each experiment and update Makefile

  samvid25

  committed
  d2d35ba

  Copy full SHA for d2d35ba

• Update Overview contract

  samvid25

  committed
  1d217da

  Copy full SHA for 1d217da

• Remove original Solidity versions and some comments in the contract codes

  samvid25

  committed
  efaaa24

  Copy full SHA for efaaa24

• Updates

  samvid25

  committed
  52c6071

  Copy full SHA for 52c6071