[Bug c++/88330] Implement P0542R5, P1289R1, C++20 contract based programming.

2019-08-08 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88330 Marek Polacek changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|

[Bug c++/88330] Implement P0542R5, P1289R1, C++20 contract based programming.

2019-04-17 Thread emsr at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88330 --- Comment #1 from emsr at gcc dot gnu.org --- I saw this through reddit: https://gitlab.com/lock3/gcc-new.git branch origin/contracts-jac-kona This user has several interesting branches of contracts and concepts! Wiki: