Commits · 669bedd8253455bb883530e0c7dd9cc8a3b4f905 · paradise / mirror / DIVINE · GitLab

Aug 20, 2019
- 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
- VM: Move the implementation of slot_read into eval-slot.tpp. · b830c022
  Petr Rockai authored Aug 06, 2019
  
  b830c022
- VM: Split up eval.tpp into a number of smaller files. · cf06dac6
  Petr Rockai authored Aug 06, 2019
  
  cf06dac6
Aug 05, 2019
- VM: Split off functionality related to type dispatch into dispatch.{hpp,tpp}. · 9ba0baa4
  Petr Rockai authored Aug 05, 2019
  
  9ba0baa4
- dbg: Cut down on inclusions of eval.tpp. · 638be648
  Petr Rockai authored Aug 05, 2019
  
  638be648
- bricks: Fix a possible past-the-end iterator dereference in brick-cmd. · 0a1990c6
  Petr Rockai authored Aug 05, 2019
  
  0a1990c6
- bricks: Add a cons_list() helper function to brick-cons. · 25a07813
  Petr Rockai authored Aug 05, 2019
  
  25a07813