occheung
1 Followers · 0 Following
  • Joined on 2020-05-03
Repositories
10
 Projects Packages Code Public Activity Starred Repositories
occheung created pull request M-Labs/nac3#558 2024-12-03 16:47:03 +08:00
nac3artiq: Synchronize embedding map to internal string store
occheung pushed to sync-embed at occheung/nac3 2024-12-03 16:46:31 +08:00
964945d244 string_store: update embedding map after compilation
ae09a0d444 exceptions: preallocate in NAC3 instead
Compare 2 commits »
occheung pushed to master at occheung/nac3 2024-12-03 15:10:52 +08:00
01edd5af67 [meta] Apply rustfmt changes
015714eee1 copy constructor -> clone
71dec251e3 ld/dwarf: remove reader resets
fce61f7b8c ld: fix dwarf sections offset calculations
babc081dbd core/toplevel: update tests
Compare 9 commits »
occheung pushed to sync-embed at occheung/nac3 2024-12-02 17:42:41 +08:00
16ab4363b9 exceptions: preallocate in NAC3 instead
87a69c4be0 embedding_map: allow store_str with specific key
01edd5af67 [meta] Apply rustfmt changes
015714eee1 copy constructor -> clone
71dec251e3 ld/dwarf: remove reader resets
Compare 10 commits »
occheung created branch sync-embed in occheung/nac3 2024-12-02 17:42:41 +08:00
occheung deleted branch restrict-linkage from occheung/nac3 2024-11-29 13:00:56 +08:00
occheung deleted branch nac3ld from occheung/nac3 2024-11-29 13:00:51 +08:00
occheung deleted branch kern-return from occheung/nac3 2024-11-29 13:00:43 +08:00
occheung deleted branch nested-binop from occheung/nac3 2024-11-29 13:00:38 +08:00
occheung deleted branch ld-dwarf-offset from occheung/nac3 2024-11-29 13:00:27 +08:00
occheung commented on issue M-Labs/nac3#531 2024-11-29 12:12:03 +08:00
assorted exception bugs

test_handover_exception is caused by compiler string store and embedding map went out-of-sync.

  • We instantiate a NAC3 instance per class.
  • We instantiate a new embedding map per kernel.

…

occheung created pull request M-Labs/nac3#557 2024-11-28 17:29:58 +08:00
nac3ld: Fix dwarf section reader address calculations
occheung pushed to master at occheung/nac3 2024-11-28 17:20:11 +08:00
5651e00688 flake: add platformdirs artiq dependency
f6745b987f bump sipyco and artiq used for profiling
e0dedc6580 nac3artiq: support kernels sent by content
28f574282c [core_derive] Ignore doctest in example
144f0922db [core] coregen/types: Implement StructFields for NDArray
Compare 27 commits »
occheung created branch ld-dwarf-offset in occheung/nac3 2024-11-28 17:17:40 +08:00
occheung pushed to ld-dwarf-offset at occheung/nac3 2024-11-28 17:17:40 +08:00
4269de8722 copy constructor -> clone
c1e79d1b52 ld/dwarf: remove reader resets
81de843b61 ld: fix dwarf sections offset calculations
5651e00688 flake: add platformdirs artiq dependency
f6745b987f bump sipyco and artiq used for profiling
Compare 10 commits »
occheung commented on pull request M-Labs/artiq-zynq#323 2024-11-20 09:41:32 +08:00
Support CoreMgmt over DRTIO on Zynq Devices

It might be possible if you start multiple aqctl_corelog with different binding ports specified by -p. Though in practice, all I see is the older aqctl_corelog not emitting anything, even…

occheung created pull request M-Labs/artiq-zynq#338 2024-11-18 12:11:12 +08:00
runtime: handle drtio-eem satellite disconnection
occheung commented on pull request M-Labs/nac3#553 2024-11-12 16:26:33 +08:00
Terminate both binary operator branches with *_end basic blocks

The panic looks like this currently:

; ModuleID = 'main'
source_filename = "main"
target datalayout = "e-m:e-p:32:32-i64:64-n32-S128"
target triple = "riscv32-unknown-linux"

%min_arti…
occheung created pull request M-Labs/nac3#553 2024-11-12 16:25:54 +08:00
Terminate both binary operator branches with *_end basic blocks
occheung pushed to nested-binop at occheung/nac3 2024-11-12 15:44:18 +08:00
654cfb64fb boolop: terminate both branches with *_end_bb