Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix printing of GAP strings containing null characters (skip them instead of truncating the string) #5546

Merged
merged 5 commits into from
Jan 5, 2024
Merged

Fix printing of GAP strings containing null characters (skip them instead of truncating the string) #5546

merged 5 commits into from
Jan 5, 2024

Commits on Dec 16, 2023

  1. added a test-case for the "confused" Print (RED) 

    see the source here: gap-system#4120 (comment)
    Nikita Hismatov authored and Nikita Hismatov committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    42f523e View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2023

  1. fix: Print("%g", ...) skips null character

    Nikita Hismatov authored and Nikita Hismatov committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    b7d6080 View commit details
    Browse the repository at this point in the history

  2. indents cleanup for %g,%s section of FormatOutput

    Nikita Hismatov authored and Nikita Hismatov committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    d5b08a7 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Apply suggestions from code review

    @fingolfin
    fingolfin authored Jan 4, 2024
    Configuration menu
    Copy the full SHA
    47bcf85 View commit details
    Browse the repository at this point in the history

  2. Update src/io.c

    @fingolfin
    fingolfin authored Jan 4, 2024
    Configuration menu
    Copy the full SHA
    19e3fe5 View commit details
    Browse the repository at this point in the history