Commits · d0529fba79aa91ce0442367e8f18c210a6a7e4eb · paradise / mirror / DIVINE · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to apply security updates. The reboot will occur on Monday, 2024-05-06, between 03:45 and 4:00 AM.

Jul 26, 2019
- CI: Add CI config · d0529fba
  Vladimír Štill authored Jul 26, 2019
  
  d0529fba
Jul 25, 2019
- 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
- test: Run tests with --leakcheck exit by default (excluding --symbolic). · 2b6c349c
  Petr Rockai authored Jul 16, 2019
  
  2b6c349c
- libc: Make sure pthread handlers (atfork/tls) are not free'd prematurely. · df85bb3a
  Petr Rockai authored Jul 16, 2019
  
  df85bb3a
- UI: Switch to non-interactive mode when BRICK_TRACE is set in the environment. · 18a6264b
  Petr Rockai authored Jul 16, 2019
  
  18a6264b
- test: Make sure that atexit handlers do not interleave with unjoined threads. · b0183484
  Petr Rockai authored Jul 16, 2019
  
  b0183484
- bricks: Trace allocations and deallocations in mem::Pool. · c24e220f
  Petr Rockai authored Jul 16, 2019
  
  c24e220f
- bricks: Add a description to the mem::RefCnt class. · 676ddd9b
  Petr Rockai authored Jul 16, 2019
  
  676ddd9b
- bricks: Include the hash in trace output for hash_set::erase(). · d14ed934
  Petr Rockai authored Jul 16, 2019
  
  d14ed934
- bricks: Format the tags of mem::Pool pointers in hexadecimal. · c87ac1fa
  Petr Rockai authored Jul 16, 2019
  
  c87ac1fa
- bricks: Clarify the refcount_ptr comparison operator a little. · d6214c82
  Petr Rockai authored Jul 16, 2019
  
  d6214c82
- bricks: Prevent a race on valgrind metadata in mem::RefPool. · 6680ee0f
  Petr Rockai authored Jul 16, 2019
  
  6680ee0f
- MC: Update 'machine' with regard to changes in snap_put(). · 52bcb9fd
  Petr Rockai authored Jul 16, 2019
  
  52bcb9fd
- MC: Properly free temporary snapshots created by Builder. · 1f789748
  Petr Rockai authored Jul 16, 2019
  
  1f789748
- mem: Make snap_put() safe to use on the currently active snapshot. · 2b3baf84
  Petr Rockai authored Jul 16, 2019
  
  2b3baf84
- mem: Fix the callback passed to the RefPool put() method. · 97dc403e
  Petr Rockai authored Jul 16, 2019
  
  97dc403e
- bricks: Generalize the mem::RefPool::put() callback further. · 14477aa2
  Petr Rockai authored Jul 16, 2019
  
  14477aa2
Jul 14, 2019
- test: Set resource limits based on tags (big, huge). · 67383fe6
  Petr Rockai authored Jul 14, 2019
  
  67383fe6
Jul 16, 2019
- releng: Update for 4.3.3 · 59431e48
  Release Bot authored Jul 16, 2019
  
  4.3.3
  
  59431e48
Jul 15, 2019
- dios: Make regex.h public (the version provided by TRE). · 295b00a1
  Petr Rockai authored Jul 15, 2019
  
  295b00a1
Jul 14, 2019
- test: Add a (todo) sym test for ctype.h functions (isdigit() etc.). · 55551740
  Zuzana Baranová authored Jul 14, 2019
  
  55551740
- test: Add a test for symbolic values in abs(), todo tests for access() & exit(). · a03fbe24
  Zuzana Baranová authored Jul 14, 2019
  
  a03fbe24
- UI: Log progress once a minute when running non-interactively. · 3581409f
  Petr Rockai authored Jul 14, 2019
  
  3581409f
- RT: Only check for missing symbols and link in DIVINE libs with executables. · f7c56c08
  Zuzana Baranová authored Jul 14, 2019
  
  f7c56c08
- bricks: Delegate hash-based matching in hash_set to the adaptor. · a2acf773
  Petr Rockai authored Jul 14, 2019
  
  a2acf773