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

Jan 28, 2019
- doc: Update NEWS for 4.1.7-4.1.18 with the exception of 4.1.10. · 7da7c57d
  Petr Rockai authored Jan 28, 2019
  
  7da7c57d
Jan 22, 2019
- doc: Update NEWS with the changes in 4.1.6. · 14020fc2
  Petr Rockai authored Jan 22, 2019
  
  14020fc2
- releng: Refuse to make a new release if nothing has changed. · ee8993c4
  Petr Rockai authored Jan 22, 2019
  
  ee8993c4
Jan 17, 2019
- rst: Enable mstring reference counting. · ed0abcf2
  Henrich Lauko authored Jan 17, 2019
  
  ed0abcf2
Jan 21, 2019
- rst: Remove an extraneous closing brace in common.h. · 6966bae3
  Petr Rockai authored Jan 21, 2019
  
  6966bae3
Jan 17, 2019
- rst: Enable forwarding of string through mstring constructor. · 254f4de6
  Henrich Lauko authored Jan 17, 2019
  
  254f4de6
Jan 11, 2019
- rst: Implement taint querying functions. · 257fe5e1
  Henrich Lauko authored Jan 11, 2019
  
  257fe5e1
Jan 14, 2019
- test: Move missed symbolic tests to correct folder. · 8fa2e712
  Henrich Lauko authored Jan 14, 2019
  
  8fa2e712
Jan 18, 2019
- test: Update mstring tests with buffered strings. · 7bb9f9cd
  Henrich Lauko authored Jan 18, 2019
  
  7bb9f9cd
Dec 17, 2018
- lart: Do not lift concrete argument of taint if it is not in the domain. · 754a82cf
  Henrich Lauko authored Dec 17, 2018
  
  754a82cf
Dec 14, 2018
- test: Add test of mstring strcat. · a49ac5c1
  Henrich Lauko authored Dec 14, 2018
  
  a49ac5c1
- rst: Implement strcat in mstring domain. · e3aa80e5
  Henrich Lauko authored Dec 14, 2018
  
  e3aa80e5
Jan 17, 2019
- rst: Denote mstring pointers as marked. · bd918524
  Henrich Lauko authored Jan 17, 2019
  
  bd918524
Jan 19, 2019
- doc: Update NEWS for 4.1.18 and 4.1.19. · a1a34082
  Petr Rockai authored Jan 19, 2019
  
  a1a34082
Jan 18, 2019
- doc: Cover 4.1.20 and 4.1.21 in NEWS. · 29de6792
  Petr Rockai authored Jan 18, 2019
  
  29de6792
- doc: Add changes in 4.1.4 and 4.1.5 to NEWS. · ad6962ef
  Petr Rockai authored Jan 18, 2019
  
  ad6962ef
- CC: Honour 'link essentials' for all libraries. · 5e0d7d24
  Petr Rockai authored Jan 18, 2019
  
  5e0d7d24
Jan 17, 2019
- test: Check that syscalls are weak and __libc_ versions are used internally. · baa2e11a
  Zuzana Baranová authored Jan 17, 2019
  
  baa2e11a
Jan 16, 2019
- libc: Update all internal system calls in fs.cpp to their __libc_ counterparts. · 1859c8df
  Zuzana Baranová authored Jan 15, 2019
  
  1859c8df
- libc: Switch to __libc_{read,write,lseek,close} in _PDCLIB_fileops.c. · 0028a6b3
  Zuzana Baranová authored Jan 15, 2019
  
  0028a6b3
- libc: Use __libc_ variants of kill() and sigaction() in glue.c. · 12d660f3
  Zuzana Baranová authored Jan 15, 2019
  
  12d660f3
- libc: Update to the __libc_{link,unlink} version in _PDCLIB_rename.c. · a31b6677
  Zuzana Baranová authored Jan 15, 2019
  
  a31b6677
- libc: Update to the __libc_{stat,rmdir,unlink} version in remove.c. · 1b59f863
  Zuzana Baranová authored Jan 15, 2019
  
  1b59f863
- libc: Switch to __libc_{fstat,read,close} in internal libc calls. · cba79293
  Zuzana Baranová authored Jan 15, 2019
  
  cba79293
- libc: Use the __libc_ version of getpid() in fork.cpp. · 676f61fb
  Zuzana Baranová authored Jan 15, 2019
  
  676f61fb
- libc: Use the __libc_ version of wait4() in sys/wait.c. · 1a75e650
  Zuzana Baranová authored Jan 15, 2019
  
  1a75e650
- dios: Add a prototype of weak sigaction() for linux & update its definition. · eacf0f8d
  Zuzana Baranová authored Jan 15, 2019
  
  eacf0f8d
Jan 15, 2019
- dios: #define the toplevel namespace as TOP, to use syscall.def in C files. · 58da924d
  Zuzana Baranová authored Jan 15, 2019
  
  58da924d
- dios: Generate prototypes of __libc_ prefixed system calls from SYSCALL(). · a440250a
  Zuzana Baranová authored Jan 15, 2019
  
  a440250a
Jan 16, 2019
- releng: Update for 4.2.0 · 09f32c50
  Release Bot authored Jan 16, 2019
  
  4.2.0
  
  09f32c50
Jan 15, 2019
- UI: Add support for --autotrace allocs(,calls) to the commandline parser. · 62c23af4
  Petr Rockai authored Jan 15, 2019
  
  62c23af4
- MC: Split off builder::Context into its own header (as mc::Context). · 98c7da92
  Petr Rockai authored Jan 15, 2019
  
  98c7da92
- MC: Add support for the 'allocs' mode of autotrace. · c962a80f
  Petr Rockai authored Jan 15, 2019
  
  c962a80f
- MC: Inform the user when exec stops due to an error or an infeasible path. · 1efda0de
  Petr Rockai authored Jan 15, 2019
  
  1efda0de
- MC: Split off Hasher into its own header file. · c94fdd59
  Petr Rockai authored Jan 14, 2019
  
  c94fdd59
Jan 14, 2019
- lart: Extend the autotrace pass with an 'allocs' mode/option. · 5481876f
  Petr Rockai authored Jan 14, 2019
  
  5481876f
- make: Bump the toolchain stamp version to force migration to clang 6. · 17a34a1a
  Petr Rockai authored Jan 14, 2019
  
  17a34a1a
Jan 13, 2019
- cmake: Put back code to export essential LLVM variables. · ce372d11
  Petr Rockai authored Jan 13, 2019
  
  ce372d11
- llvm: Resolve a conflict in CMakeLists.txt. · d005387d
  Petr Rockai authored Jan 13, 2019
  
  d005387d
- VM: Fix xg::AddressMap::has_addr() to correspond to the behaviour of addr(). · 27027924
  Petr Rockai authored Jan 13, 2019
  
  27027924