Commits · 6efe68f1b6bcf899288f28ecb6c29383c473ba25 · paradise / mirror / DIVINE · GitLab

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
- bricks: Cut down a bit on template interdependencies in brick-cmd. · e4abee3d
  Petr Rockai authored Aug 05, 2019
  
  e4abee3d
- bricks: Use brq::cons also in cmd::OptionSet (in addition to cmd::Command). · 14893b5c
  Petr Rockai authored Aug 05, 2019
  
  14893b5c
Aug 04, 2019
- UI: Minor changes in the CLI parser, required due to the brick-cmd overhaul. · dec8a3ff
  Petr Rockai authored Aug 04, 2019
  
  dec8a3ff
- sim: Adapt the command parser to changes in brick-cmd. · 866ccd6f
  Petr Rockai authored Aug 04, 2019
  
  866ccd6f
Aug 02, 2019
- bricks: Use brq::cons instead of std::tuple in cmd::Parser. · 02b77ea1
  Petr Rockai authored Aug 02, 2019
  
  02b77ea1
- bricks: Add a new implementation of heterogeneous cons-cell list. · 97fa0ad5
  Petr Rockai authored Aug 02, 2019
  
  97fa0ad5
Aug 01, 2019
- bricks: Further cut down on template instances generated by brick-cmd. · b4fd6031
  Petr Rockai authored Aug 01, 2019
  
  b4fd6031
- bricks: Cut down a bit on template instantiation in brick-cmd. · d78b8d81
  Petr Rockai authored Aug 01, 2019
  
  d78b8d81
- bricks: Fix newlines in the 'ambiguous command' error message in brick-cmd. · 517bccdb
  Petr Rockai authored Aug 01, 2019
  
  517bccdb
- bricks: Replace std::stringstream with brq::string_builder in brick-cmd. · 234805af
  Petr Rockai authored Aug 01, 2019
  
  234805af
- bricks: Simplify help formatting code in brick-cmd. · d83e8cf1
  Petr Rockai authored Aug 01, 2019
  
  d83e8cf1