W

Writing a Ruby compiler in Ruby

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 23, 2025 — Oct 23, 2026 Showing page 3 of 117 Search / Filter on:
INLINEBROADEN: broaden inline operands to side-effect-free expressions and strip trailing returns	Vidar Hokstad	More...				3 months ago
INLINEBROADEN: add plan for broadening devirt-driven inlining	Vidar Hokstad	More...				3 months ago
inline: fix the integration bug — devirt-driven getter/setter inlining now works (opt-in INLINE=1)	Vidar Hokstad	More...				3 months ago
inline (WIP, opt-in INLINE=1): devirt-driven method-body transplant — inert by default	Vidar Hokstad	More...				3 months ago
devirt: enable by default (opt out with DEVIRT=0)	Vidar Hokstad	More...				3 months ago
type inference: `C.new -> {C}` bails for factory `new` (Struct/Data/Class) -- fixes DEVIRT Struct crash	Vidar Hokstad	More...				3 months ago
type inference: per-slot generation model for devirt (replaces whole-class @dyn_defined / per-name @unstable)	Vidar Hokstad	More...				3 months ago
type inference: collapse classes with dynamic define_method (reflection soundness backstop)	Vidar Hokstad	More...				3 months ago
type inference: singleton-method params/self are TOP, not their nil defaults (soundness)	Vidar Hokstad	More...				3 months ago
type inference: use explicit hash-init, not `(h[k] \|\|= []) << v` (self-host divergence)	Vidar Hokstad	More...				3 months ago
fix: move `require 'type_inference'` to top level (was inside compile(), breaking self-host)	Vidar Hokstad	More...				3 months ago
devirt plan: document the points-to soundness invariant + constructs handled	Vidar Hokstad	More...				3 months ago
type inference: sound and/or, \|\|=/&&=, unless, begin/rescue (drop-the-not-taken-path bugs)	Vidar Hokstad	More...				3 months ago
type inference: widen params of send/__send__ targets (soundness) -> devirt-compiled compiler works	Vidar Hokstad	More...				3 months ago
type inference: handle :case + eval bare statement-lists from index 0 (soundness)	Vidar Hokstad	More...				3 months ago
type inference: flow C.new(args) into initialize's params (soundness) -> selftest DEVIRT=1 green	Vidar Hokstad	More...				3 months ago
type inference: three soundness fixes for devirt (self-descendants, param widening, default args)	Vidar Hokstad	More...				3 months ago
fix: type_inference param named `defm` broke selftest compilation; drop dead devirt code	Vidar Hokstad	More...				3 months ago
devirt consumer: emit direct calls at monomorphic sites (gated ENV["DEVIRT"], default OFF)	Vidar Hokstad	More...				3 months ago
type inference: make the devirt decision sound against eigenclass/singleton overrides	Vidar Hokstad	More...				3 months ago
type inference: sound devirt-decision at call sites (precondition tracking + dump annotation)	Vidar Hokstad	More...				3 months ago
devirt plan: resolve the reopen-soundness gate into a hard direct-call precondition	Vidar Hokstad	More...				3 months ago
type inference: descendant propagation for def/slot state (soundness) + module-body fix	Vidar Hokstad	More...				3 months ago
type inference: MRO ancestry resolution for inherited-method calls	Vidar Hokstad	More...				3 months ago
type inference: interprocedural param + return typing (coupled fixpoint)	Vidar Hokstad	More...				3 months ago
type inference: flow-sensitive generation tracking with modification summaries	Vidar Hokstad	More...				3 months ago
type inference: flow-sensitive class-set analysis + --type-ast annotated dump	Vidar Hokstad	More...				3 months ago
docs: devirtualization plan grounded in the vtable/__set_vtable contract	Vidar Hokstad	More...				3 months ago
devirt: enforced Class#freeze foundation + corrected design (unsound attempts reverted)	Vidar Hokstad	More...				3 months ago
docs: freeze-based devirtualization design (chosen direction)	Vidar Hokstad	More...				3 months ago

←
1
2
3
4
5
6
7
8
9
…
116
117
→