MOREAU Solene 9afc38484d Support for CVC5

2022-06-03 16:30:54 +00:00

..

bash

Update completion scripts.

2021-04-10 15:07:06 +02:00

emacs

Make why3-mode a major mode derived from prog-mode.

2022-01-05 16:33:47 +01:00

images

logo "why3 approved", gimp source and PNG

2018-03-29 10:51:15 +02:00

lang

ide: syntax highlighting for Why3/C code

2019-12-06 10:31:55 +01: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

provers-detection-data.conf

Support for CVC5

2022-06-03 16:30:54 +00: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