Commits · a06e2083466ea2e12d57de6d283a09ce910a9445 · paradise / mirror / DIVINE · GitLab

Jan 13, 2020
- test: Drop redundant chmod +x (make now takes care of it). · a06e2083
  Petr Rockai authored Jan 13, 2020
  
  a06e2083
- make: Ensure that scripts which are directly executed are actually executable. · 7a6000e1
  Petr Rockai authored Jan 13, 2020
  
  7a6000e1
- test: Fix a few problems with extraction of options from comments. · 76923b92
  Petr Rockai authored Jan 13, 2020
  
  76923b92
- libc: Streamline the cdefs.h function annotation macros a bit. · 6f24e5c0
  Petr Rockai authored Jan 13, 2020
  
  6f24e5c0
- test: Copy sources into the working directory if SKIP_CC is in effect. · 8c145807
  Petr Rockai authored Jan 13, 2020
  
  8c145807
- test: Update testcases which used verify -D to use -E. · b157f9a1
  Petr Rockai authored Jan 13, 2020
  
  b157f9a1
- UI: Make with_bc use -E for environment variables and -D for compiler defines. · 490d93af
  Petr Rockai authored Jan 13, 2020
  
  490d93af
- tools: Do not dump core when divcheck encounters an unexpected result. · ff17efb1
  Petr Rockai authored Jan 13, 2020
  
  ff17efb1
- test: Fix testcases spuriously passing when divcheck dies from a fatal signal. · f838b25a
  Petr Rockai authored Jan 13, 2020
  
  f838b25a
Jan 11, 2020
- MC: Fix infeasibility notification in (exhaustive) exec. · 55d41600
  Petr Rockai authored Jan 11, 2020
  
  55d41600
- test: Fail more verbosely in cmake-pthread.sh. · fef30810
  Petr Rockai authored Jan 11, 2020
  
  fef30810
- test: Propagate the exit code of divcheck if it fails (useful for timeouts). · 373b88ce
  Petr Rockai authored Jan 11, 2020
  
  373b88ce
- tools: Give divcheck a specific exit code for resource exhaustion. · b3be8e34
  Petr Rockai authored Jan 11, 2020
  
  b3be8e34
- bricks: Allow (shell) tests to indicate a timeout. · 3956fc17
  Petr Rockai authored Jan 11, 2020
  
  3956fc17
- bricks: Fix compilation of brick-{smt,smtlib}. · 06d3ef45
  Petr Rockai authored Jan 10, 2020
  
  06d3ef45
- website: Fix pandoc warnings about missing 'title' metadatum. · e00e0151
  Petr Rockai authored Jan 10, 2020
  
  e00e0151
Jan 10, 2020
- website: Fix passing of multiple arguments to pandoc (panmd.pl). · dc8f60bd
  Petr Rockai authored Jan 10, 2020
  
  dc8f60bd
- releng: Remove the hardcoded JOBS from nightly.sh. · 10c6230f
  Petr Rockai authored Jan 10, 2020
  
  10c6230f
- smt: Make things work after the brick-{smt,smtlib} split. · bd9c8303
  Petr Rockai authored Jan 10, 2020
  
  bd9c8303
- bricks: Split brick-smt into brick-{smt,smtlib}. · 18979de2
  Petr Rockai authored Jan 10, 2020
  
  18979de2
Jan 09, 2020
- test: Enhance decompile script with dbg info parsing. · 11380f06
  Lukáš Korenčik authored Jan 09, 2020
  
  11380f06
Jan 08, 2020
- lart: Fix name suffix generation to be unique for insertvalue and inttoptr. · f545fb4e
  Lukáš Korenčik authored Jan 08, 2020
  
  f545fb4e
Jan 06, 2020
- test: Change names of undefined external functions to be unique per test file. · 461aaf00
  Lukáš Korenčik authored Jan 06, 2020
  
  461aaf00
- lart: Remove more undesired constant expressions from mcsema-generated code. · 2341e2be
  Lukáš Korenčik authored Jan 06, 2020
  
  2341e2be
- rst: Remove obsolete comment. · bc75846f
  Lukáš Korenčik authored Jan 06, 2020
  
  bc75846f
Dec 12, 2019
- lart: Change extractvalue lifter to use abstract operand. · 33cc1f31
  Lukáš Korenčik authored Dec 12, 2019
  
  33cc1f31
- lart: Add some constant lifters for i1 and pointer. · ffdd5815
  Lukáš Korenčik authored Dec 12, 2019
  
  ffdd5815
Dec 10, 2019
- lart: Fix assert to check number of arguments of extractvalue. · 8d6657b7
  Lukáš Korenčik authored Dec 10, 2019
  
  8d6657b7
Jan 10, 2020
- UI: Slightly refactor support for comma-separated flags (like '-C,-lm,-lc'). · 7f8fdc69
  Petr Rockai authored Jan 10, 2020
  
  7f8fdc69
- UI: Fix 'exec' in case when no --tactic is given. · 18b8dd45
  Petr Rockai authored Jan 10, 2020
  
  18b8dd45
- test: Skip klee-flavoured tests if (a patched version of) klee is not on PATH. · 26d20072
  Petr Rockai authored Jan 09, 2020
  
  26d20072
Jan 09, 2020
- smt: Resurrect extract operation in smt-solver builders. · b5663c3b
  Henrich Lauko authored Jan 09, 2020
  
  b5663c3b
- smt: Handle extract operation in the RPN builder. · 3d0120ec
  Henrich Lauko authored Jan 09, 2020
  
  3d0120ec
- bricks: Add is_concat function into brick-smt. · 675e58c3
  Henrich Lauko authored Jan 09, 2020
  
  675e58c3
- lart: Do not pass obsolete indices to lifter templates. · e2169d4a
  Henrich Lauko authored Jan 09, 2020
  
  e2169d4a
- lart: Generate abstraction functions to obtain operation indices. · 1b9b5ea6
  Henrich Lauko authored Jan 09, 2020
  
  1b9b5ea6
- rst: Implement op_concat in the term domain. · 4d892469
  Henrich Lauko authored Jan 09, 2020
  
  4d892469
- rst: Fix the order of term extract arguments. · 376be53c
  Henrich Lauko authored Jan 09, 2020
  
  376be53c
- 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