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
*
Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div
David Monniaux
2019-05-29
10
-347
/
+15
|
\
|
*
adaptation pour k1c-cos
David Monniaux
2019-05-28
11
-348
/
+16
*
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
David Monniaux
2019-05-29
3
-38
/
+43
|
\
\
|
*
|
Added rm clock.o and stuff
Cyril SIX
2019-05-28
1
-0
/
+1
|
*
|
use /usr/bin/env bash
David Monniaux
2019-05-28
1
-1
/
+1
|
|
/
|
*
Better graphs
Cyril SIX
2019-05-21
1
-37
/
+41
*
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
David Monniaux
2019-05-21
2
-15
/
+17
|
\
|
|
*
Added type annotations to gengraphs.py
Cyril SIX
2019-05-21
1
-7
/
+8
|
*
Added types annotations to genmake.py
Cyril SIX
2019-05-21
1
-8
/
+9
*
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
David Monniaux
2019-05-20
24
-23
/
+133
|
\
|
|
*
Premier jet de graphes de mesures (à améliorer)
Cyril SIX
2019-05-17
4
-4
/
+97
|
*
Measures to CSV done
Cyril SIX
2019-05-17
11
-4
/
+11
|
*
Adding more measures
Cyril SIX
2019-05-17
12
-16
/
+26
*
|
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
David Monniaux
2019-05-16
1
-5
/
+18
|
\
|
|
*
simpler code, works in 32 bits
David Monniaux
2019-05-16
1
-5
/
+18
*
|
sdiv seems to work, udiv/umod/smod BOGUS
David Monniaux
2019-05-16
1
-18
/
+0
|
/
*
remet les trucs dans les bons répertoires
David Monniaux
2019-05-15
24
-0
/
+0
*
truly inline function as macro to trigger better instruction selection
David Monniaux
2019-05-15
1
-1
/
+6
*
compiled with Lustre v4
David Monniaux
2019-05-15
4
-0
/
+512
*
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...
David Monniaux
2019-05-15
7
-6
/
+21
|
\
|
*
Measures for bitslices-aes, bitsliced-tea and complex_mat
Cyril SIX
2019-05-15
7
-6
/
+21
*
|
renaming
David Monniaux
2019-05-15
24
-0
/
+0
|
/
*
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...
David Monniaux
2019-05-15
6
-4
/
+47
|
\
|
*
CSV file generation for benches (only binary_search for now)
Cyril SIX
2019-05-15
6
-4
/
+47
*
|
attempt at inlining; not many cycles removed
David Monniaux
2019-05-15
1
-9
/
+11
|
/
*
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...
David Monniaux
2019-05-15
4
-32
/
+17
|
\
|
*
Added back bitslices-aes
Cyril SIX
2019-05-15
4
-32
/
+17
*
|
Heater example from Lustre v4
David Monniaux
2019-05-15
2
-4
/
+18
*
|
Lustre v4 example
David Monniaux
2019-05-15
8
-1
/
+568
*
|
example from Lustre v4 compiled with ONERA's lustrec compiler
David Monniaux
2019-05-15
5
-0
/
+679
|
/
*
Avancement sur la génération de Makefile des benchmarks
Cyril SIX
2019-05-14
34
-409
/
+84
*
sum with modulo
David Monniaux
2019-05-13
1
-0
/
+18
*
32-bit modulo now uses sign extend then call to the 64-bit function
David Monniaux
2019-05-13
1
-1
/
+1
*
clock the time in heptagon
David Monniaux
2019-05-13
1
-0
/
+8
*
new example + moved random number generator to common files
David Monniaux
2019-05-13
16
-24
/
+1185
*
DM manual inlining
David Monniaux
2019-05-09
1
-22
/
+25
*
with -en (expand main node)
David Monniaux
2019-05-09
6
-0
/
+3569
*
Lustre "convertible" compilé avec -2cgc
David Monniaux
2019-05-09
6
-0
/
+1452
*
carlightV2 example from Lustre V6
David Monniaux
2019-05-08
4
-89
/
+111
*
carlight
David Monniaux
2019-05-08
3
-0
/
+467
*
added clock
David Monniaux
2019-05-08
1
-1
/
+9
*
removed print statements
David Monniaux
2019-05-08
1
-81
/
+18
*
from Lustre v6 examples
David Monniaux
2019-05-08
6
-0
/
+1745
*
load code into I-cache
David Monniaux
2019-05-04
1
-0
/
+3
*
store o
David Monniaux
2019-05-04
2
-3
/
+3
*
[#120] - Makefile generator + replaced binary_search/Makefile : it works
Cyril SIX
2019-05-03
4
-30
/
+81
*
Merge branch 'mppa-work' into mppa_k1c
Cyril SIX
2019-05-03
4
-1
/
+57
|
\
|
*
example of spill peephole
David Monniaux
2019-05-02
1
-0
/
+21
|
*
forgot Chunks.v
David Monniaux
2019-05-02
1
-1
/
+1
|
*
Srsd / Srsw
David Monniaux
2019-04-29
1
-0
/
+10
[next]