Commits · 6788b15747f70003aa41b26c187362e951394436 · paradise / mirror / DIVINE · GitLab

Jan 30, 2019
- lart: Do not decrement overflowed formula reference count. · 6788b157
  Henrich Lauko authored Jan 30, 2019
  
  6788b157
Jan 22, 2019
- test: Add strchr test. · 3835426d
  Henrich Lauko authored Jan 22, 2019
  
  3835426d
Jan 21, 2019
- rst: Fix mstring strcat. · f18252c9
  Henrich Lauko authored Jan 21, 2019
  
  f18252c9
Feb 11, 2019
- MC: Prepare ground for treating loop detection and scheduling separately. · a5a994c3
  Petr Rockai authored Feb 11, 2019
  
  a5a994c3
- bricks: Allow destructors to be passed into RefPool::put(). · d8bd83a1
  Petr Rockai authored Feb 11, 2019
  
  d8bd83a1
- MC: Put choice snapshots into a separate, refcounted pool. · 9c14f008
  Petr Rockai authored Feb 11, 2019
  
  9c14f008
- mem: Fix reference counting for objects in the cow heap layer. · 8c7d6e92
  Petr Rockai authored Feb 11, 2019
  
  8c7d6e92
- bricks: Add support for tombstone-based erase to the concurrent hash table. · ae7c984f
  Petr Rockai authored Feb 11, 2019
  
  ae7c984f
Feb 10, 2019
- test: Update the expected error message in sim/call-choose.sh. · d78fe9c1
  Petr Rockai authored Feb 10, 2019
  
  d78fe9c1
- dbg: Fix the error message for illegal __vm_choose calls in debug mode. · 5c98a09c
  Petr Rockai authored Feb 10, 2019
  
  5c98a09c
- lart: Remove a stray debug call to dump() from the vaarg pass. · 2a195cea
  Petr Rockai authored Feb 10, 2019
  
  2a195cea
- test: Remove hard tabs from pthread/div/atfork-threaded-*. · aa6fbc1f
  Petr Rockai authored Feb 10, 2019
  
  aa6fbc1f
- test: Fix sim/call.sh (adapt to a change in debug mode fault formatting). · 0317abc7
  Petr Rockai authored Feb 10, 2019
  
  0317abc7
- test: Announce divine commands in the lib/verify test interpreter. · a16b3191
  Petr Rockai authored Feb 10, 2019
  
  a16b3191
- test: Only print 'divine sim' output if it's relevant to the failure. · 3ba9fb87
  Petr Rockai authored Feb 10, 2019
  
  3ba9fb87
- test: Check that observed faults match /* ERROR: foo */-style comments. · 1f42f685
  Petr Rockai authored Feb 10, 2019
  
  1f42f685
- test: Fix build of bricks/cxa_demangle.helper.cpp. · a4838b12
  Petr Rockai authored Feb 10, 2019
  
  a4838b12
- VM: Do not report faults that did not lead to _VM_CF_Error being raised. · 174b02f2
  Petr Rockai authored Feb 10, 2019
  
  174b02f2
- test: Skip the check for FAULT output on liveness tests. · 6b83521b
  Petr Rockai authored Feb 10, 2019
  
  6b83521b
- test: Check for fault anomalies (extra traces, double faults) in CE output. · e8260d32
  Petr Rockai authored Feb 10, 2019
  
  e8260d32
- VM: Tweak the 'invalid pointer dereference' fault message. · b712a47d
  Petr Rockai authored Feb 10, 2019
  
  b712a47d
- VM: Only trigger faults in __vm_test_crit if _VM_CF_Error is not yet raised. · 7542b750
  Petr Rockai authored Feb 10, 2019
  
  7542b750
- libc: Use the new _VM_T_Fault mechanism for tracing errors in __dios_fault. · db3aaa10
  Petr Rockai authored Feb 10, 2019
  
  db3aaa10
- dios: Restore the ordering of trace messages during a fault. · 4bc45b99
  Petr Rockai authored Feb 10, 2019
  
  4bc45b99
- dios: Prevent a double fault due to (useless) stack cleanup in die(). · 57577978
  Petr Rockai authored Feb 10, 2019
  
  57577978
- libc: Clean up pthread (locking-related) fault messages. · f41d9c3b
  Petr Rockai authored Feb 10, 2019
  
  f41d9c3b
- test: Add a (todo) test for long double va_arg. · 10903896
  Petr Rockai authored Feb 09, 2019
  
  10903896
- libc: Comment out the long double section of the stdarg.c inline test. · a0797715
  Petr Rockai authored Feb 09, 2019
  
  a0797715
Feb 09, 2019
- lart: Work around problems that codegen has with fp80 (long double) vaarg. · 60ece6c7
  Petr Rockai authored Feb 09, 2019
  
  60ece6c7
- dios: Add an implementation of __dios_fault() to libdios-host. · 24c175b2
  Petr Rockai authored Feb 09, 2019
  
  24c175b2
Feb 08, 2019
- test: Remove 'todo' tags from divcc/gzip-O[12].sh. · 41c197c3
  Petr Rockai authored Feb 07, 2019
  
  41c197c3
- VM: Assert that we never try to create a signed DynInt. · 9c0c512a
  Petr Rockai authored Feb 07, 2019
  
  9c0c512a
- VM: Fix (unsigned) arithmetic and relational operators on DynInt. · e4f7d0a7
  Petr Rockai authored Feb 07, 2019
  
  e4f7d0a7
Feb 07, 2019
- dios: Set correct size for captured files. · 5e80b911
  Petr Rockai authored Feb 07, 2019
  
  5e80b911
- test: Make sure that it is possible to actually read captured files. · 0a87615f
  Petr Rockai authored Feb 07, 2019
  
  0a87615f
- test: Check that we can configure, build and load gzip into divine. · 8b3ecf55
  Petr Rockai authored Feb 07, 2019
  
  8b3ecf55
- dios: Fix a bogus warning on vfs.stdin being unexpected. · 995026d5
  Petr Rockai authored Feb 07, 2019
  
  995026d5
- dios: Fix an off-by-one in stdio descriptor initialisation in the VFS. · 8e0f7395
  Petr Rockai authored Feb 07, 2019
  
  8e0f7395
- test: Check that stderr is correctly traced by DiOS. · 4e6edfe6
  Petr Rockai authored Feb 07, 2019
  
  4e6edfe6
- test: Give divcc tests proper names and remove the extra divcc- prefix. · b9726b6b
  Zuzana Baranová authored Feb 07, 2019
  
  b9726b6b