Commits · 009d8f8a54be1fc3ea0626a8544f8ea89018f58b · 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 16, 2019
- CI: Add CI config · 009d8f8a
  Vladimír Štill authored Jul 16, 2019
  
  009d8f8a
- 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
- CC: Add . and path to loaded object to include paths. · b82a1ee5
  Zuzana Baranová authored Jul 12, 2019
  
  b82a1ee5
- dios: Prepare for pthread_t being distinct from __dios_task. · b9be834b
  Zuzana Baranová authored Jul 12, 2019
  
  b9be834b
- dios: Derive size of pthread_mutex_t from the host system. · 8685364f
  Zuzana Baranová authored Jul 12, 2019
  
  8685364f
- bricks: Fix llvm::Linker::hasModule(). · 910331f1
  Petr Rockai authored Jul 12, 2019
  
  910331f1
- CC: Fix fallout from changes in brick-llvm-link. · b627ec8a
  Petr Rockai authored Jul 12, 2019
  
  b627ec8a
- tools: Fix construction of the brick::llvm::Linker instance in runtime-ld. · 19bd3a12
  Petr Rockai authored Jul 12, 2019
  
  19bd3a12
- CC: The _link_essentials module has lost its '.ll' suffix. · a467a4ef
  Petr Rockai authored Jul 12, 2019
  
  a467a4ef
- tools: Drop the confusing '.ll' suffix from _link_essentials. · a09a6ed0
  Petr Rockai authored Jul 12, 2019
  
  a09a6ed0
- test: Add a demo of gtest-driven unit tests. · a5ca3381
  Petr Rockai authored Jul 12, 2019
  
  a5ca3381
- test: Fix support for running gtest-based testcases. · a5950973
  Petr Rockai authored Jul 12, 2019
  
  a5950973
- bricks: Allow llvm::Linker::link_decls() to be called before link(). · 301588f6
  Petr Rockai authored Jul 12, 2019
  
  301588f6
- bricks: Refactor the way an ::llvm::Linker is constructed in brick-llvm-link. · bf2704af
  Petr Rockai authored Jul 12, 2019
  
  bf2704af
- test: Make the output of cc/abs-include.sh a bit more helpful. · 408d5bb1
  Petr Rockai authored Jul 12, 2019
  
  408d5bb1