aboutsummaryrefslogtreecommitdiffstats
path: root/configure
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx_fp_divisionDavid Monniaux2022-02-121-0/+1
|\
| * unsigned long -> float without function callsDavid Monniaux2022-02-121-0/+1
* | Merge ../kvx-work into kvx_fp_divisionDavid Monniaux2022-02-031-2/+2
|\|
| * Merge remote-tracking branch 'absint/master' into merge_absintDavid Monniaux2022-02-021-2/+2
| |\
| | * Support Coq 8.15.0Xavier Leroy2022-01-311-2/+2
* | | add FPDivision64David Monniaux2022-01-101-1/+1
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx_fp_divisionDavid Monniaux2022-01-071-0/+1
|\| |
| * | ccomp profilingLéo Gourdin2022-01-051-0/+1
* | | fix configure for kvxDavid Monniaux2021-12-211-1/+2
|/ /
* | Merge remote-tracking branch 'absint/master' into towards_3.10David Monniaux2021-12-011-1/+1
|\|
| * Support Coq 8.14.1Xavier Leroy2021-11-261-2/+2
* | Coq 8.14.1 is allowed.David Monniaux2021-12-011-1/+1
* | Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-7/+7
|\|
| * Explicitly remove __SIZEOF_INT128__ macro definition. (#419)roconnor-blockstream2021-10-161-4/+4
| * Add Coq 8.14.0 to the supported versions of CoqXavier Leroy2021-10-031-3/+3
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-271-2/+2
|\|
| * Refactor clightgenXavier Leroy2021-09-221-2/+2
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
| * MacOS: add a #define __DARWIN_OS_INLINEXavier Leroy2021-04-271-2/+2
| * Support Coq 8.13.2Xavier Leroy2021-04-271-2/+2
| * Bump minimal Coq version to 8.9.0Xavier Leroy2021-04-191-2/+2
* | Merge branch 'kvx-work' into BTLLéo Gourdin2021-06-101-110/+94
|\ \
| * | Remove install path bricolage for kvxv3.9_kvxCyril SIX2021-06-011-2/+0
| * | Add target ELFCyril SIX2021-06-011-2/+3
| * | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-2/+3
| |\ \
| * | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-8/+9
| * | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-102/+86
| |\ \ \ | | | |/ | | |/|
| | * | Coq 8.13.1 is supportedXavier Leroy2021-03-091-2/+2
| | * | "macosx" is now called "macos"Xavier Leroy2021-01-181-8/+8
| | * | macOS: turn #warning offXavier Leroy2021-01-181-2/+2
| | * | Coq 8.13.0 is supportedXavier Leroy2021-01-141-3/+3
| | * | configure: simplify the final printing of the configurationXavier Leroy2020-12-281-9/+8
| | * | configure: add -mandir option (#382)Daniel Dickman2020-12-281-1/+7
| | * | AArch64: macOS portXavier Leroy2020-12-261-0/+13
| | * | configure: use `$make` instead of `make`Xavier Leroy2020-12-251-1/+1
| | * | configure script revised and simplifiedXavier Leroy2020-12-241-83/+43
| | * | configure: support Coq 8.12.2Xavier Leroy2020-12-241-2/+2
| | * | Configure the correct archiver to build runtime/libcompcert.aXavier Leroy2020-12-241-1/+7
* | | | Merge branch 'kvx-work' into BTLLéo Gourdin2021-05-191-2/+2
|\ \ \ \ | | |_|/ | |/| |
| * | | Increasing required OCaml version (Pervasives <-> Stdlib module renaming)Cyril SIX2021-05-041-2/+2
* | | | start the new "BTL" IR.Sylvain Boulmé2021-04-281-1/+1
|/ / /
* / / Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-131-0/+1
|/ /
* | begin implementing selectDavid Monniaux2021-02-021-0/+1
* | fix Makefile / configureDavid Monniaux2021-02-011-0/+6
* | directory postpass_libSylvain Boulmé2021-01-071-3/+3
* | recreate abstractbb/Sylvain Boulmé2021-01-071-2/+2
* | cleaningSylvain Boulmé2021-01-071-1/+1
* | Merge remote-tracking branch 'origin/aarch64-asmblockgenproof' into aarch64-p...Léo Gourdin2020-12-201-2/+2
|\ \
| * | intermediatet commit before builtinsLéo Gourdin2020-12-161-1/+1
| * | Removing the PseudoAsm IRLéo Gourdin2020-12-131-2/+2
generated by cgit (git 2.34.1) at 2024-04-27 11:08:07 +0000