Language Selection

English French German Italian Portuguese Spanish

Compilers: Not Just GNU

Filed under
Development
  • Psychec: A Type Inference Engine For C, The C Language Meets Unification

    Here, at the Compiler's Laboratory of UFMG, we've been trying to understand the meaning of incomplete C code. How well can a parser reason about a source when declarations (or complete headers) are missing? In the C language, challenges appear already during parsing, since, not only syntax, but also semantic information (possibly absent) is required. Yet, the really cool challenges emerge when we want to reconstruct a partial program into a complete one that passes the type-checker.

  • GCC 7 Has Been Branched, GCC 8.0 Now On Master

    The GCC 7 mainline code-base hit the important milestone today of having zero P1 regressions -- issues of the highest priority -- and as such they branched the GCC7 code-base and GCC 7.1 RC1 is then being announced later this week as they prepare for this first stable release of GCC 7.

More in Tux Machines

Linux and Linux Foundation

Security Leftovers

Qt 5.10 and digiKam

  • Qt 5.10 Platform Support Changes Being Discussed
    Qt developers have begun a fresh round of discussions over the supported platforms / operating systems of Qt 5.10 that will be released in the later part of this calendar years. Among the officially supported Linux distribution changes would be moving to RHEL 7.3, openSUSE Leap 42.2, Ubuntu 17.04 (still keeping around 16.04 LTS too), moving the Windows MinGW to MinGW 6.3, and more.
  • digiKam – A Professional Photo Editing and Management Software
    digiKam is an advanced cross-platform digital photo management app inspired by photographers’ needs to view, tweak, enhance, organize, and share photographs across Linux systems. It possesses all the tools and feature set necessary to process, manage, organize, and transfer photographs, videos, and RAW files – while consistently receiving optimization upgrades to its feature set and workflow.

GNOME/Unity in Ubuntu