aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.extr
Commit message (Expand)AuthorAgeFilesLines
* ccomp profilingLéo Gourdin2022-01-051-2/+41
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-271-2/+2
|\
| * Add support to clightgen for generating Csyntax AST as .v filesXavier Leroy2021-09-221-1/+1
| * Refactor clightgenXavier Leroy2021-09-221-2/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-3/+1
|\|
| * Handle the new warnings of OCaml 4.13Xavier Leroy2021-09-131-1/+1
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
* | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-1/+1
|\ \
| * | for OCaml 4.13David Monniaux2021-04-301-1/+1
* | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
|/ /
* | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-171-3/+26
|\ \
| * \ Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-2/+7
| |\ \
| * | | Fixing compilation for KVXCyril SIX2020-12-041-1/+1
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-3/+26
| |\ \ \ | | | |/ | | |/|
| | * | Do not use -warn-error when building from a release tarballXavier Leroy2020-11-141-2/+9
| | * | Bytecode-only build (#243)Xavier Leroy2020-07-071-1/+15
* | | | Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy...David Monniaux2020-11-271-2/+6
|\ \ \ \ | |/ / / |/| | / | | |/ | |/|
| * | ccomp.force target for forcing compilation without Coq processingDavid Monniaux2020-10-011-0/+4
| * | just missing OpWeights for AARCH64David Monniaux2020-09-161-1/+1
| * | starting to move common filesDavid Monniaux2020-09-161-1/+1
| * | Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-281-2/+2
| |\ \ | |/ / |/| |
| * | Adding stub RTLpathLivegenaux.mlCyril SIX2020-05-251-1/+2
* | | k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
|/ /
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-081-4/+3
|\|
| * Compatibility with OCaml 4.10 (#214)Xavier Leroy2020-02-061-2/+2
| * Revised menhirLib autoconfiguration (#331)Xavier Leroy2020-02-051-1/+1
* | various fixesDavid Monniaux2019-07-191-1/+1
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-3/+4
|\|
| * New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-051-2/+2
* | compilation of ImpIOOraclesSylvain Boulmé2019-03-051-1/+1
* | Adding Mem as a possible location for accessesCyril SIX2019-01-111-1/+1
* | quick and dirty Makefile fixesSylvain Boulmé2019-01-111-2/+2
* | Removed warning 42 from OCamlCyril SIX2019-01-081-1/+1
|/
* Removed CMinor import. Bug 20992Bernhard Schommer2017-02-141-7/+3
* Add LINK_OPT and document it.Bernhard Schommer2017-02-011-2/+15
* Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-201-1/+2
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-211-3/+1
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-1/+1
* Split dependency generation.Bernhard Schommer2016-05-131-1/+2
* Compatibility with newer ocaml versions. Bug 18313.Bernhard Schommer2016-03-311-1/+5
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-1/+1
* Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-101-3/+3
* Added warning for strict-sequences.Bernhard Schommer2016-01-211-1/+1
* Removed the last remains of cchecklink.Bernhard Schommer2016-01-211-2/+0
* Ignore *.cmt(i) files and allow global COMPFLAGS.Bernhard Schommer2015-12-071-4/+2
* Tentative fix for issue #70 (menhirLib recompilation problems)Xavier Leroy2015-11-131-2/+2
* Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-231-53/+3
|\
| * Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-cleanBernhard Schommer2015-10-201-6/+9
| |\
| * | Removal of cchecklink, superseded by AbsInt's Valex tool.Xavier Leroy2015-10-121-53/+3
* | | Added a few cleanup commands in [make clean].François Pottier2015-10-231-1/+2
generated by cgit (git 2.34.1) at 2024-04-27 09:03:32 +0000