aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* reinstate TARGET_CCDavid Monniaux2020-07-281-1/+1
* rm mods for running testsDavid Monniaux2020-07-281-2/+2
* kvx-work now has CI automaticallyDavid Monniaux2020-07-281-11/+11
* do not use all-loads-nontrapDavid Monniaux2020-07-281-1/+1
* let's try directly OCaml 4.09.1David Monniaux2020-07-281-22/+11
* try to get gitlab-CI to use Coq 8.11.2 not 8.12David Monniaux2020-07-281-2/+1
* fix Coq to 8.11.2 for CIDavid Monniaux2020-07-281-1/+1
* AUXRDavid Monniaux2020-07-281-3/+4
* use the assembler from the same toolchainDavid Monniaux2020-07-221-1/+1
* 8.11.2David Monniaux2020-07-201-1/+1
* kvx-cos-gccDavid Monniaux2020-07-082-4/+4
* fix commentSylvain Boulmé2020-06-211-1/+1
* Compiler.v in .gitignoreSylvain Boulmé2020-06-211-0/+1
* rename result fileDavid Monniaux2020-05-291-0/+0
* fix markdownSylvain Boulmé2020-05-281-1/+3
* automatic date in the html indexSylvain Boulmé2020-05-283-4/+13
* source url in the docSylvain Boulmé2020-05-272-2/+7
* fix pages ?Sylvain Boulmé2020-05-271-1/+2
* add coq2html for pagesSylvain Boulmé2020-05-272-0/+7
* gitlab-ci.yml: inherit keyword does not work ?Sylvain Boulmé2020-05-271-2/+12
* pages: make documentationSylvain Boulmé2020-05-271-1/+5
* fix pages ?Sylvain Boulmé2020-05-271-0/+1
* basic pages configurationSylvain Boulmé2020-05-271-0/+9
* Merge remote-tracking branch 'certicompil/master' into kvx-workSylvain Boulmé2020-05-272-0/+26
|\
| * readmeDavid Monniaux2020-05-272-2/+17
| * opam updateDavid Monniaux2020-05-271-0/+11
* | link to the HAL preprintSylvain Boulmé2020-05-271-2/+6
* | replace k1 -> kvxSylvain Boulmé2020-05-272-3/+3
|/
* install extra packagesDavid Monniaux2020-05-271-2/+2
* download/untar from KalrayDavid Monniaux2020-05-272-2/+3
* strict key checking offDavid Monniaux2020-05-271-1/+1
* CI for KVXDavid Monniaux2020-05-272-2/+17
* tests for kvxDavid Monniaux2020-05-26160-0/+0
* k1c -> kvx changesDavid Monniaux2020-05-26203-1057/+1057
* backport to coq 8.10.2Sylvain Boulmé2020-05-112-4/+9
* fix index-mppa_k1c.htmlSylvain Boulmé2020-05-111-1/+1
* updating the html index for mppa-k1cSylvain Boulmé2020-05-101-45/+27
* -fcse3-glbDavid Monniaux2020-05-066-14/+36
* CSE3 across mergesDavid Monniaux2020-05-065-11/+33
* make Aarch64 muladd depend on the optionDavid Monniaux2020-05-062-4/+10
* README KalrayCyril SIX2020-05-041-0/+32
* Adding copyrightsCyril SIX2020-05-04108-460/+1392
* Update on testsuite and INSTALL.mdCyril SIX2020-05-043-9/+16
* add a renumber phaseDavid Monniaux2020-04-301-0/+1
* run a separate CSE3 for LICMDavid Monniaux2020-04-241-1/+3
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-04-23139-589/+9973
|\
| * Merge remote-tracking branch 'origin/mppa-features' into mppa-workDavid Monniaux2020-04-23139-589/+9973
| |\
| | * sync with licmDavid Monniaux2020-04-231-1/+1
| | * Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-237-35/+119
| | |\
| | | * CSE3 across callsDavid Monniaux2020-04-236-13/+44
generated by cgit (git 2.34.1) at 2024-07-12 03:15:15 +0000