 |
Post ApnyHynwHw7gi7sVoe by [email protected] |
 |
More posts by [email protected] |
|
Post #ApnvphVkn6tp3llBEO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Looks as if contracts are going to make it into #CPlusPlus. The #CHERIoT progr… |
|
|
|
Post #ApnvphgO9ZPFakjfo8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall Could you elaborate on that? |
|
|
|
Post #ApnvphrNUiCG8psRw8 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@asperamanca I've written about C++ contracts here before, but I can't … |
|
|
|
Post #ApnyHynwHw7gi7sVoe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall Thank you so much. I just realized that I like the concept of c… |
|
|
|
Post #ApnyHyxViLmNBoM9jc by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@asperamanca Most of the time, I'd want to express pre- and post-conditions… |
|
|
|
Post #Apo5hRJm71TI3vrAHo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall So, if you have a calculation function that accepts a whole num… |
|
|
|
Post #Apo5hRSda4YoVQ0F6G by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@asperamanca In Ada, you'd define a range type. There's a Quantities a… |
|
|
|
Post #ApoDbdTsmDx1gIKNVY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall I am following the MP-Units library, but as you note, it's … |
|
|
|
Post #ApoDbdhhwp0gNAnQ3c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall I like the idea of strong typing and "correct by construct… |
|
|
|
Post #ApoDbdrHNEfMqrH3ya by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@asperamanca It's definitely the gold-standard approach. For less-critical… |
|
|
|
Post #AppfaOchWXdBBZbrLk by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@david_chisnall @asperamanca > Since then, there's been a shift from han… |
|
|
|
Post #Appj2Bnf5rHtNzgHBo by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dascandy @asperamanca This is not a new thought. To save on people re-thinking… |
|
|
|
Post #AprlHaMocmzE9CVrEW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy @david_chisnall @asperamanca One of the techniques I've been usin… |
|
|
|
Post #AprlHaX60ZD4f5K4G0 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@Sdowney @dascandy @asperamanca There’s some interesting work from Midori / M… |
|
|
|
Post #ApsOns1GQQlSNGol96 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@david_chisnall @Sdowney @asperamanca Do you have a link to the Midori stuff? I… |
|
|
|
Post #Apsk3GcbKqGk3eSt5k by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy @Sdowney @asperamanca Most of it was not published, but many of the M… |
|
|
|
Post #Apsk3GnwefLKcplwm0 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@david_chisnall @Sdowney @asperamanca Sad to hear. Can't use the informatio… |
