index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Allocproof link
Léo Gourdin
2021-12-08
1
-1
/
+1
*
LICENSE
Léo Gourdin
2021-12-08
1
-1
/
+1
*
doc
Léo Gourdin
2021-12-07
1
-37
/
+226
*
improvement in html doc (not finished yet)
Léo Gourdin
2021-12-06
1
-22
/
+145
*
[Cherry picking] 01ade46b340267d8782c413f6bd5a3cff13ef0a6
Léo Gourdin
2021-12-06
1
-0
/
+395
*
Merge remote-tracking branch 'absint/master' into towards_3.10
David Monniaux
2021-12-01
2
-7
/
+2
|
\
|
*
mention AArch64 in man-page
Michael Schmidt
2021-11-17
1
-1
/
+1
|
*
Remove documentation of bitfield language support option.
Michael Schmidt
2021-11-17
1
-5
/
+0
|
*
First update for release 3.10
Xavier Leroy
2021-11-16
1
-1
/
+1
|
*
Update for release 3.9
Xavier Leroy
2021-05-09
1
-4
/
+5
*
|
Change "Tunneling" to "LTLTunneling" everywhere
Pierre Goutagny
2021-06-17
2
-6
/
+6
*
|
Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1
Cyril SIX
2021-06-01
1
-1
/
+1
|
\
\
|
*
|
fix broken link in index-kvx.html
Sylvain Boulmé
2021-04-16
1
-1
/
+1
*
|
|
[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...
Cyril SIX
2021-06-01
1
-4
/
+5
|
/
/
*
|
update index-kvx.html
Sylvain Boulmé
2021-01-07
1
-8
/
+8
*
|
add profiling entry-points in the htmldoc.
Sylvain Boulmé
2020-12-17
1
-2
/
+20
*
|
add superblock-scheduling passes in the coqhtml
Sylvain Boulmé
2020-12-16
1
-25
/
+62
*
|
update the doc for CompCert 3.8
Sylvain Boulmé
2020-12-16
1
-6
/
+12
*
|
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
David Monniaux
2020-11-18
1
-4
/
+6
|
\
|
|
*
Updates for release 3.8
v3.8
Xavier Leroy
2020-11-16
1
-4
/
+6
*
|
link on Cyril's short video
Sylvain Boulmé
2020-10-19
1
-2
/
+2
*
|
update the title of our paper
Sylvain Boulmé
2020-10-07
1
-2
/
+2
*
|
links to the impure library on github
Sylvain Boulmé
2020-07-31
1
-1
/
+1
*
|
Improving Coqdoc on abstractbb
Sylvain Boulmé
2020-07-31
1
-1
/
+1
*
|
Improving the coqdoc
Sylvain Boulmé
2020-07-29
1
-5
/
+5
*
|
automatic date in the html index
Sylvain Boulmé
2020-05-28
1
-1
/
+1
*
|
source url in the doc
Sylvain Boulmé
2020-05-27
1
-2
/
+4
*
|
link to the HAL preprint
Sylvain Boulmé
2020-05-27
1
-2
/
+6
*
|
k1c -> kvx changes
David Monniaux
2020-05-26
1
-37
/
+37
*
|
fix index-mppa_k1c.html
Sylvain Boulmé
2020-05-11
1
-1
/
+1
*
|
updating the html index for mppa-k1c
Sylvain Boulmé
2020-05-10
1
-45
/
+27
*
|
Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-work
Cyril SIX
2020-04-01
1
-1
/
+3
|
\
|
|
*
Updates for release 3.7
Xavier Leroy
2020-03-31
1
-1
/
+3
*
|
Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...
David Monniaux
2019-09-20
1
-2
/
+3
|
\
|
|
*
Update for release 3.6
v3.6
Xavier Leroy
2019-09-17
1
-2
/
+3
*
|
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...
David Monniaux
2019-09-10
1
-0
/
+380
|
\
\
|
|
/
|
/
|
|
*
a dedicated entry-point to the doc of Coq sources
Sylvain Boulmé
2019-09-03
1
-0
/
+380
*
|
Update man page.
Bernhard Schommer
2019-09-02
1
-1
/
+1
|
/
*
More precise description of '-O0' and 'non-linear-cond-expr'
Michael Schmidt
2019-07-10
1
-1
/
+2
*
Update synonymous list for -O0, add new named warning class
Michael Schmidt
2019-07-05
1
-1
/
+6
*
Update documentation of -Obranchless
Xavier Leroy
2019-07-05
1
-6
/
+8
*
Updated man page.
Bernhard Schommer
2019-06-17
1
-0
/
+10
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
1
-1
/
+1
*
Added options -fcommon and -fno-common (#164)
Bernhard Schommer
2019-05-10
1
-0
/
+6
*
Check for alignment of command-line switches.
Bernhard Schommer
2019-05-10
1
-3
/
+3
*
Update HTML doc for release 3.5
Xavier Leroy
2019-02-27
1
-1
/
+1
*
Fix some URLs in the first page of the Coq HTML documentation (#263)
Andre
2019-01-22
1
-5
/
+5
*
Updates for release 3.4
v3.4
Xavier Leroy
2018-09-17
1
-1
/
+1
*
document new named warning class 'reduced-alignment', bug 23389
Michael Schmidt
2018-09-04
1
-0
/
+4
*
Document new named warning for tentative static definitions with incomplete t...
Michael Schmidt
2018-08-21
1
-0
/
+4
[next]