GitHub · Where software is built

Labels Milestones New issue

Contracts on <code>self</code>

#191

· vlad-shatskyi opened

on Jul 29, 2015

Use a macro preprocessor for speed

#163

· sfcgeorge opened

on Jun 17, 2015

Allow return value contract to reference input contract?

#113

· egonSchiele opened

on Mar 22, 2015

Allow contracts to be defined on Structs

#112

· egonSchiele opened

on Mar 22, 2015

Allow contractual reference to yet to be defined modules

#105

· nixpulvis opened

on Mar 11, 2015

Recursive types

builtin/contract

#101

· nixpulvis opened

on Mar 10, 2015

Add deprecation warning for top-level inclusion of Contracts

#81

· alex-fedorov opened

on Feb 5, 2015

·