diff options
| author | giovannicuccu <giovanni.cuccu@gmail.com> | 2024-01-28 23:24:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-28 23:24:47 +0100 |
| commit | be5b3318b150243c0ea24def82c2b8d6f3f1e06d (patch) | |
| tree | 837b1ead33d06cfe5641aba8dea3696be8eee407 /github_users.txt | |
| parent | 46d375e621d1ae286058407fc38d55600fc679eb (diff) | |
Solution without unsafe using vector API (#602)
* Solution without unsafe
* Solution without unsafe
* Solution without unsafe, remove the usage of bytebuffer, passes the create_measurements3 test
* bug fix for 10k test, update also the CreateMeasurements3.java to use '\n' as newline instead of the os value (if it runs on windows it uses crlf and "breaks" the file format )
---------
Co-authored-by: Giovanni Cuccu <gcuccu@imolainformatica.it>
Diffstat (limited to 'github_users.txt')
| -rw-r--r-- | github_users.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/github_users.txt b/github_users.txt index 497909c..eb3ac2c 100644 --- a/github_users.txt +++ b/github_users.txt @@ -1,3 +1,4 @@ +giovannicuccu;Giovanni Cuccu Ujjwalbharti;Ujjwal Bharti abfrmblr;Abhilash ags313;ags |