Commits · 2afb49d55a047de61af830b365be34b51bc5684b · 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.

Jun 23, 2019
- lart: Add some more comments to metadata and exception handling passes. · 2afb49d5
  Jakub Šárník authored Jun 23, 2019
  
  2afb49d5
- libc: Add some more comments to DiOS metadata structures. · 9beeb4a6
  Jakub Šárník authored Jun 23, 2019
  
  9beeb4a6
- dios: Add introspection and exception handling sections into the README. · 2563a9ac
  Jakub Šárník authored Jun 23, 2019
  
  2563a9ac
Jun 19, 2019
- lart: Add comments to metadata passes. · 1f320e30
  Jakub Šárník authored Jun 19, 2019
  
  1f320e30
- libc: Add comments to metadata structures and query functions. · d20b5a09
  Jakub Šárník authored Jun 19, 2019
  
  d20b5a09
- doc: Add overview of system call proxies. · 61faaa2d
  Adam Matoušek authored Jun 19, 2019
  
  61faaa2d
Jul 03, 2019
- bricks: Re-indent and sprinkle comments around brick-bitlevel. · ffee5345
  Petr Rockai authored Jul 03, 2019
  
  ffee5345
- bricks: Add a comment blurb to brick-assert. · 9c1e7d72
  Petr Rockai authored Jul 03, 2019
  
  9c1e7d72
- bricks: Add (more) comments to brick-trace. · 79c9e965
  Petr Rockai authored Jul 03, 2019
  
  79c9e965
- dios: Add a __boring function annotation (suppressing it from autotrace). · c81009ac
  Petr Rockai authored Jul 03, 2019
  
  c81009ac
- bricks: Allow formatting of mem::Pool pointers with string_builder. · 40180f13
  Petr Rockai authored Jul 03, 2019
  
  40180f13
- bricks: Make the refcount_ptr formatting operator work with string_builder. · 735cd208
  Petr Rockai authored Jul 03, 2019
  
  735cd208
- doc: Update the index of the internals guide/tutorial. · f62db68d
  Petr Rockai authored Jul 02, 2019
  
  f62db68d
- bricks: Use string_builder to format exception descriptions in brick-hashset. · d87eb32b
  Petr Rockai authored Jul 03, 2019
  
  d87eb32b
- bricks: Make brick-trace build in (clang/libc++) C++14 mode. · 07f02715
  Petr Rockai authored Jul 03, 2019
  
  07f02715
- bricks: Fix the string_builder move constructor. · 85886d19
  Petr Rockai authored Jul 03, 2019
  
  85886d19
- bricks: Make string_builder exception-free. · b75f3ab5
  Petr Rockai authored Jul 03, 2019
  
  b75f3ab5
- bricks: Add a documentation blurb for string_builder. · 771d2f5c
  Petr Rockai authored Jul 03, 2019
  
  771d2f5c
- bricks: Add container and tuple formatting to string_builder. · 6ff1fbf0
  Petr Rockai authored Jul 03, 2019
  
  6ff1fbf0
- bricks: Remove the dependency of brick-trace on std::string. · 1873b3f7
  Petr Rockai authored Jul 03, 2019
  
  1873b3f7
- bricks: Simplify the pointer formatting operator in string_builder. · 26e44a76
  Petr Rockai authored Jul 03, 2019
  
  26e44a76
- bricks: Disallow copying of a string_builder. · beec25ad
  Petr Rockai authored Jul 03, 2019
  
  beec25ad
- bricks: Add a very simple string_builder to brick-trace. · 6a0feac3
  Petr Rockai authored Jul 02, 2019
  
  6a0feac3
Jul 02, 2019
- bricks: Move brick-trace into the new-style 'brq' namespace. · c3ca21bc
  Petr Rockai authored Jul 02, 2019
  
  c3ca21bc
- bricks: Trace each executed assertion. · 02f0f3a5
  Petr Rockai authored Jul 02, 2019
  
  02f0f3a5
Jul 03, 2019
- bricks: Fix a deadlock in brick-hashset (introduced by the race fix). · 5d2785ef
  Petr Rockai authored Jul 03, 2019
  
  5d2785ef
- bricks: Add a missing #include <sstream> to brick-string. · 0dd27cec
  Petr Rockai authored Jul 03, 2019
  
  0dd27cec
- dbg: Make the DNKind formatting operator compatible with brq::string_builder. · 6df1708c
  Petr Rockai authored Jul 03, 2019
  
  6df1708c
- LTL: Add a missing #include <sstream>. · 63267ab8
  Petr Rockai authored Jul 03, 2019
  
  63267ab8
- VM: Make formatting operators compatible with brq::string_builder. · c8464eab
  Petr Rockai authored Jul 03, 2019
  
  c8464eab
- bricks: Fix fallout from changing brick-assert to use string_builder. · 1202f2d8
  Petr Rockai authored Jul 03, 2019
  
  1202f2d8
- bricks: Do not print an extra space after IO manipulators when tracing. · a17934a2
  Petr Rockai authored Jul 03, 2019
  
  a17934a2
- bricks: Add missing #include <sstream> for brick-tuple unit tests. · 9282cf56
  Petr Rockai authored Jul 03, 2019
  
  9282cf56
- bricks: Adapt brick-unittest to changes in brick-assert. · 340d3464
  Petr Rockai authored Jul 03, 2019
  
  340d3464
- bricks: Do not use std::string in brick-assert. · d229963f
  Petr Rockai authored Jul 03, 2019
  
  d229963f
- bricks: Move brick-assert into namespace brq. · 46fd7e2d
  Petr Rockai authored Jul 03, 2019
  
  46fd7e2d
Jul 02, 2019
- bricks: Simplify _assert::Location and move it into brick-trace. · 8f0bba41
  Petr Rockai authored Jul 02, 2019
  
  8f0bba41
- bricks: Rework the trace formatting functions for better re-usability. · 9feabc5d
  Petr Rockai authored Jul 02, 2019
  
  9feabc5d
- VM: Fix undefined references to context methods (release builds were affected). · c6bcf300
  Petr Rockai authored Jul 02, 2019
  
  c6bcf300
Jul 01, 2019
- bricks: Fix the contended case of atomic_add_if_nonzero(). · a441df05
  Petr Rockai authored Jul 01, 2019
  
  a441df05