Commits · 21abe7c726bba0bc37bdf488fe4df18e567fd899 · paradise / mirror / DIVINE · GitLab

Jan 13, 2020
- releng: Show (non-vanilla) flavours in the HTML rendering of test results. · 21abe7c7
  Petr Rockai authored Jan 13, 2020
  
  21abe7c7
- test: Update the brick-{smt,smtlib} test list. · 99005f89
  Petr Rockai authored Jan 13, 2020
  
  99005f89
- test: Exclude a few problematic libc++ testcases from the 'klee' flavour. · 6aa0842c
  Petr Rockai authored Jan 13, 2020
  
  6aa0842c
- dios: Make the __dios_assert macro usable in C. · a2dac065
  Petr Rockai authored Jan 13, 2020
  
  a2dac065
- dios: Make assertion of debug mode into a platform-dependent hook. · 86e46d0f
  Petr Rockai authored Jan 13, 2020
  
  86e46d0f
- dios: Improve memory management in the KLEE port. · 10f39efa
  Petr Rockai authored Jan 13, 2020
  
  10f39efa
Dec 16, 2019
- test: Nothing guarantees that 'errno' is 0 at the start of main(). · 696141df
  Petr Rockai authored Dec 16, 2019
  
  696141df
Jan 13, 2020
- CC: Trace the cc1 arguments. · d7f0f52c
  Petr Rockai authored Jan 13, 2020
  
  d7f0f52c
- lart: Do not add leak checks after hypercall invocations, just function calls. · 3daef23b
  Petr Rockai authored Jan 13, 2020
  
  3daef23b
- 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