Ryan Fleury
|
5162301316
|
f32 path for meta evaluations
|
2025-04-14 13:18:01 -07:00 |
|
Ryan Fleury
|
7d48e9915d
|
adjust lens'd eval -> view cfg to being based on type info, not expression tree
|
2025-04-14 12:58:26 -07:00 |
|
Ryan Fleury
|
b34c70a247
|
begin merging view state / view parameterizations - unify code for introspecting on each, thus allowing explicit parameterizations of view state via a lens call. also build out the path from an eval -> cfg tree
|
2025-04-14 12:49:47 -07:00 |
|
Ryan Fleury
|
ee0c1b25c3
|
eval ir generation: adjust autohook-allowance to be a stack, and correctly disable it for all sub-evaluations when using a raw lens, such that autohooks do not apply for evaluation of the parameter (e.g. raw(foo) -> foo, without allowing mapping of foo to something else)
|
2025-04-14 11:07:18 -07:00 |
|
Ryan Fleury
|
70c003607d
|
further fixes to slider viz
|
2025-04-14 10:55:33 -07:00 |
|
Ryan Fleury
|
550950ed46
|
ui min sizes, fixes to slider viz
|
2025-04-14 10:49:36 -07:00 |
|
Ryan Fleury
|
b98f2b153e
|
fix call expr stringification
|
2025-04-13 16:45:27 -07:00 |
|
Ryan Fleury
|
7c668388eb
|
hook up programmatic breakpoint state to trap list
|
2025-04-12 19:38:07 -07:00 |
|
Ryan Fleury
|
8a857b2154
|
use set/unset breakpoint events to build bp entities in ctrl entity tree
|
2025-04-12 15:32:27 -07:00 |
|
Ryan Fleury
|
7ba027e841
|
sketch out new markup API for programmatic address/data breakpoints
|
2025-04-12 15:21:48 -07:00 |
|
Ryan Fleury
|
6a5fa58d8a
|
dedup flagged traps, so we don't write the same data breakpoint into the registers multiple times
|
2025-04-12 14:47:29 -07:00 |
|
Ryan Fleury
|
97e3c73086
|
fix flagged-trap-search
|
2025-04-12 14:39:38 -07:00 |
|
Ryan Fleury
|
0f380e9228
|
transmit user breakpoints hit from demon -> ctrl using ctrl-defined IDs, correllate those IDs to rd-defined IDs, use rd-defined IDs in stop events to count bp hits, rather than re-resolving breakpoints. further fixes & work on first pass of data breakpoints
|
2025-04-12 14:28:38 -07:00 |
|
Ryan Fleury
|
d894f7112f
|
array view rule
|
2025-04-12 07:55:19 -07:00 |
|
Ryan Fleury
|
3f69b028e4
|
fix ptr-to-ptr expansions
|
2025-04-12 07:34:27 -07:00 |
|
Ryan Fleury
|
ecad70ca19
|
pass through data breakpoint length, more progress on fixes/correctness in first pass
|
2025-04-11 18:07:00 -07:00 |
|
Ryan Fleury
|
929e68d074
|
first pass at setting up x64 debug registers for data breakpoints
|
2025-04-11 17:49:16 -07:00 |
|
Ryan Fleury
|
e621d13669
|
frontend ui/editor & data funnelling for hardware data breakpoints
|
2025-04-11 17:03:36 -07:00 |
|
Ryan Fleury
|
64187e75eb
|
slider extension to built-in cell controls (similar to toggle-switch)
|
2025-04-11 16:21:47 -07:00 |
|
Ryan Fleury
|
72aa479724
|
eliminate unnecessary usage of $. in mule auto view rules
|
2025-04-11 15:04:32 -07:00 |
|
Ryan Fleury
|
e754380caa
|
eval identifier resolution: allow implicitly mapping leaf identifiers to member accesses of overridden irtree
|
2025-04-11 15:02:54 -07:00 |
|
Ryan Fleury
|
2e8bca21f6
|
strip out only/omit - i think they are insufficient for long-term filtering stuff...
|
2025-04-11 14:41:15 -07:00 |
|
Ryan Fleury
|
3e49e92e98
|
only and omit; notes & dead code deletion
|
2025-04-11 14:16:48 -07:00 |
|
Ryan Fleury
|
83a31a5229
|
take out view rules from pins, since that is just in the expr itself now
|
2025-04-11 13:21:25 -07:00 |
|
Ryan Fleury
|
abd33f7160
|
new (and successful :) ) story for 'parent/overridden irtrees'. basically, if we have a rule which maps some eval X's type from A -> B, we preserve the original ir-tree compilation of A in the 'history' when we inevitably produce the ir-tree compilation of B. this can be used for accesses on overridden evaluations, and it allows us to implement $ in auto view rules.
|
2025-04-11 11:58:43 -07:00 |
|
Ryan Fleury
|
9622bc8808
|
fix calls to parent tree experiment
|
2025-04-11 11:26:01 -07:00 |
|
Ryan Fleury
|
b60329c817
|
eliminate view rule column; eliminate 'parent irtree' experiment, need to do something else
|
2025-04-11 11:25:16 -07:00 |
|
Ryan Fleury
|
59df09b39b
|
re-enable auto view rules in mule
|
2025-04-10 16:53:36 -07:00 |
|
Ryan Fleury
|
297c576623
|
irtree parent experiment (failed)
|
2025-04-10 16:20:52 -07:00 |
|
Ryan Fleury
|
b7e12f900c
|
eliminate dead code
|
2025-04-10 15:19:58 -07:00 |
|
Ryan Fleury
|
0dd0f1b8bc
|
rephrase type irgen hook -> irext, to eliminate cases where it'd be very easy to accidentally cause infinite recursion of ir generation (e.g. slice(x) requiring evaluation of 'lhs.count', where lhs == slice(x)). also bring back slice hooks
|
2025-04-10 15:19:29 -07:00 |
|
Ryan Fleury
|
4a69b8e57a
|
type decoration to explicitly disable string visualization; use in registers & padding members; eliminate dead code
|
2025-04-10 14:29:58 -07:00 |
|
Ryan Fleury
|
c05c21cfa4
|
lens inheritance-on-expansion, composability with lens types & accesses (dot operator, array index operator), plugging in visualizers, killing dead code, etc.
|
2025-04-10 14:29:58 -07:00 |
|
Ryan Fleury
|
d15f9af4b7
|
fix incorrect signal of error on meta-ctrl-entity eval space write
|
2025-04-10 14:29:58 -07:00 |
|
Ryan Fleury
|
8dd8eaa507
|
more work on lens-wrapped expressions composability w/ default expansions, operators, etc.
|
2025-04-10 14:29:58 -07:00 |
|
Ryan Fleury
|
c9e55cacf5
|
fix root-level block -> row expansion
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
c7a3a73b63
|
fix incorrect story for chained lens calls; fix possibly-overridden usage of lens calls in ui build
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
fbe747a8b4
|
further work on convergence, dead code elimination, and lens (view rule) calls
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
cde079a14d
|
checkpoint in moving to new type-based view rule / synthetic structure hooks
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
ac65d7fc34
|
fix incorrect type info generation of schema'd evaluations
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
c938a6fcfa
|
next checkpoint; eval/type-hooks for registers, locals, files/folders, cfgs
|
2025-04-10 14:29:57 -07:00 |
|
Ryan Fleury
|
d3f0a9a672
|
checkpoint in moving from old lookup hooks -> new type hooks; elimination of unnecessary recomputation of ir-trees/evals, just use information in already-computed evals
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
fbd78525d2
|
sketch out new eval type-system-defined hooks for all eval-layer view rules; accesses (., [] operators), expansion ranges, id <-> num mapping
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
7c0a37fef3
|
boil down expr/irtree/type -> lookup_rule mapping more - since lens arguments are now stored in type info, we no longer need other ways of smuggling through expression trees. also fill out new path of pointer eval single-line string generation.
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
9bfa4f87e3
|
work on new eval-viz layer stringification which factors out measurement/limiting/etc., but just walks an eval tree and stringifies each part; start working on new types <-> lookup-rule stuff
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
b1f17b217c
|
checkpoint - extend constructed types w/ expression arguments, new 'lens' type operator, which can wrap evaluations of other types, + provide a name/args. e.g., bitmap(256, 256) <- (uint8 *), as a well-formed type. this also is the first step to collapsing all 'expression introspection' paths, and making sure they all compose properly.
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
97a1003d85
|
eliminate old incorrect auto-hook of ctrl entity type keys; was busting visualization of ctrl entities
|
2025-04-10 14:29:56 -07:00 |
|
Ryan Fleury
|
84e16b81ff
|
automatically mark up entry_point as exe entry points, for codebase builds
|
2025-04-10 14:29:55 -07:00 |
|
Ryan Fleury
|
da69d9e91c
|
more progress on new eval/view-rule integration; raddbg_entry_point markup feature
|
2025-04-10 14:29:55 -07:00 |
|
Ryan Fleury
|
ecb3992b93
|
eval stability tests in tester; tear out last pass' view rule extensions
|
2025-04-10 14:29:55 -07:00 |
|