[Bug c++/88102] Implement P0542R5, C++20 contracts

2019-08-08 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102

Marek Polacek  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |WONTFIX

--- Comment #3 from Marek Polacek  ---
Since contracts were pulled out of C++20, I'm closing this PR.

[Bug c++/88102] Implement P0542R5, C++20 contracts

2019-03-10 Thread emsr at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102

--- Comment #2 from emsr at gcc dot gnu.org ---
The Wiki I noted was a 3rd party one.
This is the wiki connected to the repo:

https://gitlab.com/lock3/gcc-new/wikis/contract-assertions

[Bug c++/88102] Implement P0542R5, C++20 contracts

2019-03-10 Thread emsr at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102

--- 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: http://gummif.github.io/blog/contract_code_gen.html

[Bug c++/88102] Implement P0542R5, C++20 contracts

2018-12-03 Thread mpolacek at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102

Marek Polacek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-12-03
 CC||mpolacek at gcc dot gnu.org
 Ever confirmed|0   |1