Commits · 30267ccf7e32a7507c30c6d3d22eba78d6949553 · 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.

Nov 12, 2018
- lart: Let placeholder return type to remain concrete if it is not in a domain. · 30267ccf
  Henrich Lauko authored Nov 12, 2018
  
  30267ccf
- lart: Enable stashing of values from string domain. · 916ec3c7
  Henrich Lauko authored Nov 12, 2018
  
  916ec3c7
Nov 09, 2018
- lart: Run VPA once more to propagate through decasted values. · 25c50991
  Henrich Lauko authored Nov 09, 2018
  
  25c50991
- lart: Distinguish propagable and transformable instructions based on domain kind. · 2e97755d
  Henrich Lauko authored Nov 09, 2018
  
  2e97755d
Nov 08, 2018
- lart: Refine work with abstract metadata. · c2b34a30
  Henrich Lauko authored Nov 08, 2018
  
  c2b34a30
- lart: Guide value propagation analysis according to the domain type. · 48bbaa41
  Henrich Lauko authored Nov 08, 2018
  
  48bbaa41
- rst: Introduce m-string domain. · 218a3f71
  Henrich Lauko authored Nov 08, 2018
  
  218a3f71
- rst: Introduce string domain definitions. · 727f5f34
  Henrich Lauko authored Nov 08, 2018
  
  727f5f34
- rst: Add __tainted_ptr definition. · 437061d2
  Henrich Lauko authored Nov 08, 2018
  
  437061d2
Nov 16, 2018
- dios: Replace std::string in fs::Socket::Address with Array< char >. · 2c1c5c24
  Petr Rockai authored Nov 16, 2018
  
  2c1c5c24
- dios: Add an assign( size, iterator, iterator ) method to Array. · 6a1a61b9
  Petr Rockai authored Nov 16, 2018
  
  6a1a61b9
Nov 15, 2018
- dios: Replace std::string with Array< char > in fs::SymLink. · b22b1eb9
  Petr Rockai authored Nov 15, 2018
  
  b22b1eb9
- dios: Remove the __trapfn annotation from userspace syscall wrappers. · a8851aa0
  Petr Rockai authored Nov 15, 2018
  
  a8851aa0
- dios: Axe the 'return void using a long jump' hack. · b193a2ed
  Petr Rockai authored Nov 15, 2018
  
  b193a2ed
- dios: Simplify the syscall mechanism somewhat. · 6a1c5129
  Petr Rockai authored Nov 15, 2018
  
  6a1c5129
Nov 16, 2018
- releng: Update for 4.1.18 · dd00e737
  Release Bot authored Nov 16, 2018
  
  4.1.18
  
  dd00e737
Nov 15, 2018
- dios: Add missing #include's (for declarations of argument types) to syscall.h. · 62537ea6
  Petr Rockai authored Nov 15, 2018
  
  62537ea6
- dios: Always use qualified names for structs in syscall.def. · 23f2be56
  Petr Rockai authored Nov 15, 2018
  
  23f2be56
- dios: Add missing __nothrow to a few syscall declarations. · 2b285022
  Petr Rockai authored Nov 15, 2018
  
  2b285022
- VM: Include the current global variables in the root set for leak checking. · e4c823cb
  Petr Rockai authored Nov 15, 2018
  
  e4c823cb
- dios: Clone global variables correctly during fork(). · e1158b15
  Petr Rockai authored Nov 15, 2018
  
  e1158b15
- test: Update sim tests since the dios fault handler name has changed. · 480b115b
  Petr Rockai authored Nov 15, 2018
  
  480b115b
Nov 14, 2018
- dios: Fix an out of bounds access when parsing the 'ncpus' option. · a67d9581
  Petr Rockai authored Nov 14, 2018
  
  a67d9581
- dios: Wrap _PDCLIB/io.h prototypes in extern "C". · 3a975614
  Petr Rockai authored Nov 14, 2018
  
  3a975614
- dios: Tweak _DIVINE_strtol so that it can be used with unterminated strings. · 23b1cdb0
  Petr Rockai authored Nov 14, 2018
  
  23b1cdb0
- dios: Get rid of a no-op reinterpret_cast in Array. · f531120f
  Petr Rockai authored Nov 14, 2018
  
  f531120f
- dios: Add an efficient append() method to Array. · 948ea802
  Petr Rockai authored Nov 14, 2018
  
  948ea802
- dios: Replace std::string with Array for stdio trace buffering. · c35744ea
  Petr Rockai authored Nov 14, 2018
  
  c35744ea
- dios: Fix how std::string_view is passed into printf-like trace functions. · 56dcce84
  Petr Rockai authored Nov 14, 2018
  
  56dcce84
- dios: Drop a useless std::enable_shared_from_this on fs::Directory. · 1efe6d9c
  Petr Rockai authored Nov 14, 2018
  
  1efe6d9c
- dios: Fix a bug in opendir() -- 0 is a valid fd. · 0a98876f
  Petr Rockai authored Nov 13, 2018
  
  0a98876f
- dios: Prevent kernel structures from being accidentally cloned during fork(). · 58b63cad
  Petr Rockai authored Nov 13, 2018
  
  58b63cad
- dios: Use a more compact representation for fs::FileDescriptor sharing. · de0c5a0e
  Petr Rockai authored Nov 13, 2018
  
  de0c5a0e
- dios: Improve the mechanism for upward calls in the kernel stack. · 1e3975ff
  Petr Rockai authored Nov 13, 2018
  
  1e3975ff
Nov 13, 2018
- dios: Remove a couple superfluous uses of __dios::. · b39f05a1
  Petr Rockai authored Nov 13, 2018
  
  b39f05a1
- dios: Move the zombie map from Scheduler into ProcessManager. · 409393fb
  Petr Rockai authored Nov 13, 2018
  
  409393fb
- dios: Use std::list instead of std::deque for implementing Queue. · f4793b46
  Petr Rockai authored Nov 13, 2018
  
  f4793b46
- dios: Use std::string_view for option processing and help output. · 4690a6d5
  Petr Rockai authored Nov 13, 2018
  
  4690a6d5
- dios: Use Array instead of Vector in the kernel. · 15cc979c
  Petr Rockai authored Nov 13, 2018
  
  15cc979c
- dios: Extend Array a little to cover more of the std::vector interface. · 85b9f917
  Petr Rockai authored Nov 13, 2018
  
  85b9f917