Commits · v1.0.0 · Testos / tindger · GitLab

May 22, 2019
- bump version to 1.0.0 release · 0cd0a2fa
  Tomáš Sušovský authored May 22, 2019
  
  View commits for tag v1.0.0 v1.0.0
  
  0cd0a2fa
- bump readme for model module · 786b3de3
  Tomáš Sušovský authored May 22, 2019
  
  786b3de3
- add headers to SMT module classes · ef7ec0fc
  Tomáš Sušovský authored May 22, 2019
  
  ef7ec0fc
- move SMT module classes to tindger namespace · 37183e33
  Tomáš Sušovský authored May 22, 2019
  
  37183e33
- bump comments · e3170b61
  Tomáš Sušovský authored May 22, 2019
  
  e3170b61
May 21, 2019
- bump headers · 02fdd5ef
  Tomáš Sušovský authored May 22, 2019
  
  02fdd5ef
- bump comment header · ada36117
  Tomáš Sušovský authored May 22, 2019
  
  ada36117
- remove unused model::BasicBlock class · 3fad1c8d
  Tomáš Sušovský authored May 22, 2019
  
  3fad1c8d
- remove todos · a01f2123
  Tomáš Sušovský authored May 22, 2019
  
  a01f2123
- remove dead code about data layout · 534a5686
  Tomáš Sušovský authored May 22, 2019
  
  534a5686
- remove unneeded llvm dependency from model::instruction · 1028c48c
  Tomáš Sušovský authored May 22, 2019
  
  1028c48c
- remove unused class SMTContext · f5d6085d
  Tomáš Sušovský authored May 21, 2019
  
  f5d6085d
- warnings cleanup · d13f170d
  Tomáš Sušovský authored May 21, 2019
  
  d13f170d
- clean ResultModel · 8004bf4a
  Tomáš Sušovský authored May 21, 2019
  
  8004bf4a
- model/Context cleanup · 4a7a0f57
  Tomáš Sušovský authored May 21, 2019
  
  4a7a0f57
- model/Instruction cleanup · 6b833e21
  Tomáš Sušovský authored May 21, 2019
  
  6b833e21
- update output json schema · 84381d9f
  Tomáš Sušovský authored May 21, 2019
  
  84381d9f
May 19, 2019
- fix vars names · a4d3cd4c
  Tomáš Sušovský authored May 19, 2019
  
  a4d3cd4c
- model/types add description · 25138b57
  Tomáš Sušovský authored May 19, 2019
  
  25138b57
- todo about partial paths resolved by comment · 8928db45
  Tomáš Sušovský authored May 19, 2019
  
  8928db45
May 18, 2019
- remove unused options from cmake · 2d17efee
  Tomáš Sušovský authored May 18, 2019
  
  2d17efee
- Model module unused cleanup · fb6ad601
  Tomáš Sušovský authored May 18, 2019
  
  fb6ad601
- improve memory values result naming · f87f6ee5
  Tomáš Sušovský authored May 18, 2019
  
  f87f6ee5
May 15, 2019
- add coverage build branch coverage · f030da57
  Tomáš Sušovský authored May 15, 2019
  
  f030da57
May 14, 2019
- add ptr nullptr demo test · ed1dcdb9
  Tomáš Sušovský authored May 15, 2019
  
  ed1dcdb9
May 13, 2019
- Merge branch 'master' of https://pajda.fit.vutbr.cz/testos/tindger · 818bf18e
  Tomáš Sušovský authored May 13, 2019
  
  818bf18e
- Use LLVMValuePrinter in Z3Driver · 1a912093
  Tomáš Sušovský authored May 13, 2019
  
  1a912093
- add Type print api to LLVMValuePrinter · 46f674ee
  Tomáš Sušovský authored May 13, 2019
  
  46f674ee
- user LLVMValuePrinter dependency in LLVMInstructionVisitor · 3d5c5ad5
  Tomáš Sušovský authored May 13, 2019
  
  3d5c5ad5
- inject LLVMValuePrinter to App class from DI container · 691556f9
  Tomáš Sušovský authored May 13, 2019
  
  691556f9
- add LLVMValuePrinter to DI container · c191136e
  Tomáš Sušovský authored May 13, 2019
  
  c191136e
- constantize global var memory read in Z3Driver · 47a53841
  Tomáš Sušovský authored May 13, 2019
  
  47a53841
- add LLVMValuePrinter utility class · c7b44b36
  Tomáš Sušovský authored May 13, 2019
  
  c7b44b36
- comment out unused model/types methods · feb7e200
  Tomáš Sušovský authored May 13, 2019
  
  feb7e200
- Refactor global (pointer) variable to sme expression transformation. · 193d1f83
  Tomáš Sušovský authored May 13, 2019
  
  193d1f83
May 12, 2019
- improve global handling by Z3Driver · 3a7ee6b7
  Tomáš Sušovský authored May 13, 2019
  
  3a7ee6b7
- add global demo test · 956b2a53
  Tomáš Sušovský authored May 13, 2019
  
  956b2a53
- improve unsigned extension demonstration · 9c53be00
  Tomáš Sušovský authored May 12, 2019
  
  9c53be00
- adjust unsigned extension test result verification · 66b5458a
  Tomáš Sušovský authored May 12, 2019
  
  66b5458a
- supress run_test job failure in coverage build · d9e007dd
  Tomáš Sušovský authored May 12, 2019
  
  d9e007dd