Commits · 26cd3b2a1f18b135b38fec852f0f1eec6ce3d8bb · paradise / mirror / DIVINE · GitLab

Aug 22, 2019
- 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
Aug 15, 2019
- releng: Update for 4.3.5 · 96192129
  Release Bot authored Aug 15, 2019
  
  4.3.5
  
  96192129
Aug 09, 2019
- VM: Fix a heap unit test (it got flipped around by the mem::compare refactor). · 62baeb41
  Petr Rockai authored Aug 09, 2019
  
  62baeb41
- bricks: Fix copying and assignment of refcount_base instances. · 733329a1
  Petr Rockai authored Aug 09, 2019
  
  733329a1
Aug 08, 2019
- mem: Reimplement mem::compare() in terms of heap's compare() method. · 8bfa3f3a
  Petr Rockai authored Aug 08, 2019
  
  8bfa3f3a
Aug 07, 2019
- mem: Refactor object comparison. · 0673d60e
  Petr Rockai authored Aug 07, 2019
  
  0673d60e
- doc: Add DivCC seminar outline. · 63fefc51
  Jakub Šárník authored Aug 06, 2019
  
  63fefc51
- VM: Allow pointers to the same object to be subtracted from each other. · 8077c921
  Petr Rockai authored Aug 07, 2019
  
  8077c921