frankpfenning C0 issues

frankpfenning / C0

C0 Language

4 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Pointer casts should be accepted as lvalues

#64 robsimmons opened 9 years ago
1
Wrappergen must check types

#63 robsimmons closed 9 years ago
1
Coin needs to check that all values passed to functions are initialized.

#62 robsimmons opened 9 years ago
0
Library calls fail inconsistenty

#61 robsimmons closed 8 years ago
2
Runtimes don't support valid NULL-returning calloc implementaitons

#60 robsimmons opened 10 years ago
2
C0VM doesn't give right number of locals to a function

#59 robsimmons opened 10 years ago
1
Codex doesn't handle calls to error()

#58 robsimmons opened 10 years ago
0
Implicit declarations of structs cause C compilation to fail

#57 frankpfenning closed 8 years ago
1
For loops can cause error in coin

#56 robsimmons closed 9 years ago
5
Contracts with effects bug (purity checker)

#55 robsimmons opened 11 years ago
0
Ternary expressions do not expand typedefs

#54 robsimmons closed 11 years ago
3
Library ordering can cause "misconfiguration"

#53 robsimmons opened 11 years ago
0
Coin doesn't like elseless ifs anymore

#52 robsimmons opened 11 years ago
1
C0 mode should disable tabs

#51 robsimmons closed 11 years ago
2
Update vim mode

#50 robsimmons opened 11 years ago
1
Testing harness fails on windows

#49 robsimmons opened 11 years ago
0
coin/codex on Windows

#48 robsimmons opened 11 years ago
0
change exe extensions to bin

#47 robsimmons closed 10 years ago
1
Standardize mlton versus smlnj compilation

#46 robsimmons closed 11 years ago
6
C# compiler is out of date

#45 robsimmons opened 11 years ago
3
Remove or fix out-of-date parsers

#44 robsimmons closed 11 years ago
4
Coin does not compile statically on OSX

#43 robsimmons opened 11 years ago
2
Error locations off by one in first line of file

#42 frankpfenning closed 11 years ago
2
bytecode compiler fails if main is used before declared

#41 frankpfenning closed 11 years ago
1
Coin under -d does not call the correct version of a function

#40 frankpfenning closed 11 years ago
2
Double-print of usage when required arguments are missing

#39 robsimmons closed 11 years ago
1
Redeclaring library functions fails in C under -d

#38 frankpfenning closed 11 years ago
1
Type name definition after function definition with the same name

#37 frankpfenning closed 11 years ago
1
coin doesn't default to purity checking

#36 robsimmons closed 11 years ago
1
Have runtime check size of integers

#35 robsimmons closed 11 years ago
1
Remove generation of oper_asn in compiler

#34 robsimmons closed 11 years ago
2
Generate 15-122 based regression test

#33 robsimmons closed 11 years ago
1
Add very simple util

#32 robsimmons closed 11 years ago
1
Move to gc 7.2d

#31 robsimmons closed 11 years ago
2
abort() in conio won't work

#30 robsimmons closed 11 years ago
11
Default values not handled correctly by some VM instructions

#29 robsimmons closed 11 years ago
2
Assertion contracts at the end of blocks

#28 frankpfenning closed 11 years ago
2
Require conditionals in tertiary expressions to have small type

#27 robsimmons closed 11 years ago
4
Unsafe programs with \length

#26 robsimmons closed 11 years ago
2
Purity tracker needs correctly-formatted error messages

#25 robsimmons closed 11 years ago
1
Bytecode compiler not awesome enough

#24 robsimmons closed 11 years ago
5
Precondition failure on main() leads to segmentation fault

#23 robsimmons closed 11 years ago
5
Bytecode emission picks wrong local directory

#22 robsimmons closed 11 years ago
1
Invalid bytecode format generated and accepted for large programs

#21 robsimmons closed 11 years ago
2
Mlton displays funky usage info

#20 robsimmons closed 11 years ago
1
Code breakpoints

#19 robsimmons closed 11 years ago
1
Code allows a starting point other than main() at runtime

#18 robsimmons closed 11 years ago
1
Code command line interface

#17 robsimmons closed 11 years ago
2
Revise IO library

#16 robsimmons closed 11 years ago
4
Add flush() to conio

#15 robsimmons closed 11 years ago
1