Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / AbsInt/CompCert issues and pull requests

#61 - Fixed one error message and removed two comments.

Pull Request - State: closed - Opened by fpottier over 9 years ago

#60 - New system for reporting syntax errors

Pull Request - State: closed - Opened by fpottier over 9 years ago - 4 comments

#59 - Use Coq strings instead of idents to name external and builtin functi…

Pull Request - State: closed - Opened by xavierleroy over 9 years ago - 1 comment

#59 - Use Coq strings instead of idents to name external and builtin functi…

Pull Request - State: closed - Opened by xavierleroy over 9 years ago - 1 comment

#58 - Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.

Pull Request - State: closed - Opened by fpottier over 9 years ago - 2 comments

#58 - Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.

Pull Request - State: closed - Opened by fpottier over 9 years ago - 2 comments

#57 - Correction of a few bugs in the pre-parser, added comments.

Pull Request - State: closed - Opened by jhjourdan over 9 years ago - 1 comment

#57 - Correction of a few bugs in the pre-parser, added comments.

Pull Request - State: closed - Opened by jhjourdan over 9 years ago - 1 comment

#56 - Debug locations

Pull Request - State: closed - Opened by bschommer over 9 years ago

#56 - Debug locations

Pull Request - State: closed - Opened by bschommer over 9 years ago

#55 - Upgrade to Flocq 2.5.0.

Pull Request - State: closed - Opened by silene over 9 years ago - 1 comment

#55 - Upgrade to Flocq 2.5.0.

Pull Request - State: closed - Opened by silene over 9 years ago - 1 comment

#54 - Atomic builtins

Pull Request - State: closed - Opened by bschommer over 9 years ago - 3 comments

#54 - Atomic builtins

Pull Request - State: closed - Opened by bschommer over 9 years ago - 3 comments

#53 - OPAM package

Issue - State: closed - Opened by chambart over 9 years ago - 7 comments

#53 - OPAM package

Issue - State: closed - Opened by chambart over 9 years ago - 7 comments

#52 - IA32 for a non-SSE processor

Issue - State: closed - Opened by ghost over 9 years ago - 3 comments

#52 - IA32 for a non-SSE processor

Issue - State: closed - Opened by ghost over 9 years ago - 3 comments

#51 - Take advantage of PowerPC 64-bit instructions

Pull Request - State: closed - Opened by xavierleroy over 9 years ago

#51 - Take advantage of PowerPC 64-bit instructions

Pull Request - State: closed - Opened by xavierleroy over 9 years ago

#50 - Old documentation?

Issue - State: closed - Opened by alxest over 9 years ago - 2 comments

#50 - Old documentation?

Issue - State: closed - Opened by alxest over 9 years ago - 2 comments

#49 - Change the definition of Typles.tuple

Pull Request - State: closed - Opened by jhjourdan over 9 years ago - 1 comment

#49 - Change the definition of Typles.tuple

Pull Request - State: closed - Opened by jhjourdan over 9 years ago - 1 comment

#48 - Json export

Pull Request - State: closed - Opened by bschommer over 9 years ago

#48 - Json export

Pull Request - State: closed - Opened by bschommer over 9 years ago

#47 - offsetof issue ?

Issue - State: closed - Opened by oandrieu over 9 years ago - 2 comments
Labels: bug

#47 - offsetof issue ?

Issue - State: closed - Opened by oandrieu over 9 years ago - 2 comments
Labels: bug

#46 - Merge branch 'asmexpand' of github.com:AbsInt/CompCert

Pull Request - State: closed - Opened by bschommer over 9 years ago - 1 comment

#46 - Merge branch 'asmexpand' of github.com:AbsInt/CompCert

Pull Request - State: closed - Opened by bschommer over 9 years ago - 1 comment

#45 - Asmexpand

Pull Request - State: closed - Opened by bschommer over 9 years ago

#45 - Asmexpand

Pull Request - State: closed - Opened by bschommer over 9 years ago

#44 - .global directive not recognized in MacOS X Yosemite

Issue - State: closed - Opened by xavierleroy almost 10 years ago - 3 comments

#44 - .global directive not recognized in MacOS X Yosemite

Issue - State: closed - Opened by xavierleroy almost 10 years ago - 3 comments

#43 - Standard headers

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#43 - Standard headers

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#42 - static functions possible bug

Issue - State: closed - Opened by didickman almost 10 years ago - 3 comments
Labels: bug

#41 - duplicate semi-colon causes syntax error

Issue - State: closed - Opened by didickman almost 10 years ago - 2 comments

#41 - duplicate semi-colon causes syntax error

Issue - State: closed - Opened by didickman almost 10 years ago - 2 comments

#40 - GCC-style extended inline asm

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#40 - GCC-style extended inline asm

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#39 - Tail-recursive array initialization (for very large files)

Pull Request - State: closed - Opened by ghost almost 10 years ago - 1 comment

#39 - Tail-recursive array initialization (for very large files)

Pull Request - State: closed - Opened by ghost almost 10 years ago - 1 comment

#38 - Compiling code using initializer with possibly invalid constant expression

Issue - State: closed - Opened by ghost almost 10 years ago - 2 comments

#38 - Compiling code using initializer with possibly invalid constant expression

Issue - State: closed - Opened by ghost almost 10 years ago - 2 comments

#37 - Dwarf

Pull Request - State: closed - Opened by bschommer almost 10 years ago

#37 - Dwarf

Pull Request - State: closed - Opened by bschommer almost 10 years ago

#36 - Cosmetic: README in MarkDown

Pull Request - State: closed - Opened by clarus almost 10 years ago

