AbsInt/CompCert issues and pull requests

#525 - Add minimal syntactic support for type `_Float16`

Pull Request - State: open - Opened by xavierleroy about 1 month ago - 1 comment

#524 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: closed - Opened by proux01 about 2 months ago - 8 comments

#100 - Driver refactoring

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

#100 - Driver refactoring

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

#99 - Introduce register pairs to describe calling conventions more precisely

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

#99 - Introduce register pairs to describe calling conventions more precisely

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

#98 - ./configure detects wrong coq version

Issue - State: closed - Opened by cpitclaudel over 8 years ago - 2 comments

#98 - ./configure detects wrong coq version

Issue - State: closed - Opened by cpitclaudel over 8 years ago - 2 comments

#97 - Makefile.extr problem in cygwin

Issue - State: closed - Opened by andrew-appel over 8 years ago - 2 comments

#97 - Makefile.extr problem in cygwin

Issue - State: closed - Opened by andrew-appel over 8 years ago - 2 comments

#96 - Added the _Generic expression.

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

#96 - Added the _Generic expression.

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

#95 - Added the _Noreturn keyword.

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

#95 - Added the _Noreturn keyword.

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

#94 - Fix a bug in the pre-parser.

Pull Request - State: closed - Opened by jhjourdan over 8 years ago

#94 - Fix a bug in the pre-parser.

Pull Request - State: closed - Opened by jhjourdan over 8 years ago

#93 - Separate compilation via syntactic linking

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

#93 - Separate compilation via syntactic linking

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

#92 - Cleanup

Pull Request - State: closed - Opened by bschommer over 8 years ago - 7 comments

#92 - Cleanup

Pull Request - State: closed - Opened by bschommer over 8 years ago - 7 comments

#91 - Add the mixed simulation reasoning principle

Pull Request - State: closed - Opened by jeehoonkang over 8 years ago - 1 comment

#91 - Add the mixed simulation reasoning principle

Pull Request - State: closed - Opened by jeehoonkang over 8 years ago - 1 comment

#90 - Make casts of pointers to _Bool semantically well defined

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

#90 - Make casts of pointers to _Bool semantically well defined

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

#89 - Split up tools and options.

Pull Request - State: closed - Opened by bschommer over 8 years ago - 2 comments

#89 - Split up tools and options.

Pull Request - State: closed - Opened by bschommer over 8 years ago - 2 comments

#88 - many temporary files

Issue - State: closed - Opened by helloqirun over 8 years ago - 1 comment

#88 - many temporary files

Issue - State: closed - Opened by helloqirun over 8 years ago - 1 comment

#87 - BSD license missing

Issue - State: closed - Opened by ghost almost 9 years ago - 1 comment

#87 - BSD license missing

Issue - State: closed - Opened by ghost almost 9 years ago - 1 comment

#86 - Better treatment of names in the clightgen tool

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

#86 - Better treatment of names in the clightgen tool

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

#85 - Option to json printer

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

#85 - Option to json printer

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

#84 - Update cminor support for single-precision floats

Pull Request - State: closed - Opened by ghost almost 9 years ago - 3 comments

#84 - Update cminor support for single-precision floats

Pull Request - State: closed - Opened by ghost almost 9 years ago - 3 comments

#83 - I have found a minor omission in the way compcert dumps its rtl tree:

Issue - State: closed - Opened by ghost almost 9 years ago - 1 comment

#83 - I have found a minor omission in the way compcert dumps its rtl tree:

Issue - State: closed - Opened by ghost almost 9 years ago - 1 comment

#82 - Makefile does not install clightgen

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 1 comment

#82 - Makefile does not install clightgen

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 1 comment

#81 - Makefile.menhir has bug when ocamlfind not present

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 3 comments

#81 - Makefile.menhir has bug when ocamlfind not present

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 3 comments

#80 - -g no longer works on OpenBSD

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

#79 - Config option

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

#79 - Config option

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

#78 - Revise and simplify the -fstruct-return and -fstruct-passing options.

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

#77 - Should be possible to install without menhir

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 2 comments

#77 - Should be possible to install without menhir

Issue - State: closed - Opened by andrew-appel almost 9 years ago - 2 comments

#76 - A fix in the column numbers. A change in one error message.

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

#76 - A fix in the column numbers. A change in one error message.

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

#75 - Simple mcpu

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

#75 - Simple mcpu

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

#74 - Fix a typo in a syntax error message.

Pull Request - State: closed - Opened by fpottier almost 9 years ago - 1 comment

#74 - Fix a typo in a syntax error message.

Pull Request - State: closed - Opened by fpottier almost 9 years ago - 1 comment

#73 - Fix a typo in a syntax error message.

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

#73 - Fix a typo in a syntax error message.

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

#72 - Parsing or lexing duplicates return statements.

Issue - State: closed - Opened by atrieu almost 9 years ago - 2 comments

#71 - Initialisation of wchar_t arrays

Issue - State: closed - Opened by ghost about 9 years ago - 2 comments
Labels: bug

#71 - Initialisation of wchar_t arrays

Issue - State: closed - Opened by ghost about 9 years ago - 2 comments
Labels: bug

#70 - compile error

Issue - State: closed - Opened by didickman about 9 years ago - 16 comments

#70 - compile error

Issue - State: closed - Opened by didickman about 9 years ago - 16 comments

#69 - Parser : duplicate identifier tokens, fix K&R definition parsing

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

#69 - Parser : duplicate identifier tokens, fix K&R definition parsing

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

#68 - Fix in cparser/GNUmakefile.

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

#68 - Fix in cparser/GNUmakefile.

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

#67 - When printing a fragment of source text as part of an error message, …

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

#67 - When printing a fragment of source text as part of an error message, …

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

#66 - Loop unrolling

Issue - State: closed - Opened by ghost about 9 years ago - 1 comment

#66 - Loop unrolling

Issue - State: closed - Opened by ghost about 9 years ago - 1 comment

#65 - Refactor Target depending options

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

#65 - Refactor Target depending options

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

#64 - CompCert manual versioning and availability

Issue - State: closed - Opened by ghost about 9 years ago - 1 comment

#64 - CompCert manual versioning and availability

Issue - State: closed - Opened by ghost about 9 years ago - 1 comment

#63 - Clarification about va_arg with composite types

Issue - State: closed - Opened by ghost about 9 years ago - 2 comments

#63 - Clarification about va_arg with composite types

Issue - State: closed - Opened by ghost about 9 years ago - 2 comments

#62 - Fixed some comments.

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

#62 - Fixed some comments.

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

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

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

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

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

#60 - New system for reporting syntax errors

Pull Request - State: closed - Opened by fpottier about 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 about 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 about 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 about 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 about 9 years ago - 2 comments

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

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

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

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

#56 - Debug locations

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

#56 - Debug locations

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

#55 - Upgrade to Flocq 2.5.0.

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

#55 - Upgrade to Flocq 2.5.0.

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

#54 - Atomic builtins

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

#54 - Atomic builtins

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

#53 - OPAM package

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

#53 - OPAM package

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

#52 - IA32 for a non-SSE processor

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

#52 - IA32 for a non-SSE processor

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

#51 - Take advantage of PowerPC 64-bit instructions

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

#51 - Take advantage of PowerPC 64-bit instructions

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

#50 - Old documentation?

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

#50 - Old documentation?

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

GitHub / AbsInt/CompCert issues and pull requests