ErichDonGubler/adhesion-rs

Issues

• Rename `double_check` to `both`

  #38 opened 4 years ago by indo-dev-0
  5

• Dependabot can't resolve your Rust dependency files

  #39 opened 4 years ago by dependabot-preview
  0

• `double_check` block for an entire `contract!` invocation?

  #23 opened 7 years ago by ErichDonGubler
  1

• Attribute shorthand for check blocks that could just be an expression

  #33 opened 7 years ago by ErichDonGubler
  2

• Ensure that we're following the Rust API Guidelines

  #22 opened 7 years ago by ErichDonGubler
  0

• Explain conditional compilation in the docs

  #25 opened 7 years ago by ErichDonGubler
  0

• Tighten documentation with `#![deny(missing_docs)]`

  #32 opened 7 years ago by ErichDonGubler
  0

• Doctests for `parse-generics-shim`?

  #26 opened 7 years ago by ErichDonGubler
  0

• Write better test coverage for `pub`

  #30 opened 7 years ago by ErichDonGubler
  0

• Write better test coverage for attributes

  #31 opened 7 years ago by ErichDonGubler
  0

• Use an external `doc` attribute once it's stabilized

  #34 opened 7 years ago by ErichDonGubler
  0

• Consider renaming `invariant` to something like `prepost`

  #24 opened 7 years ago by ErichDonGubler
  0

• Allow bindings in `pre` to be used in other blocks?

  #5 opened 7 years ago by ErichDonGubler
  2

• `pub` modifiers fail to compile

  #29 opened 7 years ago by ErichDonGubler
  0

• Allow multiple `fn` declarations inside a single `contract!` call

  #15 opened 7 years ago by ErichDonGubler
  0

• Usage of yet-to-be-stable value-returning break statements in newton_sqrt example

  #27 opened 7 years ago by ErichDonGubler
  0

• Outer fn attributes ignored

  #28 opened 7 years ago by ErichDonGubler
  0

• Allow generics in `fn` definition

  #18 opened 7 years ago by ErichDonGubler
  10

• Blurb: why this is called "Adhesion"

  #7 opened 7 years ago by ErichDonGubler
  1

• Add examples

  #13 opened 7 years ago by ErichDonGubler
  0

• Allow `self` variants in `fn` args

  #21 opened 7 years ago by ErichDonGubler
  0

• Determine a meaningful way to test `mut` params in function bodies

  #20 opened 7 years ago by ErichDonGubler
  0

• Allow `mut` in `fn` arguments

  #19 opened 7 years ago by ErichDonGubler
  0

• Allow omission of `post` param

  #11 opened 7 years ago by ErichDonGubler
  0

• Add documentation to code

  #14 opened 7 years ago by ErichDonGubler
  0

• Hide helper macros in docs

  #16 opened 7 years ago by ErichDonGubler
  0

• Allow attributes in `fn` definition

  #17 opened 7 years ago by ErichDonGubler
  0

• Use `cfg` blocks (or maybe just a function call) for checks?

  #3 opened 7 years ago by ErichDonGubler
  1

• Allow omission of return type (instead of `-> ()`)

  #12 opened 8 years ago by ErichDonGubler
  0

• Investigate `rust-skeptic` crate to allow tests in README

  #6 opened 8 years ago by ErichDonGubler
  1

• Get badges working

  #8 opened 8 years ago by ErichDonGubler
  1

• Get tests in Appveyor working

  #10 opened 8 years ago by ErichDonGubler
  1

• Get tests in Travis working

  #9 opened 8 years ago by ErichDonGubler
  1

• Expand `fn` signature parsing to cover a usable set of cases

  #4 opened 8 years ago by ErichDonGubler
  1

• Make the order of condition blocks not matter

  #1 opened 8 years ago by ErichDonGubler
  2

• Wean ourselves off of nightly

  #2 opened 8 years ago by ErichDonGubler
  2