Commits · 8477e60c8175c44c3e5077b3f867c82df43b3ba2 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Nov 12, 2019
- UI: Extract report handling to ui::WithReport. · 8477e60c
  Jakub Šárník authored Nov 12, 2019
  
  8477e60c
Nov 21, 2019
- MC: Add basic support for the possibility of choosing a search tactic. · 4bdf018d
  Jakub Šárník authored Nov 21, 2019
  
  4bdf018d
- MC: Add a basic memstats reporting ability for mc::Exec. · 06dd085e
  Jakub Šárník authored Nov 21, 2019
  
  06dd085e
Jan 09, 2020
- dios: Avoid CFL interrupts in Array::_clear(). · 08a58508
  Petr Rockai authored Jan 09, 2020
  
  08a58508
- VM: Always use heap pointers to track critical memory access. · 9f234185
  Petr Rockai authored Jan 09, 2020
  
  9f234185
- sim: Add 'tamper' to the list of commands so that it is actually recognized. · 149e53e8
  Petr Rockai authored Jan 09, 2020
  
  149e53e8
- smt: Handle 'not' on bitvector operands in the smtlib builder. · 951690d1
  Petr Rockai authored Jan 09, 2020
  
  951690d1
Dec 24, 2019
- rst: Do not use the global operator new in mstring. · 6935cd91
  Petr Rockai authored Dec 24, 2019
  
  6935cd91
- tools: Fix compilation of divcheck.hpp. · 9d6fbbed
  Petr Rockai authored Dec 24, 2019
  
  9d6fbbed
- libc: Add stubs for IEEE FP mode and environment management functions. · 00390d80
  Petr Rockai authored Dec 24, 2019
  
  00390d80
Nov 12, 2019
- llvm: Lower rint intrinsic. · 0e094095
  Henrich Lauko authored Nov 12, 2019
  
  0e094095
Dec 24, 2019
- sim: Fix a few 'semantic' conflicts. · 95aa1ac6
  Petr Rockai authored Dec 24, 2019
  
  95aa1ac6
- tools: Resolve conflicts in divcheck.hpp. · 7e1e49aa
  Petr Rockai authored Dec 24, 2019
  
  7e1e49aa
- test: Resolve conflicts in lib/testsuite (mcsema vs klee). · 645fe708
  Petr Rockai authored Dec 24, 2019
  
  645fe708
- sim: Resolve conflicts between 'tamper' and the brick-cmd rewrite. · b83e5db1
  Petr Rockai authored Dec 24, 2019
  
  b83e5db1
Dec 21, 2019
- rst: Fix a conflict in constant.hpp. · 762f8feb
  Petr Rockai authored Dec 21, 2019
  
  762f8feb
Dec 10, 2019
- lart: Cast lifter return value to correct type. · c26d0bb7
  Henrich Lauko authored Dec 10, 2019
  
  c26d0bb7
- lart: Resurrect abstraction of call instructions. · 3f5a70d4
  Henrich Lauko authored Dec 10, 2019
  
  3f5a70d4
- rst: Generate additional overloads of operators for scalar domain. · c934c094
  Henrich Lauko authored Dec 10, 2019
  
  c934c094
Dec 09, 2019
- rst: Define C interface to constant lifters. · c599c7b6
  Henrich Lauko authored Dec 09, 2019
  
  c599c7b6
- rst: Fix missing arguments of unit aggregate operations. · 9a6d5a6d
  Henrich Lauko authored Dec 09, 2019
  
  9a6d5a6d
- rst: Implement mstring strlen operation. · 382fa854
  Henrich Lauko authored Dec 09, 2019
  
  382fa854
- rst: Refactor mstring fault yields. · e907d869
  Henrich Lauko authored Dec 09, 2019
  
  e907d869
- rst: Add missing attributes to operations in scalar wrapper domain. · bda64937
  Henrich Lauko authored Dec 09, 2019
  
  bda64937
- test: Remove todo tag from basic mstring tests. · 1436d04b
  Henrich Lauko authored Dec 09, 2019
  
  1436d04b
- rst: Add to term domain a cast operator to abstract base. · 1774fbeb
  Henrich Lauko authored Dec 09, 2019
  
  1774fbeb
- rst: Implement mstring gep operation. · f6258a2e
  Henrich Lauko authored Dec 09, 2019
  
  f6258a2e
- rst: Implement mstring store operation. · 78db91f5
  Henrich Lauko authored Dec 09, 2019
  
  78db91f5
- rst: Implement mstring load operation. · dc307432
  Henrich Lauko authored Dec 09, 2019
  
  dc307432
Dec 06, 2019
- lart: Synthesize new bitwidth argument to the load lifter. · 081b04ad
  Henrich Lauko authored Dec 06, 2019
  
  081b04ad
- rst: Generate alloca lifter templates. · 6fd3c578
  Henrich Lauko authored Dec 06, 2019
  
  6fd3c578
- rst: Pass bitwidth of stored value to the lifter. · 3ffa8a0a
  Henrich Lauko authored Dec 06, 2019
  
  3ffa8a0a
- rst: Generate load lifter templates. · 7937628e
  Henrich Lauko authored Dec 06, 2019
  
  7937628e
- lart: Pass additional bitwidth parameters to generated gep lifters. · c896e6e1
  Henrich Lauko authored Dec 06, 2019
  
  c896e6e1
- rst: Pass result bitwidth of gep to the abstract lifter. · f422765c
  Henrich Lauko authored Dec 06, 2019
  
  f422765c
Dec 05, 2019
- lart: Refactor synthesization of abstraction lifters. · 6a0ef5c5
  Henrich Lauko authored Dec 05, 2019
  
  6a0ef5c5
Nov 01, 2019
- mem: Parametrise SnapshottedMap by its storage backend. · 01f9c348
  Adam Matoušek authored Nov 01, 2019
  
  01f9c348
Oct 29, 2019
- tools: Split Expect in divcheck. · 60e971e9
  Adam Matoušek authored Oct 29, 2019
  
  60e971e9
- ui: Split CompositeSink. · a41fbaf5
  Adam Matoušek authored Oct 29, 2019
  
  a41fbaf5
Oct 23, 2019
- tools: Support multiple 'verify' or 'exec' commands in divcheck. · 7fca65f3
  Adam Matoušek authored Oct 23, 2019
  
  7fca65f3