Commits · c5d04d8041ebe2901e2397d79c6a843e2d05c788 · paradise / mirror / DIVINE · GitLab

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
Aug 06, 2019
- bricks: Add comments to unittest & shelltest. · 13a7926a
  Vladimír Štill authored Aug 06, 2019
  
  13a7926a
- doc: Add the outline for the seminar about automated testing. · 994c8523
  Vladimír Štill authored Aug 06, 2019
  
  994c8523
Jul 29, 2019
- doc: Add heap metadata seminar outline. · 37c5190a
  Henrich Lauko authored Jul 29, 2019
  
  37c5190a
- mem: Add documentation of metadata infrastructure. · c3541ff5
  Henrich Lauko authored Jul 29, 2019
  
  c3541ff5
May 17, 2019
- bricks: Add missing consts to Annotation methods. · 0cb8a3da
  Henrich Lauko authored May 17, 2019
  
  0cb8a3da
Aug 07, 2019
- MC: Add a missing #include of vm/eval.hpp to machine.hpp. · 3ad85c3c
  Petr Rockai authored Aug 07, 2019
  
  3ad85c3c
- UI: Fix the 'no command given' check for non-copyable commands (like cc). · 035d85b6
  Petr Rockai authored Aug 07, 2019
  
  035d85b6
- dbg: Add missing #includes for the new eval-*.tpp files. · 40372ce6
  Petr Rockai authored Aug 07, 2019
  
  40372ce6