| commit | 3bb628674d7b4a2179bdcb20fd45007677d64d96 | |
| author | Claude Marche <Claude.Marche@inria.fr> | |
| Tue, 24 Sep 2024 13:14:35 +0000 (24 15:14 +0200) | ||
| committer | Claude Marche <Claude.Marche@inria.fr> | |
| Tue, 24 Sep 2024 13:14:35 +0000 (24 15:14 +0200) | ||
| tree | ce9828b5ad0e4f583d04af1c6e1bb8bfcf474a91 | treesnapshot (tar.gz zip) |
| parent | 045c9fd0f6f2692c6b384369320ee3aba5799496 | commitdiff |
new example for numeric strategy
| examples/numeric/sin_cos.mlw | diffblobblamehistory | |
| examples/numeric/sin_cos/why3session.xml | diffblobblamehistory | |
| examples/numeric/sin_cos/why3shapes.gz | diffblobblamehistory |