|  |  | @f53acdf8 | 6 years | Thierry Delisle | Merge branch 'master' into new-ast
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @7870799 | 6 years | Thierry Delisle | Cast cost and conversion cost now take constant parameters.
This …
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @417117e | 6 years | a3moss | Assorted cleanup
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @b8524ca | 6 years | a3moss | new AST porting
* mostly InitTweak autogeneration
* added some …
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @234b1cb | 6 years | a3moss | Port TupleAssignment to new AST
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @b910d15 | 6 years | ajbeach | Implemented new versions of Tuples/Explode.
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @432ce7a | 6 years | a3moss | Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
                ADT
                arm-eh
                ast-experimental
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @6d6e829 | 7 years | a3moss | First compiling draft of deferred assertions (build failure)
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum | 
            
              |  |  | @490ff5c3 | 8 years | Rob Schluntz | Minor code cleanup
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @62194cb | 8 years | a3moss | Reduce duplication of cost/env in ExplodedActual
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @6bbce58 | 8 years | Rob Schluntz | Fix bug where explode removes non-reference casts in tuple assignment
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @8135d4c | 8 years | Rob Schluntz | Merge branch 'master' into references
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @0b5d871 | 8 years | Rob Schluntz | Update explode for references
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @9236060 | 8 years | Rob Schluntz | Merge branch 'master' into references
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @03321e4 | 8 years | Thierry Delisle | Fixed headers for tuples folder
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @6d267ca | 8 years | Rob Schluntz | Add unsafe_group_iterate
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @6b0b624 | 8 years | pabuhr | change #ifndef to #pragma once
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @e6cee92 | 8 years | Rob Schluntz | Fix TupleAssignment code for references
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @f831177 | 9 years | Rob Schluntz | address exprs are now only exploded for tuple assignments
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc | 
            
              |  |  | @141b786 | 9 years | Rob Schluntz | rework UniqueExpr, handle UniqueExpr in FixInit, fix translation for …
                ADT
                aaron-thesis
                arm-eh
                ast-experimental
                cleanup-dtors
                deferred_resn
                demangler
                enum
                forall-pointer-decay
                jacob/cs343-translation
                jenkins-sandbox
                new-ast
                new-ast-unique-expr
                new-env
                no_list
                persistent-indexer
                pthread-emulation
                qualifiedEnum
                resolv-new
                with_gc |