- Name: why-gwhy
- Version: 2.26
- Release: 1.fc14
- Epoch:
- Group: Applications/Engineering
- License: GPLv2 and MIT
- Url: http://why.lri.fr/
- Summary: IDE for Why software verification platform
- Architecture: i686
- Size: 3037741
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
Gwhy is an optional graphical user interface for the Why software
coordination platform. It assists in the coordination of dispatching
assertions that need to be proven to different theorem provers by
providing an interface to do this and also supports inspection of why
input files.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: x86-17.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: