Commits · 81cb983759f3df7437ef8677c417de86c456f6f3 · 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.

Jun 16, 2019
- releng: Update for 4.3.1 · 81cb9837
  Release Bot authored Jun 16, 2019
  
  4.3.1
  
  81cb9837
Jun 15, 2019
- MC: Add a unit test for loop detection in machine::Graph. · 9ebf5bb3
  Petr Rockai authored Jun 15, 2019
  
  9ebf5bb3
- MC: Make the loop detection hash table local to a single transition. · 376c6f46
  Petr Rockai authored Jun 15, 2019
  
  376c6f46
- VM: Improve support for integers with a not-power-of-2 number of bits (DynInt). · 92d18b7b
  Petr Rockai authored Jun 15, 2019
  
  92d18b7b
- bricks: Hack in support for __uint128_t into string::fmt(). · 2316b9c9
  Petr Rockai authored Jun 15, 2019
  
  2316b9c9
- dbg: Fix printing of integer values (broke due to i128 changes). · 93e86f97
  Petr Rockai authored Jun 15, 2019
  
  93e86f97
- VM: Add support for the LLVM type i128. · 133ce88c
  Petr Rockai authored Jun 15, 2019
  
  133ce88c
- bricks: Extend bitlevel::bvpair with a few additional operators. · a357c3e0
  Petr Rockai authored Jun 15, 2019
  
  a357c3e0
- VM: Improve support for 128-bit integers. · 58b7d95b
  Petr Rockai authored Jun 15, 2019
  
  58b7d95b
Jun 13, 2019
- RT: Add -D__ELF__ and -D__unix__ to default DiosCC flags. · 7c7ec4d9
  Petr Rockai authored Jun 13, 2019
  
  7c7ec4d9
- make: Clean up old lld libs from build directories since they break the build. · 8a09714b
  Petr Rockai authored Jun 13, 2019
  
  8a09714b
- cmake: Update LLVM package version to 7.0.0. · 5090068b
  Petr Rockai authored Jun 13, 2019
  
  5090068b
- RT: Fix a buggy assignment in DiosCC::setup(). · b5b2d1a8
  Petr Rockai authored Jun 12, 2019
  
  b5b2d1a8
Jun 12, 2019
- cmake: Fix stringify -- string_view has been out of experimental for a while. · ee8fb8fc
  Petr Rockai authored Jun 12, 2019
  
  ee8fb8fc
- stp: Replace uses of deprecated std::auto_ptr with std::unique_ptr. · 6587f514
  Petr Rockai authored Jun 12, 2019
  
  6587f514
Mar 03, 2019
- VM: Fix eval debug prints. · 1305318e
  Petr Rockai authored Mar 03, 2019
  
  1305318e
Nov 25, 2018
- test: Make it easier to debug failures in various filesystem test cases. · 249b54e4
  Petr Rockai authored Nov 25, 2018
  
  249b54e4
Jun 12, 2019
- cmake: Tell libc++ that it should use an in-tree build of libc++abi. · 15a61b9e
  Petr Rockai authored Jun 12, 2019
  
  15a61b9e
- make: Always run the toolchain build with a clean cmake cache. · 2bce0b4c
  Petr Rockai authored Jun 12, 2019
  
  2bce0b4c
- cmake: Fix compile flags for libc++{,abi}. · bfd0d300
  Petr Rockai authored Jun 12, 2019
  
  bfd0d300
- cmake: Build DiOS with -D__ELF__ and -D__unix__. · 6132f2b2
  Petr Rockai authored Jun 12, 2019
  
  6132f2b2
- cmake: Import cmake modules shipped with libc++abi. · 5bf207d1
  Petr Rockai authored Jun 12, 2019
  
  5bf207d1
- clang: Resolve conflicts in toolchain-specific code. · 95ece3ff
  Petr Rockai authored Jun 12, 2019
  
  95ece3ff
- make: Bump the toolchain stamp version. · c151b79f
  Petr Rockai authored Jun 12, 2019
  
  c151b79f
- cmake: Work around what looks like a cmake bug with SONAME and linking. · e34dcf7b
  Petr Rockai authored Jun 11, 2019
  
  e34dcf7b
- llvm: Resolve conflicts in cmake files. · cd600cc1
  Petr Rockai authored Jun 11, 2019
  
  cd600cc1
- libc: Fix a few warnings. · 4786ee59
  Petr Rockai authored Jun 11, 2019
  
  4786ee59
- bricks: Update LLVM bricks to build with LLVM version 7. · c8da635d
  Petr Rockai authored Jun 11, 2019
  
  c8da635d
- bricks: Work around a new clang warning in a brick-ptr test. · 8c4144cb
  Petr Rockai authored Jun 11, 2019
  
  8c4144cb
- lart: Adjust to build with LLVM 7. · 1272e699
  Petr Rockai authored Jun 11, 2019
  
  1272e699
Jun 11, 2019
- dbg: Fix handling of types derived from enumeration types. · 3c3ca799
  Petr Rockai authored Jun 11, 2019
  
  3c3ca799
- CC: Adapt to changes in LLVM 7. · 75018d50
  Petr Rockai authored Jun 11, 2019
  
  75018d50
- clang: Update to version 7.0 from upstream (utils). · 39ee1644
  Petr Rockai authored Jun 11, 2019
  
  39ee1644
- clang: Update to upstream version 7.0 (tools). · fc39b4c2
  Petr Rockai authored Jun 11, 2019
  
  fc39b4c2
- clang: Update to version 7.0 from upstream (lib). · bf86d8d5
  Petr Rockai authored Jun 11, 2019
  
  bf86d8d5
- clang: Update to version 7.0 from upstream (include). · 590176f0
  Petr Rockai authored Jun 11, 2019
  
  590176f0
- clang: Update to version 7.0 from upstream (cmake). · e6b56f8a
  Petr Rockai authored Jun 11, 2019
  
  e6b56f8a
- llvm: Update credits and other toplevel docs (to 7.0). · ad5859f2
  Petr Rockai authored Jun 11, 2019
  
  ad5859f2
- llvm: Update to version 7.0 from upstream (utils). · 44481298
  Petr Rockai authored Jun 11, 2019
  
  44481298
- llvm: Update to version 7.0 from upstream (tools). · 95dd33c1
  Petr Rockai authored Jun 11, 2019
  
  95dd33c1