Logo
Explore Help
Sign In
ada/why3
0
0
Fork 0
You've already forked why3
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf-15
why3/share
History
Claude Marche 74c4013d95 restored legacy shortcuts for Alt-Ergo
2024-02-12 16:02:52 +01:00
..
bash
Update completion scripts.
2021-04-10 15:07:06 +02:00
emacs
Explain to Emacs how Why3 locate errors.
2022-10-28 17:22:04 +02:00
images
logo "why3 approved", gimp source and PNG
2018-03-29 10:51:15 +02:00
lang
Python: documentation
2022-09-08 16:12:26 +02:00
latex
WhyML: make the ref type built-in and handle the "ref" keyword
2018-10-14 21:54:29 +02:00
vim
Update keyword list.
2020-02-29 09:00:47 +01:00
whyitp
Added a real end of goal for PG.
2016-10-26 12:53:12 +02:00
zsh
Update completion scripts.
2021-04-10 15:07:06 +02:00
ce-models.json
Use Number.[int|real]_constant for integer and real values in CE models
2023-02-16 11:50:42 +01:00
provers-detection-data.conf
restored legacy shortcuts for Alt-Ergo
2024-02-12 16:02:52 +01:00
strategies.conf
stdlib set: add a function to generate an empty set + a few example updates
2016-03-24 10:45:38 +01:00
why3session.dtd
Add missing attributes to DTD.
2020-02-28 18:47:52 +01:00
Powered by Gitea Page: 272ms Template: 14ms
English
English
Licenses API