[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Good specs for parser benchmarking
- From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
- Date: Tue, 1 Feb 2022 13:07:21 -0800 (PST)
- Ironport-data: A9a23:bZbja6nVokktSO8smHtBTGTo5gwPI0RdPkR7XQ2eYbSJt1+Wr1Gzt xJNXG2Ob6uKYTf0fdh2aNyx8E5Xv5bXm4VmTQI+pXtjQVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTres1hlZHWeIcg944f5Ys7N/0t4AbeSRWVvX4 4uo+5SHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1k5YyWVi51N5eWp+03ekdgFgh5FKdvreqvzXiX6aR/zmXDenrohvJpVQQ4Y9Ze9eFwDmVDs /cfLVjhbDjZ37PwkO/9E7c1wJp4RCXoFNt3VnVI0TXQFfI7WtPJRa7gyeQChwZvop13Odz0T PUyNWBPVTHvWjBwE3pKIqwXtOivgXb7fjJCr0+Nvuw85G27IAlZjOexb4CIILRmQ+1pgVyhv XrH+17LCwpDNoLE72KOqiqV07qncSTTAdpOTtVU7MVCjFyIzXEIEzUKUVL9pOKjz0+4QdNWb U0S4Csn66YonHFHVfH4Vhy85XmD51sSBYEWHOo95wWAjKHT5m51G1ToUBZoOMwAq+ZqTAZw6 Vajto3RABVombe8HCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKeJjqEOP7k5uAZCQ0c0 BjR83dj3+R7YdojkvTkrQqe0lpAs7CQFlZtjjg7SF5J+e+QWWJIT4mh6Fye6vEZaYjHFR+Ou 38Ln8XY5+cLZX1sqMBvaLpXdF1Kz6zfWNE5vbKJN8R5n9hK0yP7Fb28GBkkeC9U3j8sIFcFm nP7twJL/4N0N3C3d6JxaI/ZI510kfO/SYy/DqiPMIUmjn1NmOmvrHAGiam4jzGFraTQufxX1 WqzLZz1Vi5DUcyLMhLsH7ZMiNfHORzSNUuKHcyhp/hW+bWZY3GRRN843KimP4gEAFe/iFyNq 753bpPUoz0GCb2WSnSJreY7cA9SRVBmVcGeg5EGKIarf1s2cFzN/teUmOlJl3pNwPsOy48lP xiVASdl9bYIrSaWdFzXOi0/M+6HsFQWhStTABHA9G2AgxALCbtDJo9FH3fuVbV4puFl09BuS PwJJ5eJDvhVE2qV9DMaYp3wo5ZlaQywwwmJOnP9MjQ4epdhQS3P+8PlL1u0r3BVUXTouJtsu aCk2yPaXYEHG1ZoAvHQZa/91Fi2p3UcxL9/UhKQcNlecUnh6qZwLCn1gqNlKs0AM0SRyT6T1 gLQChAd/LGfr4gw+djPpKaFs4b5S7skThQGRzHWtO/kOzPb82yvxZ57fNyJJT2NBnnp/KiCZ PlOy66uPfACmmFMudUuHrtuy5U4+IKz9bJXywJTHELLYU6uPbVuLyTUxsJIrKBMmuZUtAbvA RCP99BWNK+zNdvhAUIWIAZ5PO2P2etNxGvd6vM6JEj1/ihq5KHBWkJXZkHehCtYJbpzEYUk3 eZw6JVNslfg1EUnYoSckyRZ12WQNXhcAa8pgZcXXd3wgQ0xx1AePJHRB3Ok4JyLbNkQYEAmL iXO3/jHjrVYg03FKj89SyOL0u1aipAD/htNyQZadViOn9PEgN4x3QFQoWtrFFULlk0f3rIhI HVvOm10Ob6Ko2Viiv9FUj3+AApGHhCYphH8xgpbkGzCU3SuTXHHKGFha++B8FpHozBZdzlf4 LbKx2HiXjLnc9v2wzMpHEtsrfXsQJ8qqV2TxJ35T5vcRsd5fDz+n6W1bnAJoRbPDsQ2i0nKq vNt4f5rL6b8MHdI8aE8DoCb05UWSQyFdTwZGqg6o/1WEDGOYiy21BiPN1u1JpFHKcvM/BLqE MdpPM9OC0mz2SrS/DkXCbRQcu10gOIx/4hFPbzxInMeqP2QqT1mtJ+W/S/7w2AxRMh21to5I 5vVainFCXGannBOmmXAocQYaHC0Z8IIOF/10Oyvqr5bEpsCtKRrdhh33OXv+XqSNwRj8lSfu waaP/3ayOlryIJNmYrwE/UcW1/ld4urDOnYohqut9lubM/UNZucvQ0irFS6bR9dOqEcWogqm LmA2DItMJgpYFrrv6Hld5i9+21h4MyzWK9QNZuyIicB2ySFX8Do7l0I/GXQxVmlVj9CzpHPe ud6QJLYmR0ptxN1y3pSZCxTHAwaFrzsKKznoEtRatySXwMF31WvwMyPrBfUgKIySsPME5L5D QDwtvm04c1At8JHAxps6zSKxXNnCAeLZJbKvOEdedVV4qdET79CVnbfecIc1Az2
- Ironport-hdrordr: A9a23:Sq0aTK75v6HzMGPJYgPXwFfXdLJyesId70hD6qkRc20uTiX8ra rCoB11726RtN98YgBGpThvUJPwNU812/ZOkPws1PSZLXjbUFLBFvAR0WKa+UyWJ8SczJ8n6U /UGJIOduEYc2IK9PoSuzPIbOrIqePvmMvY59s2qU0dMT2CRJsO0+4TMHfiLqQZfnghOXL5fK DshfavZADPRZ3UVKiG7slvZZmxmzQGrvPbie5sPW9b1OBGt1PYjYLSIlyjxx8bFxlPzb0h/W WAswu8yL6kr+jT8G6t61Pu
- Ironport-sdr: zjkFknrwBaWLqdP+lnQZUOnACWwzrm93BmPKM5Rqd3dns7gZce5ycZiZdS05QEOV7bG8V+e4QA DBQY5KznQZM1vLf3G7ytSUDxRDNGajlGZUdGA/cYZvdT9n6N8ihFwR1RDxoU1ICQH3LxV2G4mk HeByop4Frab3I94n05DRH9RtSHQza9RSmn3qL6GqYnJmv4bYf+Uu3iLEomQnmpcsLN9q+wsV8S WrKiLsAPVDNd7/SQYmXq5WZ9Y/FXKnQ30B9GfqUD5Lhtr2UOlLEUy9hnhAVNKHOjx88XLtYt6T V2aDvWv0HCFZ9TVzxk6V1HHZ
Anyone have good suggestions for really long specs that would be good candidates for TLA+ parser benchmarking? Are the specs in the MongoDB extreme modeling paper available for download externally?
Andrew
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/73fa621e-111e-4c69-af4a-9c25a9ad77a3n%40googlegroups.com.