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
/
mppa_k1c
/
abstractbb
/
Impure
Commit message (
Expand
)
Author
Age
Files
Lines
*
fixing a potential inconsistency from unsafe_coerce
Sylvain Boulmé
2019-11-14
1
-5
/
+5
*
compatibility with OCaml 4.08
David Monniaux
2019-09-03
1
-1
/
+1
*
abstract_bb: few improvements while writing the paper
Sylvain Boulmé
2019-06-08
4
-17
/
+17
*
extending bblock_simu_test with rewriting
Sylvain Boulmé
2019-05-26
6
-68
/
+139
*
abstractbb: support of removing useless computations
Sylvain Boulmé
2019-05-14
5
-5
/
+146
*
generalize bblock_equiv into bblock_simu (abstract_bb)
Sylvain Boulmé
2019-05-07
1
-12
/
+3
*
update from Impure Library
Sylvain Boulmé
2019-04-11
1
-20
/
+22
*
moving iandb from ImpCore to ImpPrelude
Sylvain Boulmé
2019-04-08
2
-23
/
+18
*
Impure: improved iandb + struct_eq
Sylvain Boulmé
2019-04-01
2
-3
/
+11
*
Fix for CompCert 3.5
Cyril SIX
2019-03-13
1
-0
/
+1
*
quick fix of equalities issues
Sylvain Boulmé
2019-03-05
1
-0
/
+4
*
fix extraction of ImpConfig
Sylvain Boulmé
2019-03-05
1
-2
/
+5
*
compilation of ImpIOOracles
Sylvain Boulmé
2019-03-05
2
-4
/
+8
*
(Unsafe) coercion of ??bool into bool
Sylvain Boulmé
2019-03-02
1
-2
/
+2
*
Added AbstractBasicBlock files to the Coq build process
Cyril SIX
2019-02-13
16
-0
/
+1431