Commits · be898091efa94d053b497f1baa91246e47fb7c47 · paradise / mirror / DIVINE · GitLab

Apr 10, 2019
- lart: Fix decast pass pointer invalidation. · be898091
  Henrich Lauko authored Apr 10, 2019
  
  be898091
Apr 02, 2019
- test: Fix bounds in the mstring constructor. · 491fba3e
  Henrich Lauko authored Apr 02, 2019
  
  491fba3e
- rst: Create mstring automatically with a zero bound. · ce316470
  Henrich Lauko authored Apr 02, 2019
  
  ce316470
Apr 01, 2019
- rst: Drop empty segments of symbolic segmentation. · ab5748aa
  Henrich Lauko authored Apr 01, 2019
  
  ab5748aa
- test: Introduce sym-split-memcpy test. · ecbd68f1
  Henrich Lauko authored Apr 01, 2019
  
  ecbd68f1
- test: Add symbolic mstring strcmp test. · 386615b5
  Henrich Lauko authored Apr 01, 2019
  
  386615b5
- test: Check mstring variadic constructor. · e1d39c4b
  Henrich Lauko authored Apr 01, 2019
  
  e1d39c4b
- rst: Fix strcmp of symbolic segmentation. · 4f8488a4
  Henrich Lauko authored Apr 01, 2019
  
  4f8488a4
- rst: Introduce variadic mstring constructor. · 54eb2b9a
  Henrich Lauko authored Apr 01, 2019
  
  54eb2b9a
- test: Remove todo from passing mstring tests. · 6db358e4
  Henrich Lauko authored Apr 01, 2019
  
  6db358e4
- rst: Fix creation of mstring with offset. · de60afb9
  Henrich Lauko authored Apr 01, 2019
  
  de60afb9
Mar 31, 2019
- rst: Fix += and -= operators of symbolic abstraction. · 561c8c97
  Henrich Lauko authored Mar 31, 2019
  
  561c8c97
- lart: Replace return values of abstracted loads. · 52666b9f
  Henrich Lauko authored Mar 31, 2019
  
  52666b9f
Mar 30, 2019
- rst: Implement simple mstring fread/fwrite. · 95436abe
  Henrich Lauko authored Mar 30, 2019
  
  95436abe
Apr 08, 2019
- mem: Make snap_put also free the snapshot itself (by default). · cc2b0a8f
  Petr Rockai authored Apr 08, 2019
  
  cc2b0a8f
- MC: Split up Machine unit tests into smaller pieces. · 097eda09
  Petr Rockai authored Apr 08, 2019
  
  097eda09
Apr 01, 2019
- releng: Update for 4.2.5 · 62c91c9f
  Release Bot authored Apr 01, 2019
  
  4.2.5
  
  62c91c9f
Mar 31, 2019
- doc: Fix the 'planning view' hyperlink in the ROADMAP. · 42b816c1
  Petr Rockai authored Mar 31, 2019
  
  42b816c1
Mar 29, 2019
- test: Mark tests of not implemented symbolic mstring realloc as todo. · 21f3cd81
  Henrich Lauko authored Mar 29, 2019
  
  21f3cd81
- test: Remove concrete segmentation tests. · f36651ef
  Henrich Lauko authored Mar 29, 2019
  
  f36651ef
- rst: Use segmentation with symbolic bounds as mstring representation. · cf8c9f7e
  Henrich Lauko authored Mar 29, 2019
  
  cf8c9f7e
- rst: Implement strcmp, strcat, memcpy in symbolic string segmentation. · 07aef899
  Henrich Lauko authored Mar 29, 2019
  
  07aef899
- rst: Store intervals for bounds in symbolic segmentation. · ad48d507
  Henrich Lauko authored Mar 29, 2019
  
  ad48d507
- rst: Merge symbolic segments with the same value after performing a store. · 24359454
  Henrich Lauko authored Mar 29, 2019
  
  24359454
- lart: Skip only nontransformable functions with 'ignore' tag. · 972ee4c6
  Henrich Lauko authored Mar 29, 2019
  
  972ee4c6
- rst: Implement strlen in the symbolic string segmentation. · ade7da28
  Henrich Lauko authored Mar 29, 2019
  
  ade7da28
- rst: Implement strchr of symbolic segmentation. · b23a6162
  Henrich Lauko authored Mar 29, 2019
  
  b23a6162
- rst: Remove outdated concrete split segmentation. · 5004a0c0
  Henrich Lauko authored Mar 29, 2019
  
  5004a0c0
- rst: Consider string offset in split strchr implementation. · 98668446
  Henrich Lauko authored Mar 29, 2019
  
  98668446
- rst: Consider string offset in split read/write implementation. · 71b3c824
  Henrich Lauko authored Mar 29, 2019
  
  71b3c824
- rst: Set mstring offset in __mstring_gep implementation. · 29859627
  Henrich Lauko authored Mar 29, 2019
  
  29859627
- rst: Introduce undefined memchr, fread and fwrite in mstring domain. · 2bec42f9
  Henrich Lauko authored Mar 29, 2019
  
  2bec42f9
- rst: Introduce __mstring_memcpy. · 11af8a70
  Henrich Lauko authored Mar 29, 2019
  
  11af8a70
- rst: Introduce memory intrinsics to mstring abstraction. · 145df832
  Henrich Lauko authored Mar 29, 2019
  
  145df832
- rst: Implement realloc for mstring abstraction. · 72c23f42
  Henrich Lauko authored Mar 29, 2019
  
  72c23f42
- rst: Rework indexing of split segmentation to use unsigned values. · e4f05b9a
  Henrich Lauko authored Mar 29, 2019
  
  e4f05b9a
- rst: Refactor implementation of a split section. · d3586ef3
  Henrich Lauko authored Mar 29, 2019
  
  d3586ef3
- lart: Simplify queries about the presence of abstract metadata. · 1d90bea6
  Henrich Lauko authored Mar 29, 2019
  
  1d90bea6
- lart: Generate aggregate metadata during the VPA. · c048dc2d
  Henrich Lauko authored Mar 29, 2019
  
  c048dc2d
- rst: Remove obsolete code from the generic content domain. · af918cb6
  Henrich Lauko authored Mar 29, 2019
  
  af918cb6