aboutsummaryrefslogtreecommitdiffstats
path: root/configure
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | fix extraction of non-aarch64 targetsSylvain Boulmé2020-12-171-0/+1
* | | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-171-75/+80
|\ \ \ | |/ / |/| |
| * | upgrade kvx backend to coq.8.12.2Sylvain Boulmé2020-12-161-1/+1
| * | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-3/+2
| |\ \
| * \ \ Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-73/+80
| |\ \ \ | | | |/ | | |/|
| | * | Support Coq 8.12.1Xavier Leroy2020-11-141-2/+2
| | * | Support Cygwin 64 bitsXavier Leroy2020-10-051-0/+13
| | * | Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-211-42/+44
| | * | Remove support for x86-32 under macOSXavier Leroy2020-07-291-24/+0
| | * | Revised detection of menhirLib directory, continued (#365)Xavier Leroy2020-07-151-4/+4
| | * | Bytecode-only build (#243)Xavier Leroy2020-07-071-3/+14
| | * | Revised detection of menhirLib directory (#248)Xavier Leroy2020-07-071-2/+6
| | * | Preliminary support for Coq 8.12Xavier Leroy2020-06-211-3/+3
| | * | Compatibility with coq 8.11.2Bernhard Schommer2020-06-081-1/+1
| | * | Support for coq 8.11.1.Bernhard Schommer2020-04-201-2/+2
* | | | Ocaml peephole oracle and array datastruct instead of listsLéo Gourdin2020-12-081-1/+1
* | | | a first working draft on ldp/stp peepholeLéo Gourdin2020-12-041-1/+1
* | | | Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy...David Monniaux2020-11-271-8/+6
|\ \ \ \ | | |_|/ | |/| |
| * | | fixing the move of the verified prepass scheduler into scheduling/ directorySylvain Boulmé2020-10-171-3/+1
| * | | Merge remote-tracking branch 'origin/kvx-test-prepass' into mppa-RTLpathSE-verifCyril SIX2020-10-161-2/+4
| |\ \ \
| | * | | just missing OpWeights for AARCH64David Monniaux2020-09-161-0/+1
generated by cgit (git 2.34.1) at 2024-06-02 20:51:14 +0000