Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 23, 2019

• Ensure we never property check lists longer than 10.

  Show description for df4d09d
  

  joelburget

  authored and

  bts

  committed
  df4d09d

  Copy full SHA for df4d09d

Commits on Jul 19, 2019

• Fixes bad headline for interface and namespaces (kadena-io#588)

  

  LindaOrtega

  authored and

  Stuart Popejoy

  committed
  13ae3b6

  Copy full SHA for 13ae3b6

• fix str-to-int error messages (kadena-io#587)

  

  emilypi

  authored and

  Stuart Popejoy

  committed
  87ffda5

  Copy full SHA for 87ffda5

• Scope check interfaces (kadena-io#589)

  Show description for ac5a9ca
  

  joelburget

  authored and

  bts

  committed
  ac5a9ca

  Copy full SHA for ac5a9ca

• Merge kadena-io#573: concrete and symbolic closure guards, and cap gov analysis

  bts

  authored
  f4e39e3

  Copy full SHA for f4e39e3

• Merge remote-tracking branch 'origin/master' into bts/cap-gov-analysis

  Show description for eed4baa
  bts

  committed
  eed4baa

  Copy full SHA for eed4baa

• Merge branch 'feat/user-guard-closures' into bts/cap-gov-analysis

  Show description for c29574a
  bts

  committed
  c29574a

  Copy full SHA for c29574a

• Re-enable mac build

  mightybyte

  committed
  4a3aba7

  Copy full SHA for 4a3aba7

Commits on Jul 15, 2019

• Docs: Nixify (kadena-io#584)

  Show description for 64bbf54
  

  fosskers

  authored and

  Stuart Popejoy

  committed
  64bbf54

  Copy full SHA for 64bbf54

• Swagger Documentation of API (kadena-io#555)

  Show description for 4bc7c24
  

  LindaOrtega

  authored and

  Stuart Popejoy

  committed
  4bc7c24

  Copy full SHA for 4bc7c24

Commits on Jul 14, 2019

• closures for user guards

  

  Stuart Popejoy

  committed
  ff6ad86

  Copy full SHA for ff6ad86

Commits on Jul 13, 2019

• Add documentation for Namespaces and Interfaces (kadena-io#531)

  Show description for 9d6cf8b
  

  emilypi

  and

  Stuart Popejoy

  committed
  9d6cf8b

  Copy full SHA for 9d6cf8b

• fix stack travis

  

  Stuart Popejoy

  committed
  997175c

  Copy full SHA for 997175c

Commits on Jul 12, 2019

• Merge pull request kadena-io#579 from kadena-io/failure-aware-props

  Show description for be17f5d
  bts

  authored
  be17f5d

  Copy full SHA for be17f5d

• Remove multiline case scrutinees.

  joelburget

  committed
  31e5834

  Copy full SHA for 31e5834

• Add succeeds-when / fails-when check forms.

  Show description for 867d05a
  joelburget

  committed
  867d05a

  Copy full SHA for 867d05a

• [ci] Temporarily Disable Mac CI (kadena-io#578)

  

  fosskers

  authored and

  Stuart Popejoy

  committed
  23b5f5e

  Copy full SHA for 23b5f5e

• Add subschema type for env-chain-data (kadena-io#577)

  Show description for 8f6d9be
  

  bts

  authored and

  Stuart Popejoy

  committed
  8f6d9be

  Copy full SHA for 8f6d9be

• Add vim-pact to readme (kadena-io#561)

  Show description for 778272d
  

  2 peopleauthored and

  Stuart Popejoy

  committed
  778272d

  Copy full SHA for 778272d

Commits on Jul 11, 2019

• 'block-time' as pact time, plus native schemas (kadena-io#575)

  Show description for 59986b9
  

  Stuart Popejoy

  authored
  59986b9

  Copy full SHA for 59986b9

• Address code review suggestions

  bts

  committed
  d25a0bd

  Copy full SHA for d25a0bd

• Merge remote-tracking branch 'origin/master' into bts/cap-gov-analysis

  Show description for a1cfcaf
  bts

  committed
  a1cfcaf

  Copy full SHA for a1cfcaf

• Merge pull request kadena-io#574 from kadena-io/strict-data

  Show description for b203fec
  bts

  authored
  b203fec

  Copy full SHA for b203fec

• Use StrictData in analysis.

  Show description for 54ed992
  joelburget

  committed
  54ed992

  Copy full SHA for 54ed992

Commits on Jul 10, 2019

• Improve output for gov cap satisfaction

  Show description for 255bd2b
  bts

  committed
  255bd2b

  Copy full SHA for 255bd2b

• Add governance-passes to property language

  bts

  committed
  51b28d4

  Copy full SHA for 51b28d4

• Merge remote-tracking branch 'origin/master' into bts/cap-gov-analysis

  Show description for e59ff07
  bts

  committed
  e59ff07

  Copy full SHA for e59ff07

• Add create-module-guard analysis

  bts

  committed
  4ac5284

  Copy full SHA for 4ac5284

• Merge pull request kadena-io#551 from kadena-io/test-verify

  Show description for 5ef3db6
  bts

  authored
  5ef3db6

  Copy full SHA for 5ef3db6

Commits on Jul 9, 2019

• Render human output on expectPass failure

  bts

  committed
  0522e8e

  Copy full SHA for 0522e8e

• Test that caps returning false succeed

  bts

  committed
  7e3005c

  Copy full SHA for 7e3005c

• Merge remote-tracking branch 'origin/master' into bts/cap-gov-analysis

  Show description for b3e1669
  bts

  committed
  b3e1669

  Copy full SHA for b3e1669

• Merge remote-tracking branch 'origin/master' into test-verify

  Show description for 6465371
  bts

  committed
  6465371

  Copy full SHA for 6465371

• Merge pull request kadena-io#565 from kadena-io/pact-step-signatures

  Show description for f3ed10b
  bts

  authored
  f3ed10b

  Copy full SHA for f3ed10b

• Remove unused imports

  bts

  committed
  4a64e26

  Copy full SHA for 4a64e26

Pagination

Previous

Next