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
/
test
Commit message (
Expand
)
Author
Age
Files
Lines
*
push afadl test example
Léo Gourdin
2021-06-09
2
-0
/
+21
*
division
David Monniaux
2021-06-07
2
-3
/
+4
*
timing
David Monniaux
2021-06-07
2
-0
/
+117
*
Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1
Cyril SIX
2021-06-01
35
-157
/
+89
|
\
|
*
Compatibilité Coq 8.13
David Monniaux
2021-04-28
2
-0
/
+0
|
*
Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...
Léo Gourdin
2021-04-22
3
-0
/
+15
|
|
\
|
|
*
rm spurious files
David Monniaux
2021-04-12
39
-1705
/
+0
|
|
*
test profiling
David Monniaux
2021-04-12
42
-0
/
+1720
|
*
|
moving my tests
Léo Gourdin
2021-04-22
26
-157
/
+0
|
|
/
|
*
Merge branch 'riscv-work' into kvx-work
Léo Gourdin
2021-04-09
2
-0
/
+13
|
|
\
|
|
*
Removing expansions from Asmgen
Léo Gourdin
2021-04-09
1
-0
/
+6
|
|
*
fp test
Léo Gourdin
2021-03-10
1
-0
/
+7
|
*
|
adding test for load replacement on a64
Léo Gourdin
2021-03-29
4
-0
/
+61
|
|
/
*
|
[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...
Cyril SIX
2021-06-01
3
-1
/
+24
*
|
Updating varargs2 results for kvx
Cyril SIX
2021-06-01
1
-0
/
+1
*
|
Merge branch 'master' into merge_master_8.13.1
Sylvain Boulmé
2021-03-23
12
-420
/
+604
|
\
\
|
|
/
|
/
|
|
*
"macosx" is now called "macos"
Xavier Leroy
2021-01-18
1
-1
/
+1
|
*
Remove regression/interop1 test
Xavier Leroy
2021-01-18
4
-417
/
+1
|
*
Testing calling conventions and interoperability with another C compiler
Xavier Leroy
2021-01-18
5
-1
/
+583
|
*
RISC-V: fix FP calling conventions
Xavier Leroy
2021-01-14
2
-5
/
+5
|
*
RISC-V: wrong fixup code generated for vararg calls with fixed FP args
Xavier Leroy
2021-01-10
2
-0
/
+17
*
|
example of cmov
David Monniaux
2021-02-02
1
-0
/
+28
*
|
cmov on integers
David Monniaux
2021-02-02
1
-0
/
+22
*
|
Conditions now propagated by CSE3
David Monniaux
2021-01-20
1
-0
/
+11
|
\
\
|
*
|
redundant tests
David Monniaux
2020-12-09
1
-0
/
+11
*
|
|
a slightly different matrix product
David Monniaux
2021-01-14
1
-0
/
+24
*
|
|
generate a matrix product with many temporaries
David Monniaux
2021-01-14
1
-0
/
+20
*
|
|
Merge branch 'kvx-work' into aarch64-peephole
Sylvain Boulmé
2021-01-07
1
-0
/
+14
|
\
\
\
|
*
|
|
Removing Yarpgen test 89
Cyril SIX
2021-01-07
1
-0
/
+14
|
|
/
/
*
|
|
Merge branch 'kvx-work' into aarch64-peephole
Sylvain Boulmé
2020-12-17
16
-115
/
+871
|
\
|
|
|
*
|
Fixing test/regression for KVX
v3.8_kvx
Cyril SIX
2020-12-07
2
-0
/
+393
|
*
|
Merge branch 'kvx-work' into kvx-work-merge3.8
Cyril SIX
2020-12-04
11
-13
/
+380
|
|
\
\
|
*
\
\
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
David Monniaux
2020-11-18
15
-115
/
+478
|
|
\
\
\
|
|
|
|
/
|
|
|
/
|
|
|
*
|
Better "make clean"
Xavier Leroy
2020-11-01
1
-1
/
+1
|
|
*
|
Test clightgen with -short-idents and -normalize options
Xavier Leroy
2020-09-22
1
-0
/
+6
|
|
*
|
Support the use of already-installed MenhirLib and Flocq libraries
Xavier Leroy
2020-09-21
1
-2
/
+6
|
|
*
|
Add test for __builtin_sqrt and __builtin_fabsf
Xavier Leroy
2020-07-27
2
-0
/
+7
|
|
*
|
Refactor regression testing of built-in functions
Xavier Leroy
2020-07-27
13
-110
/
+447
|
|
*
|
Improve portability of the test for annotations inclightgen
Xavier Leroy
2020-06-05
2
-0
/
+4
|
|
*
|
clightgen: fix the printing of annotations
Xavier Leroy
2020-06-05
1
-0
/
+6
*
|
|
|
Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy...
David Monniaux
2020-11-27
11
-13
/
+380
|
\
\
\
\
|
|
|
_
|
/
|
|
/
|
|
|
*
|
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-27
2
-0
/
+256
|
|
\
|
|
|
*
|
|
turn on cache emulation
David Monniaux
2020-10-19
1
-9
/
+9
|
*
|
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-18
2
-1
/
+29
|
|
\
\
\
|
*
\
\
\
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-02
6
-17
/
+29
|
|
\
\
\
\
|
*
|
|
|
|
rules.mk for zigzag
David Monniaux
2020-09-24
1
-7
/
+7
|
*
|
|
|
|
Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...
David Monniaux
2020-09-05
4
-9771
/
+45
|
|
\
\
\
\
\
|
*
|
|
|
|
|
-ftracelinearize
David Monniaux
2020-07-30
1
-12
/
+12
|
*
|
|
|
|
|
Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...
David Monniaux
2020-07-30
1
-2
/
+3
|
|
\
\
\
\
\
\
|
*
\
\
\
\
\
\
Merge branch 'mppa-RTLpathSE-verif-hash-junk' of gricad-gitlab.univ-grenoble-...
David Monniaux
2020-07-27
4
-0
/
+188
|
|
\
\
\
\
\
\
\
[next]