Commits · f28662f8a00ea2278ee560d4e50924b5e9dba9d6 · 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.

Apr 28, 2019
- UI: Enable statistics for liveness. · f28662f8
  Vladimír Štill authored Apr 28, 2019
  
  f28662f8
- test: Add a bunch of tests for liveness/accepting cycle detection. · 33b86624
  Vladimír Štill authored Apr 28, 2019
  
  33b86624
- bricks: Add reverse iterators to SmallVector. · 17ac4fdc
  Vladimír Štill authored Apr 28, 2019
  
  17ac4fdc
Apr 27, 2019
- bricks: Let compiler do its job generating Range constructors and operator=. · 3c0b3a48
  Vladimír Štill authored Apr 27, 2019
  
  3c0b3a48
Apr 16, 2019
- test: Repurpose the forgotten and unused ERR key in pkgc unpack for ERRSPEC. · be7f86cd
  Vladimír Štill authored Apr 16, 2019
  
  be7f86cd
- test: Make C++17 default for C++ tests, allow overriding it. · 9bf3c457
  Vladimír Štill authored Apr 16, 2019
  
  9bf3c457
- test: Make it possible to match multiple parts of report in ERRSPEC. · 7c6375cf
  Vladimír Štill authored Apr 16, 2019
  
  7c6375cf
Apr 15, 2019
- sim: Fix handling of traces with loops which do not end with accepting state. · 912afd91
  Vladimír Štill authored Apr 15, 2019
  
  912afd91
Jun 23, 2019
- doc: Add LART introspection seminar outline. · ac5056dd
  Jakub Šárník authored Jun 23, 2019
  
  ac5056dd
- 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