ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

4 Commits

Author SHA1 Message Date
Paul Patault
b7d4770c7d coma: simplify examples 2024-10-17 20:00:12 +02:00
Andrei Paskevich
523ee1a95a coma: a properer fix 2024-10-16 12:58:53 +02:00
Andrei Paskevich
c962acdf40 coma: name VC goals "handler'vc" instead of "vc_handler" 2024-10-16 12:46:59 +02:00
Paul Patault
bb708cfec0 coma: added examples 2024-08-08 11:09:46 +02:00