Commits

Breadcrumbs

History for

onb024fce

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 10, 2017

• Do not overwrite files unless forced.

  chriseth

  committed
  31a5e5b

  Copy full SHA for 31a5e5b

Commits on Jan 26, 2017

• Header cleanup.

  chriseth

  committed
  8e29d63

  Copy full SHA for 8e29d63

Commits on Dec 1, 2016

• Metadata stamp.

  chriseth

  committed
  5789eaa

  Copy full SHA for 5789eaa

Commits on Nov 23, 2016

• Fix licensing headers

  Show description for 3f9f725
  

  VoR0220

  authored and

  chriseth

  committed
  3f9f725

  Copy full SHA for 3f9f725

Commits on Jun 8, 2016

• Allow remappings to change depending on the context.

  chriseth

  committed
  3150ab2

  Copy full SHA for 3150ab2

Commits on Mar 30, 2016

• Code generation (missing external access and source locations).

  chriseth

  committed
  f049430

  Copy full SHA for f049430

• Parsing for inline assembly.

  chriseth

  committed
  949b00e

  Copy full SHA for 949b00e

Commits on Jan 29, 2016

• Only allow including from allowed directories.

  chriseth

  committed
  0c5d892

  Copy full SHA for 0c5d892

Commits on Jan 25, 2016

• Provide remappings for solc.

  chriseth

  committed
  db2f3c5

  Copy full SHA for db2f3c5

Commits on Oct 26, 2015

• Preliminary why3 code output.

  chriseth

  committed
  a957322

  Copy full SHA for a957322

Commits on Oct 20, 2015

• File reorganisation.

  chriseth

  committed
  e3dffb6

  Copy full SHA for e3dffb6

Commits on Sep 11, 2015

• Commandline interface for the linker.

  chriseth

  committed
  70c0ed4

  Copy full SHA for 70c0ed4

Commits on Aug 19, 2015

• Moved solc files.

  chriseth

  committed
  895a0a8

  Copy full SHA for 895a0a8

Loading