Commits · b6e16a2c3d8f19d0c0f8ca59be1f26df1b069518 · paradise / mirror / DIVINE · GitLab

Mar 15, 2019
- test: Check that double free actually raises an error. · b6e16a2c
  Petr Rockai authored Mar 15, 2019
  
  b6e16a2c
Mar 13, 2019
- test: Skip running some of the svcomp tests with Z3 since they time out. · 09e1a40f
  Petr Rockai authored Mar 13, 2019
  
  09e1a40f
Mar 12, 2019
- rst: Replace brick ASSERT (which uses std::string) with standard C assert. · 01d6c471
  Petr Rockai authored Mar 12, 2019
  
  01d6c471
Mar 11, 2019
- test: Remove 'todo' tags from the remaining svcomp/product-lines testcases. · b7bc7e2c
  Petr Rockai authored Mar 11, 2019
  
  b7bc7e2c
- test: Remove 'todo' tags from a number of SV-COMP testcases. · 91eb9d14
  Petr Rockai authored Mar 11, 2019
  
  91eb9d14
- lart: Fix instruction erasure during iteration through functions. · 19adfacf
  Henrich Lauko authored Mar 11, 2019
  
  19adfacf
- test: Remove todo tag from mstring strcpy tests. · cbc95f87
  Henrich Lauko authored Mar 11, 2019
  
  cbc95f87
- lart: Fix missing unstash debug location. · eca4280d
  Henrich Lauko authored Mar 11, 2019
  
  eca4280d
- lart: Fix broken abstract argument metadata. · a81384e5
  Henrich Lauko authored Mar 11, 2019
  
  a81384e5
Mar 10, 2019
- lart: Fix incorrect insertion of placeholders between phinodes. · dcf0045f
  Henrich Lauko authored Mar 10, 2019
  
  dcf0045f
- test: Add split strcpy tests. · bf0ccc59
  Henrich Lauko authored Mar 10, 2019
  
  bf0ccc59
- rst: Implement segmentation-based strcpy. · dd3ab972
  Henrich Lauko authored Mar 10, 2019
  
  dd3ab972
Mar 09, 2019
- test: Add bunch of split strcmp tests. · b786c1ad
  Henrich Lauko authored Mar 09, 2019
  
  b786c1ad
- rst: Reimplement abstract strcmp to use split segmentation. · 05e0798b
  Henrich Lauko authored Mar 09, 2019
  
  05e0798b
- test: Share common split segmentation test support. · 23ef82fa
  Henrich Lauko authored Mar 09, 2019
  
  23ef82fa
Mar 08, 2019
- test: Add strcat split segmentation tests. · 9bdce8b4
  Henrich Lauko authored Mar 08, 2019
  
  9bdce8b4
- rst: Implement split segmentation strcat. · cf2687ea
  Henrich Lauko authored Mar 08, 2019
  
  cf2687ea
- test: Introduce split segmentation tests. · c8cc30ec
  Henrich Lauko authored Mar 08, 2019
  
  c8cc30ec
- rst: Implement read/write of split segmentation. · 679c2348
  Henrich Lauko authored Mar 08, 2019
  
  679c2348
Mar 06, 2019
- rst: Move split segmentation to separate file. · 9de6c36a
  Henrich Lauko authored Mar 06, 2019
  
  9de6c36a
- rst: Use split segmentation instead of mstring with buffer. · 8729cc7a
  Henrich Lauko authored Mar 06, 2019
  
  8729cc7a
Mar 05, 2019
- dios: Drop the (unused) copy-on-write mechanism from fs::RegularFile. · 487bbc04
  Petr Rockai authored Mar 05, 2019
  
  487bbc04
Mar 01, 2019
- test: Test more string abstraction functions. · e1bc40be
  Henrich Lauko authored Mar 01, 2019
  
  e1bc40be
Mar 03, 2019
- rst: Poke created mstring to underlying string buffer pointer. · 69283aa0
  Henrich Lauko authored Mar 03, 2019
  
  69283aa0
Mar 01, 2019
- rst: Remove useless rho function from mstring representation. · 82790fee
  Henrich Lauko authored Mar 01, 2019
  
  82790fee
- rst: Implement mstring thaw operation. · ef73033f
  Henrich Lauko authored Mar 01, 2019
  
  ef73033f
Jan 30, 2019
- rst: Implement freeze in mstring domain. · d4aeb68b
  Henrich Lauko authored Jan 30, 2019
  
  d4aeb68b
Jan 31, 2019
- rst: Introduce pointer data accessors. · adb1a009
  Henrich Lauko authored Jan 31, 2019
  
  adb1a009
Mar 02, 2019
- rst: Pull out content domain intrinsic definitions. · 8ed4e57a
  Henrich Lauko authored Mar 02, 2019
  
  8ed4e57a
Jan 31, 2019
- rst: Fix declaration of string domain accessors. · 12160ead
  Henrich Lauko authored Jan 31, 2019
  
  12160ead
Feb 27, 2019
- rst: Introduce getelementptr abstract operation in content domain. · 86af9cb0
  Henrich Lauko authored Feb 27, 2019
  
  86af9cb0
Mar 01, 2019
- rst: Rename Quintuple to Mstring. · 5fce5eab
  Henrich Lauko authored Mar 01, 2019
  
  5fce5eab
Feb 11, 2019
- rst: Update mstring load/store to follow a new string abstraction accessors. · cb0bb2be
  Henrich Lauko authored Feb 11, 2019
  
  cb0bb2be
Jan 24, 2019
- rst: Introduce mstring read operation. · 7cba38d3
  Henrich Lauko authored Jan 24, 2019
  
  7cba38d3
Mar 03, 2019
- lart: Clean up unstashing of abstract aguments. · 652ad513
  Henrich Lauko authored Mar 03, 2019
  
  652ad513
- lart: Reintroduce content load abstraction. · edd67dcd
  Henrich Lauko authored Mar 03, 2019
  
  edd67dcd
- lart: Reintroduce content store abstraction. · f3c3c512
  Henrich Lauko authored Mar 03, 2019
  
  f3c3c512
- lart: Propagate content abstraction through casts. · d1c5322b
  Henrich Lauko authored Mar 03, 2019
  
  d1c5322b
- lart: Reintroduce abstraction of in domain functions. · 2489936d
  Henrich Lauko authored Mar 03, 2019
  
  2489936d
- lart: Introduce transformation of getelementptr instructions in lart passes. · 2fb78e98
  Henrich Lauko authored Mar 03, 2019
  
  2fb78e98