Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 26, 2019

• bumped to 1.3.0 (#56)

  mristin

  authored
  1866c15

  Copy full SHA for 1866c15

• removed redundant example in readme on labels (#55)

  mristin

  authored
  f773177

  Copy full SHA for f773177

• added support for initialization in conditions (#54)

  mristin

  authored
  1b8d7fe

  Copy full SHA for 1b8d7fe

Commits on Jan 21, 2019

• fixed typo (#53)

  

  TeodoroFilippini

  authored and

  mristin

  committed
  aaac2a6

  Copy full SHA for aaac2a6

Commits on Jan 18, 2019

• added contract preamble (#52)

  mristin

  authored
  34cfd0e

  Copy full SHA for 34cfd0e

Commits on Jan 15, 2019

• Merge pull request #51 from Parquery/TeodoroFilippini-removed-formats-from-release

  Show description for 6dd8f30
  TeodoroFilippini

  authored
  6dd8f30

  Copy full SHA for 6dd8f30

• removed superflous string formats from release script

  TeodoroFilippini

  authored
  f936cd1

  Copy full SHA for f936cd1

Commits on Jan 13, 2019

• refactored process.go to use token sections (#50)

  mristin

  authored
  6a0ac79

  Copy full SHA for 6a0ac79

• refactored process.go to use token sections

  mristin

  committed
  9b07e4c

  Copy full SHA for 9b07e4c

• fixed mistake in comment (#48)

  

  TeodoroFilippini

  authored and

  mristin

  committed
  a351e0d

  Copy full SHA for a351e0d

Commits on Jan 8, 2019

• fixed indentation in README (#49)

  

  TeodoroFilippini

  authored and

  mristin

  committed
  6219db2

  Copy full SHA for 6219db2

Commits on Nov 13, 2018

• fixed precommit to travis environment (#47)

  mristin

  authored
  40c2e25

  Copy full SHA for 40c2e25

• bumped to 1.2.0 (#46)

  mristin

  authored
  1a08c00

  Copy full SHA for 1a08c00

• precommit tests changelog version mismatch (#45)

  mristin

  authored
  03aefb8

  Copy full SHA for 03aefb8

• added release script (#44)

  mristin

  authored
  6f5f04a

  Copy full SHA for 6f5f04a

• added version flag (#43)

  mristin

  authored
  a520e0b

  Copy full SHA for a520e0b

• precommit ignores hidden files (#42)

  mristin

  authored
  4ec7ef5

  Copy full SHA for 4ec7ef5

• removed obsolete TODOs in process.go (#41)

  mristin

  authored
  b05c67e

  Copy full SHA for b05c67e

• fixed negation of a disjunction (#40)

  mristin

  authored
  e068238

  Copy full SHA for e068238

• Merge pull request #38 from Parquery/TeodoroFilippini-renamed-contracts-test-to-testing-in-readme

  Show description for 6fb5d4e
  TeodoroFilippini

  authored
  6fb5d4e

  Copy full SHA for 6fb5d4e

• Merge pull request #39 from Parquery/TeodoroFilippini-changed-sign.of-boolean-intest-in-readme

  Show description for 0b13c77
  TeodoroFilippini

  authored
  0b13c77

  Copy full SHA for 0b13c77

• Merge pull request #37 from Parquery/TeodoroFilippini-added-blank-lines-to-build-constraints-in-readme

  Show description for 44c7c39
  TeodoroFilippini

  authored
  44c7c39

  Copy full SHA for 44c7c39

• Changed sign of boolean InTest in example

  Show description for 8e42f67
  TeodoroFilippini

  authored
  8e42f67

  Copy full SHA for 8e42f67

• modified contracts_test to contracts_testing

  Show description for 2ec4621
  TeodoroFilippini

  authored
  2ec4621

  Copy full SHA for 2ec4621

Commits on Nov 12, 2018

• Added blank line to build constraint examples

  Show description for 5bc0636
  TeodoroFilippini

  authored
  5bc0636

  Copy full SHA for 5bc0636

Commits on Nov 11, 2018

• code is unchanged if no contracts in the body nor in the description (#36)

  mristin

  authored
  240f2cb

  Copy full SHA for 240f2cb

Commits on Nov 9, 2018

• Merge pull request #35 from Parquery/TeodoroFilippini-removed-duplicate-paragraph-in-readme

  Show description for 299e816
  TeodoroFilippini

  authored
  299e816

  Copy full SHA for 299e816

• removed duplicate paragraph

  TeodoroFilippini

  authored
  e229183

  Copy full SHA for e229183

Commits on Nov 5, 2018

• highlighted in readme indention of contracts (#34)

  Show description for 504af0d
  mristin

  authored
  504af0d

  Copy full SHA for 504af0d

• removed trailing spaces in readme (#33)

  mristin

  authored
  714a4e3

  Copy full SHA for 714a4e3

• added support for single-line functions (#32)

  Show description for f67afa8
  mristin

  authored
  f67afa8

  Copy full SHA for f67afa8

Commits on Nov 2, 2018

• added reference to invariant issue to the Readme

  mristin

  authored
  101de44

  Copy full SHA for 101de44

• updated to go 1.11 (#28)

  mristin

  authored
  fd4d034

  Copy full SHA for fd4d034

• added section about toggling contracts in Readme (#26)

  mristin

  authored
  f60bf6f

  Copy full SHA for f60bf6f

• Fixed -u flag in installation instruction

  mristin

  authored
  85b8251

  Copy full SHA for 85b8251

Pagination

Previous

Next