Commits · 18a6264bef1ee27eb499261eb2e393ecfecfa146 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Jul 16, 2019
- 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
- mem: Fix a refcounting race condition in object deduplication code. · 93a0e5cb
  Petr Rockai authored Jul 14, 2019
  
  93a0e5cb
- MC: Fix the callback that machine gives to RefPool::put(). · efd617a2
  Petr Rockai authored Jul 14, 2019
  
  efd617a2
- bricks: Make the put() callback in RefPool a little more flexible. · 5625a1a4
  Petr Rockai authored Jul 14, 2019
  
  5625a1a4
- mem: Avoid reading unmapped memory (and segving) when hashing short metadata. · da155e6e
  Petr Rockai authored Jul 14, 2019
  
  da155e6e
- bricks: Add a 'hash' argument to the erase() method in hash adaptors. · d5066cf1
  Petr Rockai authored Jul 14, 2019
  
  d5066cf1
- MC: Hash adaptors are now expected to do hash-based matching themselves. · 1beee5e5
  Petr Rockai authored Jul 14, 2019
  
  1beee5e5
- bricks: Add a formatting operator for hash_table::LookupTag. · 6636028c
  Petr Rockai authored Jul 14, 2019
  
  6636028c
- bricks: Add a revive() method to atomic_cell (to restore its erased key). · e367d5f1
  Petr Rockai authored Jul 14, 2019
  
  e367d5f1
- bricks: Make hash_set tombstones (in atomic_cell) remember the erased key. · 28e31437
  Petr Rockai authored Jul 14, 2019
  
  28e31437
Jul 13, 2019
- bricks: Fix an off-by-one in the number formatter in string_builder. · 9174dc87
  Petr Rockai authored Jul 13, 2019
  
  9174dc87
- bricks: Add missing const attributes to a few atomic_cell methods. · 884c5b0f
  Petr Rockai authored Jul 13, 2019
  
  884c5b0f
- bricks: Disable tomb re-use in concurrent_hash_set since it is not safe. · 3977b9e0
  Petr Rockai authored Jul 13, 2019
  
  3977b9e0
- bricks: Add an invalidate hook to hash_adaptor. · a07a4831
  Petr Rockai authored Jul 13, 2019
  
  a07a4831
Jul 14, 2019
- CC: Propagate cc1 arguments to driver. · 53b229cc
  Zuzana Baranová authored Jul 14, 2019
  
  53b229cc
- CC: Pass PIC-specific arguments to cc1 if -fPIC flag was present. · 3154f986
  Zuzana Baranová authored Jul 14, 2019
  
  3154f986
- CC: Make PID part of temporary object file name, for parallel compilation. · 5d5d3630
  Zuzana Baranová authored Jul 14, 2019
  
  5d5d3630
- CC: Recognize shared libraries not ending with .so when linking. · 8e8448ca
  Zuzana Baranová authored Jul 14, 2019
  
  8e8448ca
- CC: Deduplicate loading of modules when linking bitcode in Native. · f18979cd
  Zuzana Baranová authored Jul 14, 2019
  
  f18979cd
Jul 12, 2019
- CC: Add the Shared filetype for .so files, recognize the type by magic number. · dec27d5a
  Zuzana Baranová authored Jul 12, 2019
  
  dec27d5a