Automatic verification of LLVM optimizations - AliveToolkit

GitHub GitHub
Size 22.1M (20.9M (+1.2M))
Commits 2244 (-1 (+2245))
Update Stats 0s ... 43s (31s * 10)
Last Change 2020-08-09 04:13:59
Last Check 2020-08-09 04:11:01
Created 2020-06-14 22:35:33
Remotes
1. https://github.com/AliveToolkit/alive2/
Forks
1. https://github.com/AbigailBuccaneer/alive2
2. https://github.com/aqjune/alive2
3. https://github.com/arsenm/alive2
4. https://github.com/Dongjoo-Kim/alive2
5. https://github.com/Ewenwan/alive2
6. https://github.com/kevindevos/alive2
7. https://github.com/kuhar/alive2
8. https://github.com/LebedevRI/alive2
9. https://github.com/LongJohnCoder/alive2
10. https://github.com/LucianoPAlmeida/alive2
11. https://github.com/manasij7479/alive2
12. https://github.com/pranavk/alive2
13. https://github.com/rcorcs/alive2
14. https://github.com/regehr/alive2
15. https://github.com/sridhargopinath/alive2
16. https://github.com/steleman/alive2
17. https://github.com/sthagen/alive2
18. https://github.com/vivekvpandya/alive2
19. https://github.com/Vsevolod-Livinskij/alive2
20. https://github.com/zeta1999/alive2
21. https://github.com/zhengyangl/alive2

Messages as of last check on 2020-08-09 04:11:01

Operation

arsenm/alive2
sridhargopinath/alive2
zeta1999/alive2
sthagen/alive2
steleman/alive2
Ewenwan/alive2
rcorcs/alive2
kevindevos/alive2
AbigailBuccaneer/alive2
LucianoPAlmeida/alive2
LongJohnCoder/alive2
kuhar/alive2
aqjune/alive2
Dongjoo-Kim/alive2
Vsevolod-Livinskij/alive2
vivekvpandya/alive2
pranavk/alive2
LebedevRI/alive2
zhengyangl/alive2
manasij7479/alive2
regehr/alive2
m-vcs-git-https%3a%2f%2fgithub.com%2fAliveToolkit%2falive2%2f   https://github.com/AliveToolkit/alive2/ (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fAliveToolkit%2falive2%2f   https://github.com/AliveToolkit/alive2/ (push)
m-vcs-github-fork-AbigailBuccaneer  https://github.com/AbigailBuccaneer/alive2 (fetch)
m-vcs-github-fork-AbigailBuccaneer  https://github.com/AbigailBuccaneer/alive2 (push)
m-vcs-github-fork-Dongjoo-Kim   https://github.com/Dongjoo-Kim/alive2 (fetch)
m-vcs-github-fork-Dongjoo-Kim   https://github.com/Dongjoo-Kim/alive2 (push)
m-vcs-github-fork-Ewenwan   https://github.com/Ewenwan/alive2 (fetch)
m-vcs-github-fork-Ewenwan   https://github.com/Ewenwan/alive2 (push)
m-vcs-github-fork-LebedevRI https://github.com/LebedevRI/alive2 (fetch)
m-vcs-github-fork-LebedevRI https://github.com/LebedevRI/alive2 (push)
m-vcs-github-fork-LongJohnCoder https://github.com/LongJohnCoder/alive2 (fetch)
m-vcs-github-fork-LongJohnCoder https://github.com/LongJohnCoder/alive2 (push)
m-vcs-github-fork-LucianoPAlmeida   https://github.com/LucianoPAlmeida/alive2 (fetch)
m-vcs-github-fork-LucianoPAlmeida   https://github.com/LucianoPAlmeida/alive2 (push)
m-vcs-github-fork-Vsevolod-Livinskij    https://github.com/Vsevolod-Livinskij/alive2 (fetch)
m-vcs-github-fork-Vsevolod-Livinskij    https://github.com/Vsevolod-Livinskij/alive2 (push)
m-vcs-github-fork-aqjune    https://github.com/aqjune/alive2 (fetch)
m-vcs-github-fork-aqjune    https://github.com/aqjune/alive2 (push)
m-vcs-github-fork-arsenm    https://github.com/arsenm/alive2 (fetch)
m-vcs-github-fork-arsenm    https://github.com/arsenm/alive2 (push)
m-vcs-github-fork-kevindevos    https://github.com/kevindevos/alive2 (fetch)
m-vcs-github-fork-kevindevos    https://github.com/kevindevos/alive2 (push)
m-vcs-github-fork-kuhar https://github.com/kuhar/alive2 (fetch)
m-vcs-github-fork-kuhar https://github.com/kuhar/alive2 (push)
m-vcs-github-fork-manasij7479   https://github.com/manasij7479/alive2 (fetch)
m-vcs-github-fork-manasij7479   https://github.com/manasij7479/alive2 (push)
m-vcs-github-fork-pranavk   https://github.com/pranavk/alive2 (fetch)
m-vcs-github-fork-pranavk   https://github.com/pranavk/alive2 (push)
m-vcs-github-fork-rcorcs    https://github.com/rcorcs/alive2 (fetch)
m-vcs-github-fork-rcorcs    https://github.com/rcorcs/alive2 (push)
m-vcs-github-fork-regehr    https://github.com/regehr/alive2 (fetch)
m-vcs-github-fork-regehr    https://github.com/regehr/alive2 (push)
m-vcs-github-fork-sridhargopinath   https://github.com/sridhargopinath/alive2 (fetch)
m-vcs-github-fork-sridhargopinath   https://github.com/sridhargopinath/alive2 (push)
m-vcs-github-fork-steleman  https://github.com/steleman/alive2 (fetch)
m-vcs-github-fork-steleman  https://github.com/steleman/alive2 (push)
m-vcs-github-fork-sthagen   https://github.com/sthagen/alive2 (fetch)
m-vcs-github-fork-sthagen   https://github.com/sthagen/alive2 (push)
m-vcs-github-fork-vivekvpandya  https://github.com/vivekvpandya/alive2 (fetch)
m-vcs-github-fork-vivekvpandya  https://github.com/vivekvpandya/alive2 (push)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/alive2 (fetch)
m-vcs-github-fork-zeta1999  https://github.com/zeta1999/alive2 (push)
m-vcs-github-fork-zhengyangl    https://github.com/zhengyangl/alive2 (fetch)
m-vcs-github-fork-zhengyangl    https://github.com/zhengyangl/alive2 (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fAliveToolkit%2falive2%2f
m-vcs-github-fork-AbigailBuccaneer
m-vcs-github-fork-Dongjoo-Kim
m-vcs-github-fork-Ewenwan
m-vcs-github-fork-LebedevRI
m-vcs-github-fork-LongJohnCoder
m-vcs-github-fork-LucianoPAlmeida
m-vcs-github-fork-Vsevolod-Livinskij
m-vcs-github-fork-aqjune
m-vcs-github-fork-arsenm
m-vcs-github-fork-kevindevos
m-vcs-github-fork-kuhar
m-vcs-github-fork-manasij7479
m-vcs-github-fork-pranavk
m-vcs-github-fork-rcorcs
m-vcs-github-fork-regehr
m-vcs-github-fork-sridhargopinath
m-vcs-github-fork-steleman
m-vcs-github-fork-sthagen
m-vcs-github-fork-vivekvpandya
m-vcs-github-fork-zeta1999
m-vcs-github-fork-zhengyangl
2200
Fetching m-vcs-github-fork-Dongjoo-Kim
Fetching m-vcs-github-fork-kevindevos
Fetching m-vcs-github-fork-manasij7479
Fetching m-vcs-github-fork-vivekvpandya
Fetching m-vcs-github-fork-AbigailBuccaneer
Fetching m-vcs-github-fork-sthagen
Fetching m-vcs-github-fork-LebedevRI
Fetching m-vcs-github-fork-pranavk
Fetching m-vcs-github-fork-aqjune
Fetching m-vcs-github-fork-rcorcs
Fetching m-vcs-github-fork-regehr
Fetching m-vcs-github-fork-Ewenwan
Fetching m-vcs-github-fork-sridhargopinath
Fetching m-vcs-github-fork-zhengyangl
Fetching m-vcs-github-fork-LucianoPAlmeida
Fetching m-vcs-github-fork-zeta1999
Fetching m-vcs-github-fork-steleman
Fetching m-vcs-github-fork-Vsevolod-Livinskij
Fetching m-vcs-github-fork-kuhar
Fetching m-vcs-github-fork-LongJohnCoder
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fAliveToolkit%2falive2%2f
Fetching m-vcs-github-fork-arsenm

