Commits · 02fafe5b07c57fbd38c46efc25fee843415c91f2 · paradise / mirror / DIVINE · GitLab

Aug 22, 2019
- bricks: Fix the tuple formatting operator in string_builder. · 02fafe5b
  Petr Rockai authored Aug 22, 2019
  
  02fafe5b
- bricks: Move BRICK_LOCATION from brick-assert to brick-trace. · 9a929c6c
  Petr Rockai authored Aug 22, 2019
  
  9a929c6c
Aug 20, 2019
- cmake: Set up all libdivine-* targets in a single foreach(). · 6cc52c34
  Petr Rockai authored Aug 20, 2019
  
  6cc52c34
- tools: Fix compilation of divcheck (re changes in brick-cmd). · eb7c0b65
  Petr Rockai authored Aug 20, 2019
  
  eb7c0b65
Aug 22, 2019
- test: Mark a few tests that are too big for debug builds as such. · acdd0e98
  Petr Rockai authored Aug 21, 2019
  
  acdd0e98
- test: Check that user-level traversal of a captured filesystem works. · 4802285a
  Petr Rockai authored Aug 21, 2019
  
  4802285a
- dios: Fix handling of filesystem snapshots which contain the root directory. · d46d70ed
  Petr Rockai authored Aug 21, 2019
  
  d46d70ed
- bricks: Fix mismatched #if/#endif in brick-benchmark. · 26cd3b2a
  Petr Rockai authored Aug 21, 2019
  
  26cd3b2a
Aug 03, 2019
- dios: Add DiOS support for SHOOP. · 9ad52904
  Jakub Šárník authored Aug 03, 2019
  
  9ad52904
- cmake: Add make instructions for SHOOP tool. · 020b2ca6
  Jakub Šárník authored Aug 03, 2019
  
  020b2ca6
- tools: Add the first sketch of SHOOP. · 1de111a5
  Jakub Šárník authored Aug 03, 2019
  
  1de111a5
Aug 21, 2019
- bricks: Reduce code duplication in refcount_base. · d1316438
  Petr Rockai authored Aug 21, 2019
  
  d1316438
- bricks: Change header guards for 'pragma once', fix a few missing includes. · 8c5951bb
  Jakub Šárník authored Aug 21, 2019
  
  8c5951bb
Aug 19, 2019
- bricks: Fix some typos in brick-unittest. · c2fe056f
  Zuzana Baranová authored Aug 19, 2019
  
  c2fe056f
Jul 16, 2019
- bricks: Make character formatting in string_builder more debug-friendly. · 65eefa3a
  Petr Rockai authored Jul 16, 2019
  
  65eefa3a
Aug 21, 2019
- test: Make sure that `divine help` works. · c5d04d80
  Petr Rockai authored Aug 21, 2019
  
  c5d04d80
- bricks: Fix computation of column widths in brick-cmd help output. · ee2f601e
  Petr Rockai authored Aug 21, 2019
  
  ee2f601e
- website: Fix version substitution on the download page. · 6ecdb089
  Petr Rockai authored Aug 21, 2019
  
  6ecdb089
- bricks: Fix interpreter selection for test variants (in brick-shelltest). · 873f4459
  Petr Rockai authored Aug 21, 2019
  
  873f4459
Aug 20, 2019
- dios: Fix a null dereference in sigaction() when no changes are requested. · aa36eb38
  Petr Rockai authored Aug 20, 2019
  
  aa36eb38
- dios: Add an implementation of __dios_check_free() for KLEE. · d827be83
  Petr Rockai authored Aug 20, 2019
  
  d827be83
- bricks: Drop a superfluous 'const' from smt::ByteUnion::size(). · 669bedd8
  Petr Rockai authored Aug 20, 2019
  
  669bedd8
Aug 07, 2019
- tools: Add comments to the DivCC tool. · e04fd8af
  Jakub Šárník authored Aug 07, 2019
  
  e04fd8af
Aug 15, 2019
- bricks: Add comments to ArchiveReader and Linker components. · 223b2875
  Jakub Šárník authored Aug 14, 2019
  
  223b2875
Aug 14, 2019
- CC: Add comments to the Driver, Native, CC1, and some support code files. · f0418722
  Jakub Šárník authored Aug 14, 2019
  
  f0418722
Aug 11, 2019
- CC: Add some additional comments about the purpose of the VFS. · 2538f4e9
  Jakub Šárník authored Aug 11, 2019
  
  2538f4e9
Aug 14, 2019
- CC: Move DIVINE-specific flags where only divine cc and dioscc use them. · f15aea57
  Zuzana Baranová authored Aug 14, 2019
  
  f15aea57
- CC: Trace compiler and linker options. · 0cdeac1b
  Petr Rockai authored Aug 14, 2019
  
  0cdeac1b
- bricks: Mark brq::fallback's constructor constexpr. · 4f13d555
  Petr Rockai authored Aug 14, 2019
  
  4f13d555
- bricks: Allow const pointers to be formatted by string_builder. · 42e6a915
  Petr Rockai authored Aug 14, 2019
  
  42e6a915
Aug 11, 2019
- CC: Let clang deal with flags if we have no input files. · b681ed01
  Zuzana Baranová authored Aug 11, 2019
  
  b681ed01
- CC: Use the correct tool name (divcc vs. dioscc). · 6d199529
  Zuzana Baranová authored Aug 11, 2019
  
  6d199529
Aug 07, 2019
- test: Add (todo) symbolic tests for div, floor, fputc, printf & qsort. · 6efe68f1
  Zuzana Baranová authored Aug 07, 2019
  
  6efe68f1
May 09, 2019
- bricks: Introduce RPN representation of an smt formula. · 41ecdc9a
  Henrich Lauko authored May 09, 2019
  
  41ecdc9a
May 17, 2019
- bricks: Implement enumeration of llvm functions with given attributes. · 011e11be
  Henrich Lauko authored May 17, 2019
  
  011e11be
May 14, 2019
- dios: Export missing typedefs in Array. · eb41a3af
  Henrich Lauko authored May 14, 2019
  
  eb41a3af
- cmake: Export rst include headers with .hpp extension. · 398b1ac1
  Henrich Lauko authored May 14, 2019
  
  398b1ac1
Apr 25, 2019
- test: Fix string segmentation strlen tests. · d8d62f37
  Henrich Lauko authored Apr 25, 2019
  
  d8d62f37
- rst: Let string segmentation strlen return abstract value. · 360dedf2
  Henrich Lauko authored Apr 25, 2019
  
  360dedf2
Apr 24, 2019
- test: Introduce mstring libc tests. · 09ab5f25
  Henrich Lauko authored Apr 24, 2019
  
  09ab5f25