Commits · master · paradise / mirror / DIVINE · GitLab

Mar 21, 2021
- mem: Actually compare metadata when data matches, in object comparison. · d47985e0
  Petr Rockai authored Mar 21, 2021
  
  d47985e0
- test: Add a test for the infamous 'undef appears in sim but not in check' bug. · 8313e6ce
  Petr Rockai authored Mar 21, 2021
  
  8313e6ce
Mar 10, 2020
- mem: Fix IntervalMetadataMap::before() in case we hit the initial segment. · b00119fa
  Petr Rockai authored Mar 10, 2020
  
  b00119fa
- test: Add a test which covers a (broken) corner case in __vm_peek. · 440cc118
  Petr Rockai authored Mar 10, 2020
  
  440cc118
Feb 01, 2020
- releng: Update for 4.4.2 · cc9a1047
  Release Bot authored Feb 01, 2020
  
  4.4.2
  
  cc9a1047
- releng: Do not bump the version unless we are actually making a release. · cd7d5064
  Petr Rockai authored Feb 01, 2020
  
  cd7d5064
Jan 31, 2020
- test: Mark a timeout-prone product-lines test as 'big'. · 54f2f942
  Petr Rockai authored Jan 31, 2020
  
  54f2f942
- test: Cut mstring-null-termination-a in half (again). · 277e8270
  Petr Rockai authored Jan 31, 2020
  
  277e8270
Jan 30, 2020
- MC: Add note to BCOptions to notify reader where serialize method resides. · b254552a
  Lukáš Korenčik authored Jan 30, 2020
  
  b254552a
- lart: Deallocate memory frames used to return values in lower_ret_agg. · 5bce63c0
  Lukáš Korenčik authored Jan 30, 2020
  
  5bce63c0
- lart: Change allocator in lower_ret_agg to __vm_obj_make. · 786b7b02
  Lukáš Korenčik authored Jan 30, 2020
  
  786b7b02
- lart: Expand copyright header of lart::mcsema passes. · 585e07e5
  Lukáš Korenčik authored Jan 30, 2020
  
  585e07e5
- lart: Add pass that lowers ret type of functions from aggr value to pointer. · 685b065b
  Lukáš Korenčik authored Jan 30, 2020
  
  685b065b
- lart: Add missing copyright header. · 2605c346
  Lukáš Korenčik authored Jan 30, 2020
  
  2605c346
- ra: Reflect name change of inner types of BCOptions. · f087af6f
  Lukáš Korenčik authored Jan 30, 2020
  
  f087af6f
- ra: Remove now obsolete util.h. · 60a983d0
  Lukáš Korenčik authored Jan 30, 2020
  
  60a983d0
- ra: Use brick::llvm::load_bc instead of custom utility function. · 513b2847
  Lukáš Korenčik authored Jan 30, 2020
  
  513b2847
- bricks: Add function that loads bitcode from file. · 5d693497
  Lukáš Korenčik authored Jan 30, 2020
  
  5d693497
- ra: Add indent in namespace and remove comment at the end. · ed76761f
  Lukáš Korenčik authored Jan 30, 2020
  
  ed76761f
- MC: Split typedef in BCOptions to more smaller ones. · bf567c3e
  Lukáš Korenčik authored Jan 30, 2020
  
  bf567c3e
Jan 28, 2020
- lart: Add utility function that checks if llvm::Type * is one of arguments. · 5acad081
  Lukáš Korenčik authored Jan 28, 2020
  
  5acad081
- MC: Run lower_agg_ret pass if mcsema option is selected. · 4dfc12a7
  Lukáš Korenčik authored Jan 28, 2020
  
  4dfc12a7
- UI: Store mcsema option to report. · d9badb92
  Lukáš Korenčik authored Jan 28, 2020
  
  d9badb92
- MC: Load mcsema option from report. · b38c1d3f
  Lukáš Korenčik authored Jan 28, 2020
  
  b38c1d3f
- cmake: Add divine-ra as library. · ee7bdee9
  Lukáš Korenčik authored Jan 28, 2020
  
  ee7bdee9
Jan 21, 2020
- UI: Add refine as subcommand. · 9aed14ca
  Lukáš Korenčik authored Jan 21, 2020
  
  9aed14ca
- ra: Die if a boot error is encountered. · 383a22d8
  Lukáš Korenčik authored Jan 21, 2020
  
  383a22d8
- ra: Add report method. · b439b237
  Lukáš Korenčik authored Jan 21, 2020
  
  b439b237
- lart: Add methods that return info about current state of rewire_calls pass. · 193b2977
  Lukáš Korenčik authored Jan 21, 2020
  
  193b2977
- ra: Add two simple testcases for rewire calls refinement. · 3e0ffcc1
  Lukáš Korenčik authored Jan 21, 2020
  
  3e0ffcc1
- ra: Move parts of llvmrefine to cpp file. · 1172cb61
  Lukáš Korenčik authored Jan 21, 2020
  
  1172cb61
- ra: Add ctor that accepts llvm objects that are already created. · 2d73a429
  Lukáš Korenčik authored Jan 21, 2020
  
  2d73a429
- ra: Reflect API change of rewirecalls pass. · d2c3453f
  Lukáš Korenčik authored Jan 21, 2020
  
  d2c3453f
Jan 20, 2020
- ra: Add extra layer between llvm_refinement and underlying llvm pass. · 258aec30
  Lukáš Korenčik authored Jan 20, 2020
  
  258aec30
- ra: Remove obsolete remnants of get_ce_t. · e512ed10
  Lukáš Korenčik authored Jan 20, 2020
  
  e512ed10
- ra: Parametrize stack trace with lambda. · e944ff30
  Lukáš Korenčik authored Jan 20, 2020
  
  e944ff30
- ra: Give counter-example accessor a state. · a0212386
  Lukáš Korenčik authored Jan 20, 2020
  
  a0212386
- ra: Add method that returns stack trace of counter-example. · 71915398
  Lukáš Korenčik authored Jan 20, 2020
  
  71915398
Jan 21, 2020
- lart: Rename pass to rewirecalls and fix codestyle. · 95b45ace
  Lukáš Korenčik authored Jan 21, 2020
  
  95b45ace
Jan 19, 2020
- ra: Add basic draft of how refinement may look like. · 1b31a756
  Lukáš Korenčik authored Jan 19, 2020
  
  1b31a756