Search results

Compilation errors

Status: Open.

#28 In nrc/libhoare;

· gizmo1904 opened on Feb 12, 2018

Current development

Status: Open.

#27 In nrc/libhoare;

· hellow554 opened on Nov 9, 2017

Weed out dummy spans

Status: Open.

#21 In nrc/libhoare;

· nrc opened on Jul 12, 2015

Make <code>cargo test</code> work and add tests to CI

Status: Open.

#14 In nrc/libhoare;

· nrc opened on Nov 23, 2014

might be worth checking out how SPARK 2014 does contracts

Status: Open.

#7 In nrc/libhoare;

· mk270 opened on Jul 27, 2014

Better error messages

Status: Open.

#6 In nrc/libhoare;

· nrc opened on Jul 16, 2014

Allow custom error messages

Status: Open.

#5 In nrc/libhoare;

· nrc opened on Jul 16, 2014

Refer to precondition state from the postcondition

Status: Open.

#3 In nrc/libhoare;

· nrc opened on Jul 13, 2014