Commits · 6182816460e83da0a832244086602ad0d556f9e4 · 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.

Dec 28, 2015
- LART: Fix relaxed/release/acquire atomics in weakmem. · 61828164
  Vladimír Štill authored Dec 28, 2015
```
They were overly synchronizing.
```
  61828164
- LART: Rewrite weakmem to support LLVM memory model. · 65c93c44
  Vladimír Štill authored Dec 28, 2015
  
  65c93c44
Jun 05, 2017
- test: Fix trace.sh -- final states no longer contain global variables. · 3d548a2f
  Petr Rockai authored Jun 05, 2017
  
  3d548a2f
Jun 04, 2017
- DiOS: Fix setting of global variables with multiple processes. · 6257c3f1
  Zuzana Baranová authored Jun 04, 2017
  
  6257c3f1
Jun 03, 2017
- DiOS: Delete threads in killProcess() instead of SortedStorage::erase(). · e3685d47
  Zuzana Baranová authored Jun 03, 2017
  
  e3685d47
- DiOS: Implement fork using a helper sysfork syscall. · f8e4b4fa
  Zuzana Baranová authored Jun 03, 2017
  
  f8e4b4fa
- DiOS: Add support for processes. · 8b920667
  Zuzana Baranová authored Jun 03, 2017
  
  8b920667
Jun 05, 2017
- cmake: Move runtime compilation flags into a separate file. · 79e62ef4
  Vladimír Štill authored Jun 05, 2017
  
  79e62ef4
May 24, 2017
- releng: Make *.flags interesting for version hash. · dabb99df
  Vladimír Štill authored May 24, 2017
  
  dabb99df
Jun 05, 2017
- tools: Compile modules only if changed in runtime-cc. · 93620854
  Jan Mrázek authored Jun 05, 2017
  
  93620854
- bricks: Import an SHA-2 implementation. · f38151e0
  Jan Mrázek authored Jun 05, 2017
  
  f38151e0
Jun 03, 2017
- DiOS: Add insert() for inserting pre-constructed threads into SortedStorage. · c02d676a
  Zuzana Baranová authored Jun 03, 2017
  
  c02d676a
- VM: Fix comment typos. · d680cfd8
  Zuzana Baranová authored Jun 03, 2017
  
  d680cfd8
- VM: Fix handling of freed memory in heap::clone. · edbc2228
  Zuzana Baranová authored Jun 03, 2017
  
  edbc2228
May 22, 2017
- bricks: Find tests in files containing digits. · 422ac9ed
  Jan Mrázek authored May 22, 2017
  
  422ac9ed
- bricks: Implement fs::touch. · 72daf39f
  Jan Mrázek authored May 22, 2017
  
  72daf39f
May 18, 2017
- bricks: Implement fs::readFileOr and fs::writeFile. · 113efd8a
  Jan Mrázek authored May 18, 2017
  
  113efd8a
- DiOS: Clean includes. · 9d75e259
  Jan Mrázek authored May 18, 2017
  
  9d75e259
- DiOS: Handle extern "C" in includes correctly. · 9fb31373
  Jan Mrázek authored May 18, 2017
  
  9fb31373
May 14, 2017
- CC: Implement preprocessor output. · 8292b3fa
  Jan Mrázek authored May 14, 2017
  
  8292b3fa
Jun 01, 2017
- releng: Update for 4.0.9 · dc8bec8a
  Release Bot authored Jun 01, 2017
  
  4.0.9
  
  dc8bec8a
May 19, 2017
- cmake: Make sure version-generated.cpp is generated before it is built. · e3d6d9a8
  Vladimír Štill authored May 19, 2017
  
  e3d6d9a8
May 17, 2017
- make: Try to link static target with as many static dependencies as possible. · 27b2dc78
  Vladimír Štill authored May 17, 2017
  
  27b2dc78
May 13, 2017
- DiOS: Move _start into libc. · 217a3d74
  Jan Mrázek authored May 12, 2017
  
  217a3d74
May 12, 2017
- DiOS: Fix typos in docstring. · b14ceb28
  Jan Mrázek authored May 12, 2017
  
  b14ceb28
- DiOS: Remove unused DebugTraceConfig. · 22f51e6c
  Jan Mrázek authored May 12, 2017
  
  22f51e6c
May 11, 2017
- test: Add test for DiOS help. · f64e031f
  Jan Mrázek authored May 11, 2017
  
  f64e031f
- DiOS: Fix temporaryFaultHandler prototype. · 828a80d7
  Jan Mrázek authored May 11, 2017
  
  828a80d7
- VM: Make function arguments validation error more verbose. · 2a90095b
  Jan Mrázek authored May 10, 2017
  
  2a90095b
May 10, 2017
- VM: Fix comment typos. · 0b0b25f9
  Jan Mrázek authored May 10, 2017
  
  0b0b25f9
- UI: Make verify output consistent with sim. · da27b0ea
  Jan Mrázek authored May 10, 2017
  
  da27b0ea
May 17, 2017
- test: Make it possible to import benchmarks from other directories than test. · 17858daa
  Vladimír Štill authored May 17, 2017
  
  17858daa
- bricks: Make lengths in data::SmallVector size_t and refactor it a bit. · f3233304
  Vladimír Štill authored May 17, 2017
  
  f3233304
May 05, 2017
- lart: Try to preserve metadata from optimized-out alloca instructions. · a92b7643
  Vladimír Štill authored May 05, 2017
  
  a92b7643
- test: Add a very simple test for sim show. · 37115704
  Vladimír Štill authored May 05, 2017
  
  37115704
May 11, 2017
- lart: Remove invalid function attributes after the substitution. · e039c34c
  Henrich Lauko authored May 11, 2017
  
  e039c34c
- lart: Fix llvm::cast of users in call propagation. · fac1b45d
  Henrich Lauko authored May 11, 2017
  
  fac1b45d
May 15, 2017
- releng: Update for 4.0.8 · a6bb7cf9
  Release Bot authored May 15, 2017
  
  4.0.8
  
  a6bb7cf9
May 10, 2017
- make: Version the toolchain stamp (fixes builds after the libc++ ABI change). · dd25246c
  Petr Rockai authored May 10, 2017
  
  dd25246c
- DiOS: Handle boot faults properly. · 86eace21
  Jan Mrázek authored May 10, 2017
  
  86eace21