diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-07 14:45:31 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-07 14:47:14 +0100 |
| commit | a958e451457fb932248eb47ee44c833d57cfcdb7 (patch) | |
| tree | 8cde7d2ab10e64ddca63943217e85ca93627315e /test/monniaux/uzlib | |
| parent | 6b7d89993b3064551d26313cf46aff66c0b5c06d (diff) | |
| download | compcert-kvx-a958e451457fb932248eb47ee44c833d57cfcdb7.tar.gz compcert-kvx-a958e451457fb932248eb47ee44c833d57cfcdb7.zip | |
Remplacement de phys_eq par Z.eqb pour Allocframe (1 & 2) et Freeframe (1 & 2)
Diffstat (limited to 'test/monniaux/uzlib')
0 files changed, 0 insertions, 0 deletions