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

#545 - Coq 8.20.1 is supported

Pull Request - State: closed - Opened by vbgl 21 days ago

#544 - Use the --print-version command to robustly get the Coq / Rocq version.

Pull Request - State: closed - Opened by ppedrot 24 days ago - 1 comment

#543 - Adapt to https://github.com/coq/coq/pull/20027

Pull Request - State: closed - Opened by proux01 25 days ago - 7 comments

#541 - Protect against `$NNN` identifiers

Pull Request - State: closed - Opened by xavierleroy 2 months ago

#540 - Compilation fails at assembling due to "juk after expression"

Issue - State: closed - Opened by Fofeu 2 months ago - 1 comment

#540 - Compilation fails at assembling due to "juk after expression"

Issue - State: open - Opened by Fofeu 2 months ago - 1 comment

#539 - Support C99 array declarator syntax involving `static` and `*`

Pull Request - State: closed - Opened by xavierleroy 2 months ago - 2 comments

#537 - Fixup overflow on macOS Apple Silicon

Issue - State: closed - Opened by jrrk2 3 months ago - 13 comments

#536 - __ILP32__ __LP64__ __LLP64__

Issue - State: open - Opened by monniaux 3 months ago

#535 - remove compat dance connecting Zeq_bool and Z.eqb

Pull Request - State: closed - Opened by andres-erbsen 3 months ago - 5 comments

#534 - use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)

Pull Request - State: closed - Opened by andres-erbsen 3 months ago - 5 comments

#533 - make && make documentation does not work (fix proposed)

Issue - State: closed - Opened by monniaux 3 months ago - 1 comment

#532 - Use GNU make's wildcard expansion instead of the shell's, because the…

Pull Request - State: closed - Opened by monniaux 3 months ago - 2 comments

#531 - static qualifier in array parameter declaration

Issue - State: closed - Opened by monniaux 3 months ago - 1 comment

#530 - Add -allow-unreleased-menhir

Pull Request - State: closed - Opened by JasonGross 4 months ago - 4 comments

#529 - Build `.glob` files at the default place and install them

Pull Request - State: closed - Opened by xavierleroy 4 months ago

#528 - Add -ignore-menhir-version

Pull Request - State: closed - Opened by JasonGross 4 months ago - 2 comments

#527 - install .v files alongside .vo files

Pull Request - State: closed - Opened by JasonGross 4 months ago

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

Pull Request - State: closed - Opened by xavierleroy 4 months ago - 2 comments

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

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

#500 - Any options available for function & data purging?

Issue - State: open - Opened by xxuejie over 1 year ago - 4 comments
Labels: enhancement

#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

#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 almost 9 years ago - 2 comments

#97 - Makefile.extr problem in cygwin

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

#96 - Added the _Generic expression.

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

#96 - Added the _Generic expression.

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

#95 - Added the _Noreturn keyword.

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

#95 - Added the _Noreturn keyword.

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

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

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

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

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

#93 - Separate compilation via syntactic linking

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

#93 - Separate compilation via syntactic linking

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

#92 - Cleanup

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

#92 - Cleanup

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

#91 - Add the mixed simulation reasoning principle

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

#91 - Add the mixed simulation reasoning principle

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

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

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

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

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

#89 - Split up tools and options.

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

#89 - Split up tools and options.

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

#88 - many temporary files

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

#88 - many temporary files

Issue - State: closed - Opened by helloqirun almost 9 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 about 9 years ago - 1 comment

#86 - Better treatment of names in the clightgen tool

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

#85 - Option to json printer

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

#85 - Option to json printer

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

#84 - Update cminor support for single-precision floats

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

#84 - Update cminor support for single-precision floats

Pull Request - State: closed - Opened by ghost about 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 about 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 about 9 years ago - 1 comment

#82 - Makefile does not install clightgen

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

#82 - Makefile does not install clightgen

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

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

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

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

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

#80 - -g no longer works on OpenBSD

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

#79 - Config option

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

#79 - Config option

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

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

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

#77 - Should be possible to install without menhir

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

#77 - Should be possible to install without menhir

Issue - State: closed - Opened by andrew-appel about 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 about 9 years ago

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

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

#75 - Simple mcpu

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

#75 - Simple mcpu

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

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

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

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

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

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

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

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

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

#72 - Parsing or lexing duplicates return statements.

Issue - State: closed - Opened by atrieu about 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 over 9 years ago - 1 comment

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

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

#68 - Fix in cparser/GNUmakefile.

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

#68 - Fix in cparser/GNUmakefile.

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

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

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

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

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

#66 - Loop unrolling

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

#66 - Loop unrolling

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

#65 - Refactor Target depending options

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

#65 - Refactor Target depending options

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

#64 - CompCert manual versioning and availability

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

#64 - CompCert manual versioning and availability

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

#63 - Clarification about va_arg with composite types

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

#63 - Clarification about va_arg with composite types

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

#62 - Fixed some comments.

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

#62 - Fixed some comments.

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

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

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