{"push_id":1322613439,"size":13,"distinct_size":7,"ref":"refs/heads/master","head":"6421648fa427497cbcbb75936e6206dcabd37c10","before":"ce52efb544820b5ce88091cc68c94a3128c7bdd7","commits":[{"sha":"15a097893f09db5344786ffd6675c1901ae939f8","author":{"name":"Jason Gross","email":"b9ac16d1328e8db3a77c42cb3badbae06d42598f@google.com"},"message":"Add a non-higher-order syntax, and reg assignment\n\nThe register assigner will return [None] if you give it an invalid\nassignment (too short, attempting to eliminate live code, attempting to\nmerge registers that can't be merged).\n\nNo correctness proofs yet, nor any sort of automatic register\nassignment.  I'm planning to write a dead-code-eliminator register\nassigner next.  It should also be moderately straight-forward to write a\ndefault register allocator, or perhaps a register post-allocator, that\ntakes a manual register allocation, and renumbers variables in a greedy\nway.  (This would let you pre-specify that some registers should be\nmerged, but leave the rest of the assignment up to the algorithm.)","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/15a097893f09db5344786ffd6675c1901ae939f8"},{"sha":"cd99d56d2e5dbf8d11d8f4836653f966d6d7a907","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Add dead code elimination","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/cd99d56d2e5dbf8d11d8f4836653f966d6d7a907"},{"sha":"95cd2c60969c8d14e92689336c1d0a93cc105b19","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Make use of named syntax, do reg assign for fancy","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/95cd2c60969c8d14e92689336c1d0a93cc105b19"},{"sha":"36cffa1f6b04497d8935b466c8362afd5f2ae5c8","author":{"name":"Jason Gross","email":"b9ac16d1328e8db3a77c42cb3badbae06d42598f@google.com"},"message":"Don't inline everything in Montgomery and Barrett\n\nWe still use CSE in fancy machine, because we want to lift the ldi's\nabove the rest of the code.  However, on a quick inspection, the\nalgorithm no longer needs CSE to be duplicate-free.","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/36cffa1f6b04497d8935b466c8362afd5f2ae5c8"},{"sha":"8ee7882b46d4b8aba92fed51391d03ae8d418a43","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Fix for Coq < 8.6","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/8ee7882b46d4b8aba92fed51391d03ae8d418a43"},{"sha":"f7e7c340ab08de79db745db5d2b699dd99dc407a","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Use dlet, not llet","distinct":false,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/f7e7c340ab08de79db745db5d2b699dd99dc407a"},{"sha":"32d98fc732fe9f9be911552c7fa7cb8947e55096","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Drop CSE from Fancy Machine\n\nBy being careful about building the expressions in the first place, we\nno longer need it, and can rely on dead code elimination.","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/32d98fc732fe9f9be911552c7fa7cb8947e55096"},{"sha":"a4d5dfeb5e6b5eb9289ecb6643c4ba747dde97ca","author":{"name":"jadep","email":"f9c6fe716ab47a06430800a726d9916aeca29d36@gmail.com"},"message":"Finished remaining admits in [freeze] proofs","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/a4d5dfeb5e6b5eb9289ecb6643c4ba747dde97ca"},{"sha":"4df54112680e25dc797569317862f5abbf941b28","author":{"name":"Andres Erbsen","email":"7e6b60b658a5837759fb094fc149e201caabfdfc@mit.edu"},"message":"add Montgomery x-coordinate Diffie-Hellman and Curve25519","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/4df54112680e25dc797569317862f5abbf941b28"},{"sha":"bba9f9df9f6064f38f1ac6edfe9d5327bd3abfb6","author":{"name":"Andres Erbsen","email":"7e6b60b658a5837759fb094fc149e201caabfdfc@mit.edu"},"message":"MxDH: do not depend on implicit import of list notations","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/bba9f9df9f6064f38f1ac6edfe9d5327bd3abfb6"},{"sha":"275bafc021e6f97cb2bd3dcf6ffd35068594d8fe","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Add a comment with an example","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/275bafc021e6f97cb2bd3dcf6ffd35068594d8fe"},{"sha":"5a5ff97e68174e57a0c35a711718885de11367b8","author":{"name":"Jason Gross","email":"7298f0ef53f11b987e31cc57a2822f169086d0c9@gmail.com"},"message":"Merge pull request #69 from JasonGross/scalable-scalars\n\nScalable Scalars, Dead Code Removal, Register Assignment","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/5a5ff97e68174e57a0c35a711718885de11367b8"},{"sha":"6421648fa427497cbcbb75936e6206dcabd37c10","author":{"name":"Andres Erbsen","email":"7e6b60b658a5837759fb094fc149e201caabfdfc@mit.edu"},"message":"montgomery-curve","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/6421648fa427497cbcbb75936e6206dcabd37c10"}]}
{"actor":{"display_login":"JasonGross"}}