#36 - Cosmetic: README in MarkDown

Pull Request - State: closed - Opened by clarus almost 10 years ago

#35 - Fix overflows in printers for clight and csyntax.

Pull Request - State: closed - Opened by jhjourdan almost 10 years ago - 1 comment

#35 - Fix overflows in printers for clight and csyntax.

Pull Request - State: closed - Opened by jhjourdan almost 10 years ago - 1 comment

#34 - Extended annotations

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#34 - Extended annotations

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#32 - fdisk on OpenBSD crashes when compiled with CompCert

Issue - State: closed - Opened by didickman almost 10 years ago - 3 comments

#32 - fdisk on OpenBSD crashes when compiled with CompCert

Issue - State: closed - Opened by didickman almost 10 years ago - 3 comments

#31 - Revised semantics of comparisons between a pointer and 0.

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#31 - Revised semantics of comparisons between a pointer and 0.

Pull Request - State: closed - Opened by xavierleroy almost 10 years ago

#30 - Removing not used hypotheses in TREE

Pull Request - State: closed - Opened by jhjourdan almost 10 years ago - 2 comments

#30 - Removing not used hypotheses in TREE

Pull Request - State: closed - Opened by jhjourdan almost 10 years ago - 2 comments

#29 - Struct return transformation: function declaration

Issue - State: closed - Opened by mbbarbosa almost 10 years ago - 6 comments

#29 - Struct return transformation: function declaration

Issue - State: closed - Opened by mbbarbosa almost 10 years ago - 6 comments

#28 - memcpy built-in in interpreter mode

Issue - State: closed - Opened by ghost almost 10 years ago - 4 comments

#28 - memcpy built-in in interpreter mode

Issue - State: closed - Opened by ghost almost 10 years ago - 4 comments

#27 - CompCert's FLT_EVAL_METHOD

Issue - State: closed - Opened by ghost almost 10 years ago - 3 comments

#27 - CompCert's FLT_EVAL_METHOD

Issue - State: closed - Opened by ghost almost 10 years ago - 3 comments

#26 - Details about wide-character support

Issue - State: open - Opened by ghost almost 10 years ago - 3 comments
Labels: enhancement

#26 - Details about wide-character support

Issue - State: open - Opened by ghost almost 10 years ago - 3 comments
Labels: enhancement

#25 - Small bug in the Makefile?

Issue - State: closed - Opened by damiendoligez almost 10 years ago - 1 comment

#25 - Small bug in the Makefile?

Issue - State: closed - Opened by damiendoligez almost 10 years ago - 1 comment

#24 - Packed structures with bit-fields

Issue - State: closed - Opened by ghost almost 10 years ago - 4 comments

#24 - Packed structures with bit-fields

Issue - State: closed - Opened by ghost almost 10 years ago - 4 comments

#23 - No Shell

Pull Request - State: closed - Opened by bschommer almost 10 years ago - 1 comment

#23 - No Shell

Pull Request - State: closed - Opened by bschommer almost 10 years ago - 1 comment

#22 - Bit-field initialization for automatic-storage variables

Issue - State: open - Opened by ghost almost 10 years ago - 3 comments
Labels: enhancement

#22 - Bit-field initialization for automatic-storage variables

Issue - State: open - Opened by ghost almost 10 years ago - 3 comments
Labels: enhancement

#21 - Backend printer

Pull Request - State: closed - Opened by bschommer almost 10 years ago - 1 comment

#21 - Backend printer

Pull Request - State: closed - Opened by bschommer almost 10 years ago - 1 comment

#20 - difference in results gcc vs. CompCert

Issue - State: closed - Opened by didickman about 10 years ago - 7 comments
Labels: bug

#20 - difference in results gcc vs. CompCert

Issue - State: closed - Opened by didickman about 10 years ago - 7 comments
Labels: bug

#19 - Unsupported feature: ill-formed 'switch' statement

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#19 - Unsupported feature: ill-formed 'switch' statement

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#18 - Named structs

Pull Request - State: closed - Opened by xavierleroy about 10 years ago

#18 - Named structs

Pull Request - State: closed - Opened by xavierleroy about 10 years ago

#17 - Error: array size is not a compile-time constant.

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment
Labels: wontfix

#17 - Error: array size is not a compile-time constant.

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment
Labels: wontfix

#16 - regression after fix for issue #14

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#14 - CompCert command line parsing vs. gcc

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#13 - Unsupported feature: wide string literal

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#12 - regress failure: compound.c:31: Error: incomplete type char[].

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#11 - feature request: sizeof an anonymous struct

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#10 - Fatal error: exception Env.Error(_) Raised at file "cparser/Env.ml", line 184, characters 9-48

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment
Labels: bug

#9 - feature request: c11 Anonymous structures and unions

Issue - State: closed - Opened by didickman about 10 years ago - 4 comments
Labels: enhancement

#8 - feature request: asm block outside of a function

Issue - State: open - Opened by didickman about 10 years ago - 3 comments
Labels: enhancement

#7 - feature request: add support for -fpic

Issue - State: open - Opened by didickman about 10 years ago - 2 comments
Labels: enhancement

#6 - Error: initialization of an array of non-wchar_t elements with a wide string literal.

Issue - State: closed - Opened by didickman about 10 years ago - 3 comments
Labels: bug

#5 - feature request: "asm volatile"

Issue - State: closed - Opened by didickman about 10 years ago - 1 comment

#4 - Fatal error: out of memory.

Issue - State: closed - Opened by didickman about 10 years ago - 2 comments
Labels: bug