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

2 Commits

Author SHA1 Message Date
Francois Bobot
3a2b06b65f driver utilise register 2010-03-18 06:59:45 +00:00
Francois Bobot
c70a9c3811 - Ajout de split_conjunction 
- Ajout du choix d'appliquer les transformations avant ou après la séparation
   en un but par contexte (certainement à modifier)
 - Ajout de quelques transformations et plugins
 - ajout des options list-printers et list-transforms
 2010-03-14 16:54:15 +00:00