-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: immunant/IA2-Phase2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
tests/type_confusion: add
dav1d_{alloc,free}
instead of IA2_SHARED_DATA
and make Dav1dContext
opaque
#529
opened Mar 11, 2025 by
kkysen
Loading…
tests/type_confusion: add comments for clarity for how APIs work
#528
opened Mar 11, 2025 by
kkysen
Loading…
rewriter: add
IA2_{CON,DE}STRUCTOR
attribute macros, emit ia2_type_registry_*
calls, and enable type_confusion
tests
#524
opened Mar 9, 2025 by
kkysen
Loading…
rewriter: some minor fixes to
IA2_{PRE,POST}_CONDITION_FOR
#523
opened Mar 9, 2025 by
kkysen
Loading…
rewriter: thread through
Context
type and move TypeId
/TypeInfo
to TypeInfoInterner
#522
opened Mar 9, 2025 by
kkysen
Loading…
format: run
rg --files --type c --type cpp --glob '!external/' | xags clang-format -i
#518
opened Mar 3, 2025 by
kkysen
Loading…
rewriter: wrap
AbiSignature
in FnSignature
that also stores API info (arg/return types)
#514
opened Feb 24, 2025 by
kkysen
Loading…
rewriter: implement multiple pre- and post-conditions in asm
#512
opened Feb 18, 2025 by
kkysen
Loading…
rewriter: implement support for a single pre-condition function
#511
opened Feb 18, 2025 by
kkysen
Loading…
rewriter: switch from hardcoded
--enable-dav1d_get_picture-post-condition
to IA2_{PRE,POST}_CONDITION()
attribute annotation macros
#510
opened Feb 18, 2025 by
kkysen
Loading…
Fix translation of literal 0 in function pointer assignment/comparison
#502
opened Jan 27, 2025 by
randomPoison
Loading…
test_runner: ensure no signal with an expected signal is an error
#499
opened Jan 26, 2025 by
kkysen
Loading…
runtime/tracer: passthrough unexpected signals by default
#488
opened Dec 19, 2024 by
kkysen
Loading…
WIP Add support for checking return value in post-condition call
#485
opened Dec 17, 2024 by
ayrtonm
Loading…
runtime, tests: require
-Werror=strict-prototypes
so every function has a prototype
#483
opened Dec 16, 2024 by
kkysen
Loading…
ProTip!
no:milestone will show everything without a milestone.