Feat: Add README; Fix minor bugs - #59

Merged

zjp-CN merged 10 commits into

mainfrom

Jan 31, 2026

Commits on Jan 30, 2026

ui(graph): plot adt Node for Constructor caller
zjp-CN
committed
856784f
ui: better default example of std and core
zjp-CN
committed
bffda4b

Commits on Jan 31, 2026

fix(SearchFn): only mark unsafe caller as unsafe
zjp-CN
committed
12c0efd
io(AdtPopup): defualt not unsafeOnly
zjp-CN
committed
4e30a41
ui(AdtPopup): remove the limit of displaying it when adt panel is active
zjp-CN
committed
e710ff4
README: explain features and build commands
zjp-CN
committed
486c732
README: fix image links
zjp-CN
committed
cb14253
ui(tagview): remove spec url to not leak lab info
zjp-CN
committed
a35ec0d
README: fix wording and links
zjp-CN
committed
3b3caeb
README: rephraze intro
zjp-CN
committed
d8f538d