Commits · d120f6d78581977efb6359d6baa6e1ed26d7c1ee · Why3 / why3 · GitLab

23 Mar, 2010 12 commits
- theories vont maintenant dans theories/ · d120f6d7
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  d120f6d7
- theories vont maintenant dans theories/ · 17c07fd5
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  17c07fd5
- lib/ devient share/ · d94ba84c
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  d94ba84c
- drivers maintenant dans drivers/ · d96f32af
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  d96f32af
- theories vont maintenant dans theories/ · f97ddf37
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  f97ddf37
- drivers maintenant dans drivers/ · ade3c20a
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  ade3c20a
- theories vont maintenant dans theories/ · 82e362d1
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  82e362d1
- print_inst plus robust · e0d8224f
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  e0d8224f
- classes d'operateurs 1 2 3 et 4 · 1d0d5289
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  1d0d5289
- remove continuations from the code of Pattern.compile · 4523328d
  Andrei Paskevich authored Mar 23, 2010
  
  4523328d
- typage des programmes (en cours · 0ae9e9cb
  Jean-Christophe Filliâtre authored Mar 23, 2010
  
  0ae9e9cb
- compile patterns and match statements · c50f0034
  Andrei Paskevich authored Mar 23, 2010
  
  c50f0034
22 Mar, 2010 17 commits
- := comme un operateur particulier · 8aec3058
  Jean-Christophe Filliâtre authored Mar 22, 2010
  
  8aec3058
- plus de programmes · dd5bc11a
  Jean-Christophe Filliâtre authored Mar 22, 2010
  
  dd5bc11a
- ajout de l'operateur ! pour les programmes · 49745864
  Jean-Christophe Filliâtre authored Mar 22, 2010
  
  49745864
- replace underscores with dashes in command-line options · 280bf77b
  Andrei Paskevich authored Mar 22, 2010
  
  280bf77b
- elimination of indictive predicates · 7d7bc1a4
  Andrei Paskevich authored Mar 22, 2010
  
  7d7bc1a4
- smt printer smt.ml "smtv1" · d813b7f2
  Francois Bobot authored Mar 22, 2010
  
  d813b7f2
- minor · 2f080442
  Andrei Paskevich authored Mar 22, 2010
  
  2f080442
- refresh ls_defn on every open · 79a51b83
  Andrei Paskevich authored Mar 22, 2010
  
  79a51b83
- provide Util.map_join_left · a8731c85
  Andrei Paskevich authored Mar 22, 2010
  
  a8731c85
- alt-ergo.ml : Ajout d'un flush entre chaque declarations · 210ce906
  Francois Bobot authored Mar 22, 2010
  
  210ce906
- Utilisation de formatter au lieu d'un buffer intermediaire · 86d4f8ff
  Francois Bobot authored Mar 22, 2010
  
  86d4f8ff
- add fmla constructors with propositional simplification · ce462fc1
  Andrei Paskevich authored Mar 22, 2010
  
  ce462fc1
- raw_driver and driver · 75d67633
  Francois Bobot authored Mar 22, 2010
  
  75d67633
- - Transformation pour remplacer une definition par un axiome · f6d5509e
  Francois Bobot authored Mar 22, 2010
```
 - Transformation réalisant l'encodage de Stéphane
```
  f6d5509e
- pattern · e3b916dc
  Jean-Christophe Filliâtre authored Mar 22, 2010
  
  e3b916dc
- No commit message · 7d671795
  Jean-Christophe Filliâtre authored Mar 22, 2010
```
No commit message
```
  7d671795
- module Pattern · 1c4e78f5
  Jean-Christophe Filliâtre authored Mar 22, 2010
  
  1c4e78f5
21 Mar, 2010 7 commits
- move declaration rewriting from Trans to Decl · d64ec17f
  Andrei Paskevich authored Mar 21, 2010
  
  d64ec17f
- remove unused and unexported print_qualid from Denv · 9508894d
  Andrei Paskevich authored Mar 21, 2010
  
  9508894d
- raise the precedence of typecasting over DOT, ELSE, and IN · 5590facd
  Andrei Paskevich authored Mar 21, 2010
  
  5590facd
- parsing epsilon expressions · 44135941
  Andrei Paskevich authored Mar 21, 2010
  
  44135941
- remove unneeded (and incorrect) check · a466c154
  Andrei Paskevich authored Mar 21, 2010
  
  a466c154
- match statements on tuples (parsing and typing) · 2e3cc23c
  Andrei Paskevich authored Mar 21, 2010
  
  2e3cc23c
- match statements on tuples · e5379d09
  Andrei Paskevich authored Mar 21, 2010
  
  e5379d09
19 Mar, 2010 4 commits
- use the functor StructMake to make Maps, Sets and Hashtbls · abf5427a
  Andrei Paskevich authored Mar 19, 2010
```
for uniquely tagged objects.
```
  abf5427a
- minor · e70e78d9
  Andrei Paskevich authored Mar 19, 2010
  
  e70e78d9
- minor · b8c4ec74
  Andrei Paskevich authored Mar 19, 2010
  
  b8c4ec74
- check for known symbols in theories · ed210051
  Andrei Paskevich authored Mar 19, 2010
  
  ed210051