https://github.com/mit-plv/fiat-crypto
Tip revision: 7d2fe91408c7f1fec5a6f7d2b90ced5c044acfac authored by Andres Erbsen on 05 July 2022, 19:47:13 UTC
Rewriter.Rules: simplify if true, if false
Rewriter.Rules: simplify if true, if false
Tip revision: 7d2fe91
COPYRIGHT
SPDX-License-Identifier: MIT OR Apache-2.0 OR BSD-1-Clause
Fiat Cryptography is licensed under the MIT License <LICENSE-MIT> or
<http://opensource.org/licenses/MIT>, the Apache License, Version 2.0
<LICENSE-APACHE> or <http://www.apache.org/licenses/LICENSE-2.0>, or
the BSD 1-Clause License <LICENSE-BSD-1> or
<https://spdx.org/licenses/BSD-1-Clause.html>, at your option.
