Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 18, 2019

• First Prusti-Assistant version

  fpoli

  committed
  cbcd3de

  Copy full SHA for cbcd3de

Commits on Nov 8, 2018

• Increment version

  mooman219

  committed
  9cbb6a6

  Copy full SHA for 9cbb6a6

Commits on Jun 8, 2018

• Update changelog

  mooman219

  committed
  95e1745

  Copy full SHA for 95e1745

Commits on Jun 7, 2018

• Update changelog for derive snippet

  mooman219

  committed
  f08c0d7

  Copy full SHA for f08c0d7

• Increment version to 0.2.2

  mooman219

  committed
  183aa35

  Copy full SHA for 183aa35

Commits on May 29, 2018

• Bump version to 0.2.1

  mooman219

  committed
  dc7bb53

  Copy full SHA for dc7bb53

Commits on May 24, 2018

• Add formatting support, bump version to 0.2.0

  mooman219

  committed
  de99af6

  Copy full SHA for de99af6

Commits on May 23, 2018

• Refactor configuration keys

  mooman219

  committed
  3e39f0d

  Copy full SHA for 3e39f0d

• Mark 0.1.2, update readme.

  mooman219

  committed
  ae284a8

  Copy full SHA for ae284a8

Commits on May 22, 2018

• Add new version in changelog

  mooman219

  committed
  4c0f5b5

  Copy full SHA for 4c0f5b5

Commits on May 21, 2018

• Initial Commit

  mooman219

  committed
  ff7d42e

  Copy full SHA for ff7d42e

Loading