aboutsummaryrefslogtreecommitdiff
path: root/type_resolution.cc
AgeCommit message (Expand)Author
2024-04-25rust: add `Variant` nodeSid Nayyar
2024-04-25rust: add `VariantMember` nodeSid Nayyar
2024-02-09runtime: rename files metrics.* to runtime.*Giuliano Procida
2024-02-09rename Metrics to Runtime and put runtime function parameters firstGiuliano Procida
2023-08-02model change to support C++ nullptrGiuliano Procida
2023-07-26graph: split Reserve method out of DenseIdSet constructorGiuliano Procida
2023-07-26graph: allow DenseIdSet to have a starting offsetGiuliano Procida
2023-07-04graph: move DenseIdSet out of Graph and drop MakeDenseIdSet helperGiuliano Procida
2023-06-30type resolution: ignore anonymous types when collecting named typesMatthias Maennich
2023-06-30unification: make Unify a member function of UnificationGiuliano Procida
2023-06-30unification: move substitution functionality to here from type resolutionGiuliano Procida
2023-06-30substitution: simplify Substitute instantiantion with a template deduction guideGiuliano Procida
2023-06-30type resolution: apply substitutions to all graph nodesGiuliano Procida
2023-06-30type resolution: rework ResolveTypes interface and callersGiuliano Procida
2023-06-30Include "metrics.h" wherever Metrics is mentionedGiuliano Procida
2023-06-30Include <cstddef> wherever size_t is mentionedGiuliano Procida
2023-06-22unification: rename UnificationCache to UnificationGiuliano Procida
2023-06-22unification: split this functionality out of type resolutionGiuliano Procida
2023-06-22type resolution: make UnificationCache own the substitution mappingGiuliano Procida
2023-06-22type resolution: Update as member function of UnificationCacheGiuliano Procida
2023-06-22type resolution: rename Unify to Unifier and add Unify wrapper functionGiuliano Procida
2023-06-22type resolution: make UnificationCache a classGiuliano Procida
2023-06-22type resolution: remove incomplete named type collectionGiuliano Procida
2023-06-22unification cache: make union prefer second nodeGiuliano Procida
2023-06-22unification: determine direction of substitutionsGiuliano Procida
2023-05-16type_roots: Add types map to `Interface` nodeSid Nayyar
2023-03-29Add pointer-to-member supportGiuliano Procida
2023-03-29type_roots: Rename STG internal `Symbols` node to `Interface`Sid Nayyar
2023-03-29type_roots: Treat typedefs as named types during DWARF processing and type re...Sid Nayyar
2023-03-07type resolution: use specialised data structures to track seen nodes and mapp...Giuliano Procida
2023-03-07type resolution: add metric for total time takenGiuliano Procida
2023-02-03Type resolution: allow multiple rootsAleksei Vetrov
2023-01-25drop enumeration sizeGiuliano Procida
2023-01-25model enum underlying typesGiuliano Procida
2023-01-25add type resolution passGiuliano Procida
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 09:42:30 +0000