Commit Graph

  • b6049e13f7 Update on "[compiler] fixes for effects capturing context vars, hoisted functions" Joe Savona 2025-06-06 12:58:43 -07:00
  • b8174c40c3 Update base for Update on "[compiler] fixes for effects capturing context vars, hoisted functions" Joe Savona 2025-06-06 12:58:42 -07:00
  • e4d0f40d8b Update on "[compiler][newinference] Explicitly model StoreContext variables as mutable boxes" Joe Savona 2025-06-06 12:58:40 -07:00
  • 0e7ddca5b7 Update base for Update on "[compiler][newinference] Explicitly model StoreContext variables as mutable boxes" Joe Savona 2025-06-06 12:58:39 -07:00
  • dee82e24e9 Update on "[compiler][newinference] Error handling and related fixes" Joe Savona 2025-06-06 12:58:37 -07:00
  • 4605b0cf87 Update base for Update on "[compiler][newinference] Error handling and related fixes" Joe Savona 2025-06-06 12:58:36 -07:00
  • 63b97ccd68 Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" Joe Savona 2025-06-06 12:58:34 -07:00
  • b15ee85add Update base for Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" Joe Savona 2025-06-06 12:58:33 -07:00
  • 08936f4f35 Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-06 12:58:31 -07:00
  • e5443f5744 Update base for Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-06 12:58:30 -07:00
  • 26fd4e4036 Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-06 12:58:28 -07:00
  • 0354216769 Update base for Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-06 12:58:27 -07:00
  • 393bdaf697 Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-06 12:58:25 -07:00
  • 92fc1fae97 Update base for Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-06 12:58:24 -07:00
  • 9c2f949d01 Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-06 12:58:22 -07:00
  • becffe2277 Update base for Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-06 12:58:21 -07:00
  • 0b7154181b Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-06 12:58:19 -07:00
  • 070ca08df5 Update base for Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-06 12:58:18 -07:00
  • db6a063d3e Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-06 12:58:16 -07:00
  • 23e677403f Update base for Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-06 12:58:16 -07:00
  • ab43bd23de Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-06 12:58:13 -07:00
  • be57c67ad4 Update base for Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-06 12:58:12 -07:00
  • b876f545a5 Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-06 12:58:09 -07:00
  • 725b73ac39 Update base for Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-06 12:58:09 -07:00
  • b77909d106 Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-06 12:58:06 -07:00
  • 8b95700c00 Update base for Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-06 12:58:06 -07:00
  • b84e3de7a6 Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-06 12:58:03 -07:00
  • f671b6ebee Update base for Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-06 12:58:02 -07:00
  • 64fb7735fb Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-06 12:58:00 -07:00
  • 1854679e50 Update base for Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-06 12:57:59 -07:00
  • 7f7e45d18e Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-06 12:57:57 -07:00
  • 1f023ebbbe Update base for Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-06 12:57:56 -07:00
  • 09ee0e3169 Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-06 12:57:54 -07:00
  • 689a026e0b Update base for Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-06 12:57:53 -07:00
  • 6cc6f2ce89 Update on "[compiler] comments and todos" Joe Savona 2025-06-06 12:57:51 -07:00
  • da76b926cd Update base for Update on "[compiler] comments and todos" Joe Savona 2025-06-06 12:57:50 -07:00
  • c1ed3fed8c Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-06 12:57:48 -07:00
  • fed9402143 Update base for Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-06 12:57:47 -07:00
  • 33676ac4c3 Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-06 12:57:44 -07:00
  • 2a4168b652 Update base for Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-06 12:57:44 -07:00
  • 25ce6bfaa3 Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-06 12:57:41 -07:00
  • 4740e6994f Update base for Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-06 12:57:40 -07:00
  • 472a0200b2 Update on "[compiler] Add ImmutableCapture effect, CreateFrom no longer needs Capture" Joe Savona 2025-06-06 12:57:38 -07:00
  • 8eb11a4f87 Update base for Update on "[compiler] Add ImmutableCapture effect, CreateFrom no longer needs Capture" Joe Savona 2025-06-06 12:57:36 -07:00
  • 7f847a8cd0 Update on "[compiler] Improve inference of function expression mutation/aliasing effects" Joe Savona 2025-06-06 12:57:34 -07:00
  • 09cb0832b7 Update base for Update on "[compiler] Improve inference of function expression mutation/aliasing effects" Joe Savona 2025-06-06 12:57:33 -07:00
  • b7cbe4371c Update on "[compiler] Alternate pipeline for new mutability model" Joe Savona 2025-06-06 12:57:30 -07:00
  • 6a165cecd2 Update base for Update on "[compiler] Alternate pipeline for new mutability model" Joe Savona 2025-06-06 12:57:29 -07:00
  • 254b713bb7 Update on "[compiler] Add HIRFunction.returns: Place" Joe Savona 2025-06-06 12:57:26 -07:00
  • 7e417bc0e7 Update base for Update on "[compiler] Add HIRFunction.returns: Place" Joe Savona 2025-06-06 12:57:26 -07:00
  • c293b6932e Update on "[compiler] Foundation of new mutability and aliasing (alternate take)" Joe Savona 2025-06-06 12:57:23 -07:00
  • 117aa11613 Update base for Update on "[compiler] Foundation of new mutability and aliasing (alternate take)" Joe Savona 2025-06-06 12:57:23 -07:00
  • 903bde40a0 Update on "[compiler] Add Instruction.effects property" Joe Savona 2025-06-06 12:57:21 -07:00
  • a409be9419 Update base for Update on "[compiler] Add Instruction.effects property" Joe Savona 2025-06-06 12:57:20 -07:00
  • 87cce08901 Update on "[compiler] Repro for imprecise memo due to closure capturing changes" Joe Savona 2025-06-06 12:57:18 -07:00
  • b971ce7dd4 Update base for Update on "[compiler] Repro for imprecise memo due to closure capturing changes" Joe Savona 2025-06-06 12:57:17 -07:00
  • df315dcb38 Update on "[compiler] avoid empty switch case bodies" Joe Savona 2025-06-06 12:57:15 -07:00
  • ec3d031d1e Update base for Update on "[compiler] avoid empty switch case bodies" Joe Savona 2025-06-06 12:57:14 -07:00
  • ded039be72 Update on "[compiler] allow local fixtures to be excluded from git w "nocommit" prefix" Joe Savona 2025-06-06 12:57:12 -07:00
  • 5cf35d803a Update base for Update on "[compiler] allow local fixtures to be excluded from git w "nocommit" prefix" Joe Savona 2025-06-06 12:57:11 -07:00
  • 22e0043a9d Update on "[compiler] Fix for PropertyStore object effect" Joe Savona 2025-06-06 12:57:09 -07:00
  • 5deda44673 Update base for Update on "[compiler] Fix for PropertyStore object effect" Joe Savona 2025-06-06 12:57:08 -07:00
  • dab5da0e45 Update on "[compiler] Fixture tests for PropertyStore effects" Joe Savona 2025-06-06 12:57:06 -07:00
  • d6a539c38c Update base for Update on "[compiler] Fixture tests for PropertyStore effects" Joe Savona 2025-06-06 12:57:05 -07:00
  • 619ef07b72 Update on "[compiler] Move co-mutation range extension to InferMutableRanges" Joe Savona 2025-06-06 12:57:03 -07:00
  • 720c74bf2b Update base for Update on "[compiler] Move co-mutation range extension to InferMutableRanges" Joe Savona 2025-06-06 12:57:02 -07:00
  • 1811e75f66 Update on "[compiler] Infer alias effects for function expressions" Joe Savona 2025-06-06 12:57:00 -07:00
  • 681ff680e9 Update base for Update on "[compiler] Infer alias effects for function expressions" Joe Savona 2025-06-06 12:56:59 -07:00
  • d2bd991bc7 Update on "[compiler] Correctly infer context mutation places as outer (context) places" Joe Savona 2025-06-06 12:56:57 -07:00
  • eb13430e17 Update base for Update on "[compiler] Correctly infer context mutation places as outer (context) places" Joe Savona 2025-06-06 12:56:57 -07:00
  • 7e2478a069 Update on "[compiler] Repro for false positive ValidateNoFreezingKnownMutableFunctions" Joe Savona 2025-06-06 12:56:55 -07:00
  • ea7de7aabe Update base for Update on "[compiler] Repro for false positive ValidateNoFreezingKnownMutableFunctions" Joe Savona 2025-06-06 12:56:54 -07:00
  • a53d824e29 [compiler][newinference] Improve hoisted functions, validation of mutate-after-render Joe Savona 2025-06-06 12:42:58 -07:00
  • 35a6bb19b1 [compiler] fixes for effects capturing context vars, hoisted functions Joe Savona 2025-06-06 12:42:52 -07:00
  • c948ec43fc Update on "[compiler][newinference] Explicitly model StoreContext variables as mutable boxes" Joe Savona 2025-06-06 12:42:50 -07:00
  • d2dc1af0e8 Update base for Update on "[compiler][newinference] Explicitly model StoreContext variables as mutable boxes" Joe Savona 2025-06-06 12:42:50 -07:00
  • 249834fe91 Update on "[compiler][newinference] Error handling and related fixes" Joe Savona 2025-06-06 12:42:47 -07:00
  • b044cc9e54 Update base for Update on "[compiler][newinference] Error handling and related fixes" Joe Savona 2025-06-06 12:42:47 -07:00
  • 39b149ac96 Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" Joe Savona 2025-06-06 12:42:45 -07:00
  • 5c01660a80 Update base for Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" Joe Savona 2025-06-06 12:42:44 -07:00
  • bad32a2654 Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-06 12:42:41 -07:00
  • 79167dcb38 Update base for Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-06 12:42:40 -07:00
  • e838a4bc1c Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-06 12:42:38 -07:00
  • f2ef314cd7 Update base for Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-06 12:42:37 -07:00
  • e219321377 Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-06 12:42:35 -07:00
  • fd3e03daad Update base for Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-06 12:42:34 -07:00
  • f63af335cf Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-06 12:42:32 -07:00
  • e685bb77b8 Update base for Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-06 12:42:31 -07:00
  • 8de21434c1 Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-06 12:42:29 -07:00
  • 93c37403d0 Update base for Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-06 12:42:28 -07:00
  • c1f16994b5 Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-06 12:42:26 -07:00
  • f14acf3326 Update base for Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-06 12:42:25 -07:00
  • 977b83d61c Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-06 12:42:23 -07:00
  • 2c09a37acf Update base for Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-06 12:42:22 -07:00
  • a84afcc438 Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-06 12:42:20 -07:00
  • 59951e31c1 Update base for Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-06 12:42:19 -07:00
  • eeb11ab7e1 Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-06 12:42:17 -07:00
  • 8b8df2b29e Update base for Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-06 12:42:16 -07:00
  • 5dd8204efc Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-06 12:42:14 -07:00
  • 02e9f1ce03 Update base for Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-06 12:42:12 -07:00