sellout/quid-pro-quo

Issues

• fail to load for sbcl-2.0.1-1.1

  #19 opened 5 years ago
  0

• sbcl method-combination rewrite

  #17 opened 6 years ago by csrhodes
  0

• Metadata for Quicklisp

  #16 opened 10 years ago by hydandata
  0

• allow for multiple pre- and postcondition checks at same level

  #6 opened 14 years ago by sellout
  2

• Will not build on SBCL 1.1.17

  #14 opened 11 years ago by scymtym
  5

• support textual contracts

  #12 opened 13 years ago by madnificent
  3

• use contract body as description when there is no documentation

  #10 opened 13 years ago by sellout
  1

• include contracts in documentation

  #9 opened 13 years ago by sellout
  0

• many failed tests on CMUCL

  #2 opened 13 years ago by sellout
  3

• many failed tests on LispWorks

  #3 opened 14 years ago by sellout
  3

• style warnings on SBCL

  #11 opened 14 years ago by sellout
  1

• make it easy to switch different assertions on and off

  #7 opened 14 years ago by sellout
  1

• integrate with LOOM

  #8 opened 14 years ago by sellout
  1

• need something akin to Eiffel’s `old` notation

  #5 opened 14 years ago by sellout
  1

• postcondition must have access to result

  #4 opened 14 years ago by sellout
  1

• test failures on SBCL and CMUCL

  #1 opened 14 years ago by sellout
  3