Search results

Pointer casts should be accepted as lvalues

Status: Open.

#64 In frankpfenning/C0;

· robsimmons opened on Jun 17, 2015

Coin needs to check that all values passed to functions are initialized.

coin

Status: Open.

#62 In frankpfenning/C0;

· robsimmons opened on Sep 24, 2014

Runtimes don't support valid NULL-returning calloc implementaitons

Status: Open.

#60 In frankpfenning/C0;

· robsimmons opened on Nov 30, 2013

C0VM doesn't give right number of locals to a function

Status: Open.

#59 In frankpfenning/C0;

· robsimmons opened on Nov 19, 2013

Codex doesn't handle calls to error()

Status: Open.

#58 In frankpfenning/C0;

· robsimmons opened on Oct 31, 2013

Contracts with effects bug (purity checker)

Status: Open.

#55 In frankpfenning/C0;

· robsimmons opened on Jun 11, 2013

Library ordering can cause "misconfiguration"

cc0

Status: Open.

#53 In frankpfenning/C0;

· robsimmons opened on Jan 26, 2013

Coin doesn't like elseless ifs anymore

coin

Status: Open.

#52 In frankpfenning/C0;

· robsimmons opened on Jan 24, 2013

Update vim mode

Status: Open.

#50 In frankpfenning/C0;

· robsimmons opened on Jan 17, 2013

Testing harness fails on windows

cc0

Status: Open.

#49 In frankpfenning/C0;

· robsimmons opened on Jan 15, 2013

coin/codex on Windows

code

coin

Status: Open.

#48 In frankpfenning/C0;

· robsimmons opened on Jan 15, 2013

C# compiler is out of date

cc0

Status: Open.

#45 In frankpfenning/C0;

· robsimmons opened on Dec 30, 2012