Commits · b4fd6031d3fc08bd63aaeb6a62d4ddc8216a2c6c · paradise / mirror / DIVINE · GitLab

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
- MC: Reduce template clutter in compiler error messages. · 643b864c
  Petr Rockai authored Jul 30, 2019
  
  643b864c
- MC: Let 'divine exec' backtrack when it encounters an infeasible path. · c944d781
  Petr Rockai authored Jul 30, 2019
  
  c944d781
- MC: Re-implement 'divine exec' in terms of mc::machine. · d200d844
  Petr Rockai authored Jul 30, 2019
  
  d200d844
- dios: Signal terminal states to the model checker by setting _VM_CF_Stop. · 30b906cf
  Petr Rockai authored Jul 30, 2019
  
  30b906cf
- MC: Fix the assertion that tree_search does not leave snapshots behind. · 3e4e5dc0
  Petr Rockai authored Jul 30, 2019
  
  3e4e5dc0
Jul 29, 2019
- test: Process dependencies of .pkg.c files more carefully. · edf08652
  Petr Rockai authored Jul 29, 2019
  
  edf08652
- test: Construct the cflags for pkgc-unpack dependency chasing more carefully. · f9015e7c
  Petr Rockai authored Jul 29, 2019
  
  f9015e7c
- test: Switch to the toolchain clang for generating dependencies. · e415744a
  Petr Rockai authored Jul 29, 2019
  
  e415744a
- doc: Another minor NEWS update. · 2ddca120
  Petr Rockai authored Jul 29, 2019
  
  2ddca120
- doc: Add some of the NEWS items for the 4.2 series. · 712aa279
  Petr Rockai authored Jul 29, 2019
  
  712aa279
- doc: Add NEWS items for 4.3.0. · 922fe108
  Petr Rockai authored Jul 29, 2019
  
  922fe108