Commits · b7dd1446cf99e1a15faf416b51baeaaa61a8b29b · Why3 / why3 · GitLab

19 Feb, 2010 2 commits
- token UNDERSCORE · b7dd1446
  Jean-Christophe Filliâtre authored Feb 19, 2010
  
  b7dd1446
- petit nettoyage des AST et du parser · e06b2459
  Jean-Christophe Filliâtre authored Feb 19, 2010
  
  e06b2459
18 Feb, 2010 2 commits
- uses = declaration comme une autre ; retablissement du . dans la syntaxe de forall/exists · c50d0346
  Jean-Christophe Filliâtre authored Feb 18, 2010
  
  c50d0346
- distinction lident/uident a la Caml · 644ef011
  Jean-Christophe Filliâtre authored Feb 18, 2010
  
  644ef011
17 Feb, 2010 7 commits
- uses · 64abfa8a
  Jean-Christophe Filliâtre authored Feb 17, 2010
  
  64abfa8a
- fichier CHANGES (idem : en francais pour l'instant) · 821c2aa7
  Jean-Christophe Filliâtre authored Feb 17, 2010
  
  821c2aa7
- fichier TODO (en francais pour l'instant, pour garder trace des choses à faire) · 33e5bda8
  Jean-Christophe Filliâtre authored Feb 17, 2010
  
  33e5bda8
- noms qualifies (mais pas encore de uses) · b042385c
  Jean-Christophe Filliâtre authored Feb 17, 2010
  
  b042385c
- unfold type aliases during type construction · bdb46dc5
  Andrei Paskevich authored Feb 17, 2010
  
  bdb46dc5
- No commit message · e04b3734
  Jean-Christophe Filliâtre authored Feb 17, 2010
```
No commit message
```
  e04b3734
- type variables and local variables only in type denv · 99cfd834
  Jean-Christophe Filliâtre authored Feb 17, 2010
  
  99cfd834
16 Feb, 2010 5 commits
- add missing checks in create_tysymbol · 82033fd6
  Andrei Paskevich authored Feb 16, 2010
  
  82033fd6
- some minor additions · 6791bf05
  Andrei Paskevich authored Feb 16, 2010
  
  6791bf05
- generic traversal for types and patterns + missing checks in map_skip · ff1489d7
  Andrei Paskevich authored Feb 16, 2010
  
  ff1489d7
- change the order of arguments in subst functions · a31f6ab2
  Andrei Paskevich authored Feb 16, 2010
  
  a31f6ab2
- massive function renaming for the sake of consistency · e99f3a86
  Andrei Paskevich authored Feb 16, 2010
  
  e99f3a86
15 Feb, 2010 3 commits
- No commit message · 172f41f5
  Jean-Christophe Filliâtre authored Feb 15, 2010
```
No commit message
```
  172f41f5
- typage des termes et des formules (suite) · f14c50a3
  Jean-Christophe Filliâtre authored Feb 15, 2010
  
  f14c50a3
- typing of formulas · ea9cdc7b
  Jean-Christophe Filliâtre authored Feb 15, 2010
  
  ea9cdc7b
14 Feb, 2010 2 commits
- typage des declarations 'logic' · 65f60f57
  Jean-Christophe Filliâtre authored Feb 14, 2010
  
  65f60f57
- another fix · ab13508a
  Andrei Paskevich authored Feb 14, 2010
  
  ab13508a
13 Feb, 2010 3 commits
- fix an inefficient test · 2150ae27
  Andrei Paskevich authored Feb 13, 2010
  
  2150ae27
- minor fix for the previous commit · 8dc6df3f
  Andrei Paskevich authored Feb 13, 2010
  
  8dc6df3f
- add term/formula matching, export safe maps and folds · d15599f7
  Andrei Paskevich authored Feb 13, 2010
  
  d15599f7
12 Feb, 2010 1 commit
- more useful transformations and checks · e5b7d169
  Andrei Paskevich authored Feb 12, 2010
  
  e5b7d169
11 Feb, 2010 3 commits
- No commit message · 94493a4b
  Jean-Christophe Filliâtre authored Feb 11, 2010
```
No commit message
```
  94493a4b
- fabrication de src/version.ml · 767b99c0
  Jean-Christophe Filliâtre authored Feb 11, 2010
  
  767b99c0
- move Funop to Fnot + add checks to smart constructors · fcf05d12
  Andrei Paskevich authored Feb 11, 2010
  
  fcf05d12
10 Feb, 2010 8 commits
- Hash-consing on symbols, type in vsymbols · 867218c7
  Andrei Paskevich authored Feb 10, 2010
  
  867218c7
- ignore semantic.cache · 83b8de1a
  Jean-Christophe Filliâtre authored Feb 10, 2010
  
  83b8de1a
- headers (pour faire plaisir a Andrei) · 2e3c6fa7
  Jean-Christophe Filliâtre authored Feb 10, 2010
  
  2e3c6fa7
- minor code cleaning · d4db3bf7
  Andrei Paskevich authored Feb 10, 2010
  
  d4db3bf7
- add unsafe_map functions + rewrite abstraction/instantiation · ab80b96f
  Andrei Paskevich authored Feb 10, 2010
  
  ab80b96f
- No commit message · 2ab7752d
  Jean-Christophe Filliâtre authored Feb 10, 2010
```
No commit message
```
  2ab7752d
- typage des declarations de types · f9f70e9f
  Jean-Christophe Filliâtre authored Feb 10, 2010
  
  f9f70e9f
- un debut de module Typing · b615b5df
  Jean-Christophe Filliâtre authored Feb 10, 2010
  
  b615b5df
09 Feb, 2010 4 commits
- mise en place de 'make test' qui teste src/test.why · 1512d6a0
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  1512d6a0
- Lexer et Parser · ce4a17ca
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  ce4a17ca
- module Loc pour les localisations ; module Ptree pour les arbres de syntaxe... · 05a9cd8a
  Jean-Christophe Filliâtre authored Feb 09, 2010
```
module Loc pour les localisations ; module Ptree pour les arbres de syntaxe parses (logique uniquement)
```
  05a9cd8a
- pretty-printers · d8141f56
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  d8141f56