Commits · main · GPU AToLL Project / GPU AToLL · GitLab

Dec 04, 2025
- Release: version 0.0.3 · 1b7cad4d
  Dimitris Aspetakis authored Dec 04, 2025
  
  View commits for tag v0.0.3 v0.0.3
  1b7cad4d
- Update wasmi submodule to version 1.0.0 · 52554bf2
  Dimitris Aspetakis authored Dec 04, 2025
  
  52554bf2
Dec 02, 2025
- Hard error if the Cap pass fails in gpu-atoll-compile · 63992ce7
  Dimitris Aspetakis authored Dec 02, 2025
  
  63992ce7
- Cap: fall back to kernel hardening in conditionally-run BBs · c6a90966
  Dimitris Aspetakis authored Dec 02, 2025
  c6a90966
Dec 01, 2025
- Fix hardening mode detection in `gpu-atoll-compile` · a97adb6f
  Dimitris Aspetakis authored Dec 01, 2025
  
  a97adb6f
Nov 27, 2025
- More legible timestamp in GPU atoll compile script · 1c4839a8
  Dimitris Aspetakis authored Nov 27, 2025
  
  1c4839a8
Nov 26, 2025
- Add an `--analytics-output-dir` option to `gpu-atoll-compile` · fbb9293e
  Dimitris Aspetakis authored Nov 26, 2025
  
  fbb9293e
- Cap: fixed a bug with global variable accesses · 5a3dd3b5
  Dimitris Aspetakis authored Nov 25, 2025
  5a3dd3b5
Nov 24, 2025
- Cap: fixed updateRoot() transitions for already kernel-hardened instructions · 814a24de
  Dimitris Aspetakis authored Nov 24, 2025
  
  814a24de
- Opportunistic kernel prelude verification for buffer accesses · 2d255cb3
  Dimitris Aspetakis authored Nov 20, 2025
  
  2d255cb3
Nov 19, 2025
- Create the analytics' output directory if not existent in gpu-atoll-compile... · 8bc65b08
  Dimitris Aspetakis authored Nov 19, 2025
  8bc65b08
Nov 16, 2025
- Cap: harden shared memory accesses · 0c5d659f
  Dimitris Aspetakis authored Nov 16, 2025
  0c5d659f
- Cap: TODO, NOTE and FIXME formatting · 3a786452
  Dimitris Aspetakis authored Nov 16, 2025
  
  3a786452
Nov 07, 2025
- Cap: better 'nvptx64-*-cuda' triple identification · ec4a0224
  Dimitris Aspetakis authored Nov 08, 2025
  
  ec4a0224
Nov 06, 2025
- Interposer: add support for `cudaGetDevice()` and `cudaMemcpyToSymbol()` · 223fd442
  Dimitris Aspetakis authored Nov 06, 2025
  
  223fd442
Nov 05, 2025
- Interposer: add support for `cudaMemset()` · ebe34a08
  Dimitris Aspetakis authored Nov 05, 2025
  
  ebe34a08
- Add support for nvcc-style architecture specification · d7f519d2
  Dimitris Aspetakis authored Nov 05, 2025
  
  d7f519d2
- Interposer: add support for `cudaFuncSetCacheConfig()` · 0df1ae60
  Dimitris Aspetakis authored Nov 05, 2025
  
  0df1ae60
Nov 04, 2025
- Cap: fixed an invalid assertion · 3bb9a1de
  Dimitris Aspetakis authored Nov 04, 2025
  3bb9a1de
- Added support for `--include` in `gpu-atoll-compile` · 8607e6e6
  Dimitris Aspetakis authored Nov 04, 2025
  
  8607e6e6
Oct 31, 2025
- Added a `--cap-use-bitwise-fence` flag · 32e9a371
  Dimitris Aspetakis authored Oct 31, 2025
  32e9a371
Oct 22, 2025
- Readme refinements for the interposer and LLVM passes modules · 035e9eba
  Dimitris Aspetakis authored Oct 22, 2025
  
  035e9eba
- Added an analytics summary option to `gpu-atoll-compile` · 7976576c
  Dimitris Aspetakis authored Oct 22, 2025
  7976576c
- Cap: remove incorrect VCs for accesses to non-global state spaces, and add analytics · 91804ba5
  Dimitris Aspetakis authored Oct 22, 2025
  
  91804ba5
Oct 20, 2025
- Added support for more CUDA runtime API calls, mostly on CUDA streams and graphs · 00adc831
  Dimitris Aspetakis authored Oct 17, 2025
  View commits for tag v0.0.2 v0.0.2
  00adc831
Oct 15, 2025
- Cap: enabled support for lifetime intrinsics · c0f0a3d9
  Dimitris Aspetakis authored Oct 15, 2025
  
  c0f0a3d9
- Cap: added support for `AtomicRMWInst` and `AtomicCmpXchgInst` · a9de24de
  Dimitris Aspetakis authored Oct 15, 2025
  
  a9de24de
- Enhance gpu-atoll-compile script with nvcc and clang-like flags · 5aba37ad
  Dimitris Aspetakis authored Oct 15, 2025
  
  5aba37ad
- Cap: enable support for warp-level shuffle intrinsics · 45d7183d
  Dimitris Aspetakis authored Oct 15, 2025
  
  45d7183d
- Script streamlining + added support for a compile-only mode to gpu-atoll-compile · 5460b302
  Dimitris Aspetakis authored Oct 15, 2025
  
  5460b302
Oct 14, 2025
- Re-enable support for barrier intrinsics · 814d5fc2
  Dimitris Aspetakis authored Oct 14, 2025
  
  814d5fc2
- Switched to using enums for NVPTX intrinsic identification · e4f6e4a3
  Dimitris Aspetakis authored Oct 14, 2025
  
  e4f6e4a3
Oct 13, 2025
- Interposer: printing infrastructure overhaul + promoted all warnings and errors to hard exits · 7d4e3f92
  Dimitris Aspetakis authored Oct 13, 2025
  
  7d4e3f92
Oct 11, 2025
- Cap: switched a few if statements with assertions · ada131e8
  Dimitris Aspetakis authored Oct 11, 2025
  
  ada131e8
Oct 10, 2025
- Cap: more explicit disallowance of yet-to-be-supported instructions · 214c40c4
  Dimitris Aspetakis authored Oct 10, 2025
  214c40c4
- Cap: fail on instructions that may read or write memory and haven't yet been... · 074753ff
  Dimitris Aspetakis authored Oct 10, 2025
  074753ff
Oct 06, 2025
- Interposer: switched to debug-printing · d8876f10
  Dimitris Aspetakis authored Oct 06, 2025
  
  d8876f10
- Interposer: reworked gpu-atoll initialization · 5349041f
  Dimitris Aspetakis authored Oct 06, 2025
  
  5349041f
Oct 03, 2025
- Add Apache v2.0 license and NOTICE file · 3a26f09c
  Dimitris Aspetakis authored Oct 03, 2025
  
  View commits for tag v0.0.1 v0.0.1
  3a26f09c
Oct 02, 2025
- Fence accesses to statically-allocated globals (extended from just global device constants) · 6d034859
  Dimitris Aspetakis authored Oct 02, 2025
  
  6d034859