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
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
Update Changelog in preparation for release 3.5
Xavier Leroy
2019-02-25
1
-0
/
+35
|
*
Maximum supported Menhir version (#275)
Jacques-Henri Jourdan
2019-02-25
1
-2
/
+3
|
*
Revised attachment of name attributes to structs, unions, enums
Xavier Leroy
2019-02-25
3
-6
/
+29
|
*
Reject object-related and struct-related attributes on typedefs
Xavier Leroy
2019-02-25
4
-8
/
+19
|
*
Add regression test for "aligned" attribute
Xavier Leroy
2019-02-25
3
-1
/
+120
|
*
Distinguish object-related and name-related attributes
Xavier Leroy
2019-02-25
4
-13
/
+24
|
*
Do not expand type names when floating attributes "up" a declaration
Xavier Leroy
2019-02-25
3
-2
/
+24
|
*
Ignore and clean file .lia.cache
Xavier Leroy
2019-02-12
2
-1
/
+4
|
*
Make the checker happy (#272)
Vincent Laporte
2019-02-12
3
-19
/
+17
|
*
Add support for Coq 8.9.0
Xavier Leroy
2019-02-04
1
-3
/
+3
|
*
<stddef.h>: define NULL with type void *
Xavier Leroy
2019-02-04
1
-1
/
+1
|
*
Test for NULL in variable argument lists
Xavier Leroy
2019-02-04
2
-1
/
+53
|
*
<stdbool.h>: add missing macro __bool_true_false_are_defined
Xavier Leroy
2019-02-04
1
-0
/
+1
|
*
Fix some URLs in the first page of the Coq HTML documentation (#263)
Andre
2019-01-22
1
-5
/
+5
|
*
Use `Program Instance` instead of `Instance` + refine mode (#261)
Maxime Dénès
2018-12-27
2
-64
/
+86
|
*
x86: wrong modeling of ZF flag for FP comparisons
Xavier Leroy
2018-12-20
2
-130
/
+66
|
*
Add functions "ordered" and "compare" to Float and Float32
Xavier Leroy
2018-12-20
1
-9
/
+20
|
*
Fix fixme in PackedStructs.
Bernhard Schommer
2018-11-20
1
-4
/
+4
|
*
Fix typo in asmexpand. Bug 24953
Bernhard Schommer
2018-11-07
1
-1
/
+1
|
*
Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776
Michael Schmidt
2018-10-20
2
-5
/
+10
|
*
Catch exception from elab_attr_arg.
Bernhard Schommer
2018-10-18
1
-1
/
+4
|
*
Switch conditions for eref plattforms.
Bernhard Schommer
2018-09-19
1
-4
/
+4
|
*
Support __builtin_isel64 for non-EREF PPC64 platforms (#141)
Xavier Leroy
2018-09-18
1
-22
/
+28
|
*
Add builtin isel (conditional move) for int64, uint64 and _Bool (#140)
Bernhard Schommer
2018-09-18
2
-1
/
+16
|
*
Bug 24518
Bernhard Schommer
2018-09-17
0
-0
/
+0
*
|
Enlevé la dépendance mémoire de Pcbu
Cyril SIX
2019-03-13
3
-25
/
+25
*
|
for scip
David Monniaux
2019-03-13
1
-0
/
+11
*
|
for using CPlex
David Monniaux
2019-03-13
2
-5
/
+19
*
|
scripts for using Gurobi and Cplex for ILP solving
David Monniaux
2019-03-13
2
-2
/
+2
*
|
attempt at parser for cplex
David Monniaux
2019-03-13
1
-0
/
+7
*
|
-fpostpass-ilp
David Monniaux
2019-03-12
5
-16
/
+3
*
|
script for using Gurobi with -fpostpass-ilp
David Monniaux
2019-03-12
1
-0
/
+3
*
|
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...
David Monniaux
2019-03-12
5
-110
/
+141
|
\
\
|
*
|
Added cascaded_scheduler but the flag does not work
Cyril SIX
2019-03-12
2
-3
/
+4
|
*
|
Added a flag for changing the scheduler (not any choice available right now)
Cyril SIX
2019-03-12
5
-3
/
+12
|
*
|
Proof of exec_trans_pcincr solved
Cyril SIX
2019-03-12
1
-7
/
+31
|
*
|
Merge remote-tracking branch 'origin/mppa_parcheck' into mppa_parcheck
Cyril SIX
2019-03-12
1
-12
/
+12
|
|
\
\
|
|
*
|
fix trans_pcincr for parcheck. (Proof is broken. cf FIXME)
Sylvain Boulmé
2019-03-12
1
-12
/
+12
|
*
|
|
Simplification des preuves "de discrimination" dans Asmblockdeps
Cyril SIX
2019-03-12
1
-94
/
+77
|
|
/
/
|
*
|
[BROKEN] Added parallelizability check - breaks all the conditional jumps
Cyril SIX
2019-03-12
2
-1
/
+19
*
|
|
-fpostpass-ilp
David Monniaux
2019-03-12
3
-2
/
+7
*
|
|
better tracing for ILP + make clean
David Monniaux
2019-03-12
3
-3
/
+12
*
|
|
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...
David Monniaux
2019-03-12
1
-5
/
+10
|
\
|
|
|
*
|
Fix for frame pointer being destroyed
Cyril SIX
2019-03-12
1
-5
/
+10
*
|
|
forgot a free()
David Monniaux
2019-03-12
1
-0
/
+1
*
|
|
simpler Makefiles
David Monniaux
2019-03-12
1
-0
/
+12
|
/
/
*
|
et hop un Makefile pour les matrices complexes
David Monniaux
2019-03-12
2
-0
/
+12
*
|
some more optimized complex matrix
David Monniaux
2019-03-12
1
-12
/
+9
*
|
easier for clocking directly from ccomp files
David Monniaux
2019-03-12
2
-0
/
+5
*
|
some more work on complex matrices
David Monniaux
2019-03-12
1
-8
/
+195
[prev]
[next]