Commits · 4aa473a7d52d3c51626eb161f8c6f0b4724e02ca · 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.

Jan 09, 2020
- rst: Implement op_extract in the term domain. · 4aa473a7
  Henrich Lauko authored Jan 09, 2020
  
  4aa473a7
- lart: Change the naming convention of abstraction functions to use underscores. · 2afebd48
  Henrich Lauko authored Jan 09, 2020
  
  2afebd48
- bricks: Add extract operation to RPN formula representation. · 6e44e9ca
  Henrich Lauko authored Jan 09, 2020
  
  6e44e9ca
- bricks: Refactor out operation type from RPN tokens. · 5cdd73c9
  Henrich Lauko authored Jan 09, 2020
  
  5cdd73c9
- smt: Fix constructors in the RPN unit tests. · da59066a
  Henrich Lauko authored Jan 09, 2020
  
  da59066a
- test: Add tests of mixed loads of concrete and abstract values. · 63fd1b5d
  Henrich Lauko authored Jan 09, 2020
  
  63fd1b5d
- rst: Remove obsolete operation index argument from lifter templates. · 18b1c4f6
  Henrich Lauko authored Jan 09, 2020
  
  18b1c4f6
- smt: Fix resulting bitwidth of concat operation. · 813a45cf
  Henrich Lauko authored Jan 09, 2020
  
  813a45cf
Jan 10, 2020
- MC: Provide help strings for tracepoint/autotrace option types. · da4a7f13
  Petr Rockai authored Jan 09, 2020
  
  da4a7f13
- bricks: Do not print spaces in brick-cmd help where they are not required. · 69be8dbd
  Petr Rockai authored Jan 09, 2020
  
  69be8dbd
- bricks: Include descriptions of option types in brick-cmd help output. · 1575e9d7
  Petr Rockai authored Jan 09, 2020
  
  1575e9d7
- bricks: Allow argument types (in brick-cmd) to override braces in their names. · c95d194e
  Petr Rockai authored Jan 09, 2020
  
  c95d194e
- bricks: Move the help streams from cmd_option_help to cmd_options. · f9bd3e00
  Petr Rockai authored Jan 09, 2020
  
  f9bd3e00
Jan 09, 2020
- MC: Modernize the names of autotrace & leakcheck flags. · cf2cf927
  Petr Rockai authored Jan 09, 2020
  
  cf2cf927
- Add xsarnik and xkorenc1 to .authorspellings. · 5d2c8847
  Petr Rockai authored Jan 09, 2020
  
  5d2c8847
- UI: Get rid of the intermediate Exec::Tactic enum and use strings directly. · 2b24ca0f
  Petr Rockai authored Jan 09, 2020
  
  2b24ca0f
- MC: Make the 'exec' tactic selection code a little more compact. · f68265fa
  Petr Rockai authored Jan 09, 2020
  
  f68265fa
- UI: Resolve a conflict around --tactic handling in exec. · cdceea5d
  Petr Rockai authored Jan 09, 2020
  
  cdceea5d
- UI: Resolve conflicts between brick-cmd changes and with_report. · 2dc08582
  Petr Rockai authored Jan 09, 2020
  
  2dc08582
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