Commits · cf06dac619c5d1fcebff0e192bcaef596a1dfbe1 · paradise / mirror / DIVINE · GitLab

Aug 07, 2019
- 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
- bricks: Include a list of applicable commands in error messages from brick-cmd. · 5d6acd92
  Petr Rockai authored Aug 01, 2019
  
  5d6acd92
- bricks: Refactor the command (as opposed to option) parser in brick-cmd. · 624bfa92
  Petr Rockai authored Aug 01, 2019
  
  624bfa92
- bricks: Rework brick-cmd to reduce its reliance on virtual wrapper methods. · 44754dd3
  Petr Rockai authored Aug 01, 2019
  
  44754dd3
Jul 31, 2019
- bricks: Factor some of the cmd::Parser methods into a common base. · b2d2ff8c
  Petr Rockai authored Jul 31, 2019
  
  b2d2ff8c
- bricks: Replace std::shared_ptr with refcount_ptr in brick-cmd. · 4fb65d53
  Petr Rockai authored Jul 31, 2019
  
  4fb65d53
- bricks: Add a cast constructor and an ordering operator to refcount_ptr. · b844d85a
  Petr Rockai authored Jul 31, 2019
  
  b844d85a
- MC: Banish eval.tpp #includes from header files. · 93c8e5c3
  Petr Rockai authored Jul 31, 2019
  
  93c8e5c3
Jul 27, 2019
- bricks: Generalize data::ArrayMap into brq::array_{map,set}. · e3c043c8
  Petr Rockai authored Jul 27, 2019
  
  e3c043c8
Jul 31, 2019
- MC: Check task validity centrally (in Weaver). · cebd0c6f
  Petr Rockai authored Jul 31, 2019
  
  cebd0c6f
Jul 30, 2019
- test: Add a future symbolic test for atoi (for now uses __vm_choose). · 928dfc6c
  Zuzana Baranová authored Jul 30, 2019
  
  928dfc6c
- VM: Add and fix comments in program.{cpp,hpp} and ctx-base.hpp. · f894f842
  Zuzana Baranová authored Jul 30, 2019
  
  f894f842
- test: Add (todo) symbolic tests for alloca and VLA. · d2585a9a
  Zuzana Baranová authored Jul 30, 2019
  
  d2585a9a
- test: Add (todo) symbolic tests for malloc, realloc and free. · b72b55dd
  Zuzana Baranová authored Jul 30, 2019
  
  b72b55dd
- test: Add helper functions for generating symbolic values with properties. · 9fcd9ab7
  Zuzana Baranová authored Jul 30, 2019
  
  9fcd9ab7
Aug 01, 2019
- releng: Update for 4.3.4 · 978a11f5
  Release Bot authored Aug 01, 2019
  
  4.3.4
  
  978a11f5
Jul 30, 2019
- MC: Reinstate printing of _VM_T_Info traces during 'divine exec'. · ac10af32
  Petr Rockai authored Jul 30, 2019
  
  ac10af32
- test: Fix the invocation of clang++ in pkgc-unpack. · 52b46324
  Petr Rockai authored Jul 30, 2019
  
  52b46324
- MC: Factor out management of snapshot refcounts into a separate method. · fa95607a
  Petr Rockai authored Jul 30, 2019
  
  fa95607a
- MC: Allow the feasibility check to be (usefully) overridden. · bc73845c
  Petr Rockai authored Jul 30, 2019
  
  bc73845c
- MC: Add a missing return to choose_random::select_choice(). · 42cfa153
  Petr Rockai authored Jul 30, 2019
  
  42cfa153
- MC: Extract the task queue type from the final machine stack. · cb707b87
  Petr Rockai authored Jul 30, 2019
  
  cb707b87
- MC: Improve argument order consistency between various machine subtasks. · dea2fa3a
  Petr Rockai authored Jul 30, 2019
  
  dea2fa3a
- MC: Use the standardized version of the is_invocable trait. · eabb8314
  Petr Rockai authored Jul 30, 2019
  
  eabb8314
- MC: Allow Weaver to pass tasks to machines as references. · 4ee2a748
  Petr Rockai authored Jul 30, 2019
  
  4ee2a748