Commits · 4.3.4 · paradise / mirror / DIVINE · GitLab

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
Jul 25, 2019
- test: Make the tar invocation in dioscc tests more portable. · 7187d05d
  Petr Rockai authored Jul 25, 2019
  
  7187d05d
Jul 23, 2019
- test: Use the default system compiler for chasing dependencies in pkgc-unpack. · aac44d2a
  Petr Rockai authored Jul 23, 2019
  
  aac44d2a
Jul 25, 2019
- rst: Fix prototypes for __vm_test_taint (a couple of variants used in C code). · bdd382a7
  Petr Rockai authored Jul 25, 2019
  
  bdd382a7
- mem: Add missing #includes to exceptions.hpp. · 93d49f32
  Petr Rockai authored Jul 25, 2019
  
  93d49f32
- mem: Remove the (redundant) 'writable' set from the Cow layer. · c7fc4c9b
  Petr Rockai authored Jul 25, 2019
  
  c7fc4c9b
- dios: Add missing #include <pthread.h> to hostabi.pl. · 1ad41283
  Petr Rockai authored Jul 25, 2019
  
  1ad41283
Jul 09, 2019
- VM: Give more details when uninitialized values are passed to __vm_syscall. · c2f57403
  Petr Rockai authored Jul 09, 2019
  
  c2f57403
Jun 28, 2019
- dios: Add stubs for _Unwind_* to arch/klee. · e4ce3ba0
  Petr Rockai authored Jun 28, 2019
  
  e4ce3ba0
Jun 27, 2019
- MC: Accommodate different task_edge constructors in machine::compute. · 7c860c3f
  Petr Rockai authored Jun 27, 2019
  
  7c860c3f
Jul 23, 2019
- bricks: Back out noisy test unpacking messages from brick-shelltest. · 2bd348a1
  Petr Rockai authored Jul 22, 2019
  
  2bd348a1
- test: Disable leak checking in a scenario where a process is killed. · 3820169b
  Petr Rockai authored Jul 22, 2019
  
  3820169b
- test: Add a missing mutex unlock to a pthread_cancel() test. · 97bd99e1
  Petr Rockai authored Jul 22, 2019
  
  97bd99e1
- test: Fix memory leaks in svcomp/pthread/sigma.pkg.c. · 58958370
  Petr Rockai authored Jul 22, 2019
  
  58958370
Jul 22, 2019
- dios: Downgrade 'thread terminated while holding a lock' to a warning. · 07e8b6aa
  Petr Rockai authored Jul 22, 2019
  
  07e8b6aa
- libc: Optimize memcpy a little. · 89b84846
  Petr Rockai authored Jul 22, 2019
  
  89b84846
Jul 16, 2019
- dios: Report an error if a thread terminates while holding a lock. · 2289520b
  Petr Rockai authored Jul 16, 2019
  
  2289520b
Jul 22, 2019
- test: Also exclude weakmem tests from the default --leakcheck. · 25bc5446
  Petr Rockai authored Jul 22, 2019
  
  25bc5446
- libc: Use cdefs.h macros instead of spelling out annotations on memmove(). · 1a034d47
  Petr Rockai authored Jul 22, 2019
  
  1a034d47
Jul 16, 2019
- libc: Fix an invalid __vm_obj_free() in case no atexit handlers are registered. · 82fe0a11
  Petr Rockai authored Jul 16, 2019
  
  82fe0a11