translation-validation topic
                        List
                        translation-validation repositories
                    
                alive2
                            
                                703
                            
                            
                        
                        Stars
                    
                            
                                89
                            
                            
                        
                        Forks
                    Watchers
                    Automatic verification of LLVM optimizations
p4-semantics
                            
                                18
                            
                            
                        
                        Stars
                    
                            
                                2
                            
                            
                        
                        Forks
                    Watchers
                    Formal Semantics of P4 in K
gauntlet
                            
                                35
                            
                            
                        
                        Stars
                    
                            
                                3
                            
                            
                        
                        Forks
                    Watchers
                    Finding bugs in P4 compilers using translation validation.