Posts about toy-optimizer RSS feed 2024-08-03 14:00A Knownbits Abstract Domain for the Toy Optimizer, Correctly 2024-07-24 14:48Abstract interpretation in the Toy Optimizer 2022-10-25 07:55Allocation Removal in the Toy Optimizer 2022-07-19 12:00Implementing a Toy Optimizer