diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-22 23:49:19 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-22 23:49:19 +0200 |
| commit | ffa99eed82b884645787b7a993017aa4c17010a9 (patch) | |
| tree | 4da68b95326ae0e6e892173805424c93a46a2f04 /checker | |
| parent | 1750982027f5465c8f7c10af44e4f3674edc1ecd (diff) | |
| parent | 9953fc3c125d0bdd39e3bd5801040f406f2e708f (diff) | |
Merge PR #7600: Faster and cleaner fconstr-to-constr conversion function.
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions