Search results

Iterators broken or maybe better docs needed on usage

Status: Open.

#23 In Udiknedormin/NimContracts;

· lilkeet opened on Jul 20, 2024

Contractual pragma does not work with funcs

Status: Open.

#21 In Udiknedormin/NimContracts;

· lilkeet opened on Jul 19, 2024

Docs go missing when <code>body:</code> is added

Status: Open.

#20 In Udiknedormin/NimContracts;

· MatrixManAtYrService opened on Aug 17, 2023

Clarification on generating contracts in release mode.

Status: Open.

#18 In Udiknedormin/NimContracts;

· thindil opened on Jul 31, 2022

DrNim support

enhancement

Status: Open.

#16 In Udiknedormin/NimContracts;

· Udiknedormin opened on Sep 4, 2021

Defect messages: show the runtime values in expression?

enhancement

Status: Open.

#14 In Udiknedormin/NimContracts;

· Udiknedormin opened on Sep 3, 2021

Does not appear to build with Nim 1.4.2

Status: Open.

#8 In Udiknedormin/NimContracts;

· esthermations opened on Feb 18, 2021

Potential for static verification?

Status: Open.

#4 In Udiknedormin/NimContracts;

· hcphoenix opened on Apr 29, 2018

How to use it?

Status: Open.

#1 In Udiknedormin/NimContracts;

· pmetras opened on Jan 22, 2017