f5d6085d6f862146b7ede7034e496830a4e80c45 to 0cd0a2facba633806943dc3785bd303730cf8c34 · Testos / tindger

Commits on Source 11

remove unneeded llvm dependency from model::instruction · 1028c48c
Tomáš Sušovský authored May 22, 2019

1028c48c
remove dead code about data layout · 534a5686
Tomáš Sušovský authored May 22, 2019

534a5686
remove todos · a01f2123
Tomáš Sušovský authored May 22, 2019

a01f2123
remove unused model::BasicBlock class · 3fad1c8d
Tomáš Sušovský authored May 22, 2019

3fad1c8d
bump comment header · ada36117
Tomáš Sušovský authored May 22, 2019

ada36117
bump headers · 02fdd5ef
Tomáš Sušovský authored May 22, 2019

02fdd5ef
bump comments · e3170b61
Tomáš Sušovský authored May 22, 2019

e3170b61
move SMT module classes to tindger namespace · 37183e33
Tomáš Sušovský authored May 22, 2019

37183e33
add headers to SMT module classes · ef7ec0fc
Tomáš Sušovský authored May 22, 2019

ef7ec0fc
bump readme for model module · 786b3de3
Tomáš Sušovský authored May 22, 2019

786b3de3
bump version to 1.0.0 release · 0cd0a2fa
Tomáš Sušovský authored May 22, 2019

0cd0a2fa