Skip to content
Build and Test Dafny Standard Libraries

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #5300

Sign in to view logs

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #5300

The logs for this run have expired and are no longer available.