paul
1 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/opium 2024-06-17 12:52:07 +02:00
ab9fac6a55 Use void
paul pushed to main at paul/opium 2024-06-10 21:10:24 +02:00
b371cdf725 Add some todos
paul pushed to main at paul/opium 2024-06-10 21:08:37 +02:00
fea11b5f24 Remove ugly IORef from fromRow and replace it by ugly compile time calculation :)
301e20e7e8 Add some comments, execute and execute_
20d150d12c Replace ad-hoc isLeft by import from Data.Either
Compare 3 commits »
paul pushed to feature/better-report at paul/jon 2024-05-14 16:43:13 +02:00
91157f970d Improve entry flow a little
paul created branch feature/better-report in paul/jon 2024-05-14 00:14:32 +02:00
paul pushed to feature/better-report at paul/jon 2024-05-14 00:14:32 +02:00
63ffd98ae8 Rework report
paul pushed to main at paul/jon 2024-05-13 19:32:56 +02:00
e6471070a6 Merge branch 'feature/consumption-graphs'
c6544f29c8 Add todo
bd3ca2f413 Add temporary table with index for speeding up consumption graph query
87366336c5 Add inline SVG consumption graphs
Compare 4 commits »
paul pushed to feature/consumption-graphs at paul/jon 2024-05-13 19:32:01 +02:00
ab53b31ec0 Add todo
a201ce00b6 Add temporary table with index for speeding up consumption graph query
Compare 2 commits »
paul pushed to main at paul/opium 2024-04-11 18:32:19 +02:00
3a5488c89d Add ToField and ToParamList modules, fix warning in spec
paul pushed to main at paul/opium 2024-04-11 18:29:00 +02:00
e68bc65576 Tick off fetch implementation
cd7b334ae5 Add fetch and toParamList for passing parameters
c2c6c6eec2 Turn members of Oid module into constants
f8904ccc01 Add timestamp todo
Compare 4 commits »
paul pushed to master at paul/ma 2024-03-11 07:01:15 +01:00
dee3c87c66 Add strong scaling GPU actions table
3ba78c5f11 Add timing script for investigating action contribution
Compare 2 commits »
paul pushed to master at paul/ma 2024-03-11 01:45:34 +01:00
dac08095c4 Add weak timings
paul pushed to master at paul/ma 2024-03-11 00:14:30 +01:00
79227e93d9 Add weak scaling config generation script
d41d8b564b Add booster strong scaling configs
59d5935567 Add more...
Compare 3 commits »
paul pushed to master at paul/ma 2024-03-09 18:49:18 +01:00
075d11b948 Add GPU strong scaling measurement files
1696d72a6f Add pgf generation scripts
6de64dd5d0 Add stuff for eval
b36d8a748d Check in stuff
Compare 4 commits »
paul pushed to master at paul/pbrinkmeier.de 2024-03-07 00:35:38 +01:00
8d867e4d13 Add 18xx.games bookmarklet page
paul deleted branch feature/auth-token-flask-login from paul/jon 2024-02-14 17:58:37 +01:00
paul deleted branch feature/entry from paul/jon 2024-02-14 17:58:37 +01:00
paul deleted branch feature/audit-icons from paul/jon 2024-02-14 17:58:37 +01:00
paul deleted branch dockerized from paul/jon 2024-02-14 17:58:37 +01:00
paul pushed to main at paul/jon 2024-02-14 16:11:42 +01:00
140b272f6c Merge dockerized into main
a7461f6e2c ADD information about docker in README
3c07be0160 ADD Dockerfile for portability
Compare 3 commits »