From https://github.com/kevindevos/alive2
   86ced0c..ff10a74  loop_tree  -> m-vcs-github-fork-kevindevos/loop_tree
 + fc4ef54...b11feb6 reducible_loop_unroll -> m-vcs-github-fork-kevindevos/reducible_loop_unroll  (forced update)
 * [new branch]      reducible_loop_unroll_edge_revamp_and_updated_conditions -> m-vcs-github-fork-kevindevos/reducible_loop_unroll_edge_revamp_and_updated_conditions
 * [new branch]      reducible_loop_unroll_topsort -> m-vcs-github-fork-kevindevos/reducible_loop_unroll_topsort
 * [new branch]      reducible_loop_unroll_updated_all_instr_vals_scratched -> m-vcs-github-fork-kevindevos/reducible_loop_unroll_updated_all_instr_vals_scratched
 * [new branch]      reducible_loop_unroll_updated_cond -> m-vcs-github-fork-kevindevos/reducible_loop_unroll_updated_cond
From https://github.com/LebedevRI/alive2
   a631dec..3afa89d  master     -> m-vcs-github-fork-LebedevRI/master
From https://github.com/aqjune/alive2
   7706ee4..68eff30  experiment-after-popl -> m-vcs-github-fork-aqjune/experiment-after-popl
 * [new branch]      noundef       -> m-vcs-github-fork-aqjune/noundef
 * [new branch]      noundef-parse -> m-vcs-github-fork-aqjune/noundef-parse
From https://github.com/AliveToolkit/alive2
   03f1542..5e94075  master     -> m-vcs-git-https%3a%2f%2fgithub.com%2fAliveToolkit%2falive2%2f/master
2244

Contact information

Mail to Andreas Kupries