search

checkedc / checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
https://www.checkedc.org
504 stars 76 forks source link

Create lexicographic ordering for expressions #107

Open dtarditi opened 7 years ago

dtarditi commented 7 years ago

For canonicalization of commutative operations in non-modifying expressions, we need a lexicographic ordering.

dtarditi commented 7 years ago

PR #335 implements most of this. We still need to implementat a lexicographic ordering on types and a few expression.