summary refs log tree commit diff
path: root/src/tools/miri
blob: 28f2e5b17a9a4c33a810dffda8eaaf55a1b8b70d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
tree c7a92c7bf91fa20ca03dda89ad4292532af14b9d
parent 68711458b6bc28e7a5e4236a4027355476d23a19
parent d2d5f00fcb516b90cc2787b6a0588ae42b295b9f
author Ralf Jung <post@ralfj.de> 1554722083 +0200
committer GitHub <noreply@github.com> 1554722083 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcqy0kCRBK7hj4Ov3rIwAAdHIIAFaPWJHgQMPKDVJtOobwF2IA
 H3PxoiL/PnHftCEByGWyK2vITPRu+W8+5ocniemMbuV9twxXtQ5iaorUKIf+z+Gx
 KtJEKOqrRNKLUGqDHUk5WQqJM/1Ck1em70za0+D6CxFZ/Cyxy7yLRYcg4dp4deHe
 ia6JteFsRNkmDuGZyuY2jjNK+k4FL2Gxi1p/RNNtzsb1kyFoTDt7q5CcyXJXszW4
 +gtaVU4oznS/3x2Ep++uzM68TPPR/Rh0n5eO3/PkeBTlKamrA7Y/UGZZsNk1Nr8H
 29MwDEF78GWOUplpxIaGllp+uAtkYUAIN9hqP4kXOKthuWJzJQPvqwkoIztIcuc=
 =QDmc
 -----END PGP SIGNATURE-----
 

Merge pull request #681 from TimDiekmann/calloc

Add `calloc`