Commits · 172f41f577848f6e1e344bbf36cfca7a40b771e5 · Why3 / why3

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 11 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
- alpha-equivalence · 6d95d628
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  6d95d628
- No commit message · ab6e7358
  Jean-Christophe Filliâtre authored Feb 09, 2010
```
No commit message
```
  ab6e7358
- fonctions open_... · a981758e
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  a981758e
- substitutions · 50173aa6
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  50173aa6
- nettoyage Makefile · e37b1e27
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  e37b1e27
- Hashcons : plus de type node · e8f4ac63
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  e8f4ac63
- headers · 6b95cbe2
  Jean-Christophe Filliâtre authored Feb 09, 2010
  
  6b95cbe2
08 Feb, 2010 4 commits
- No commit message · c53c27eb
  Jean-Christophe Filliâtre authored Feb 08, 2010
```
No commit message
```
  c53c27eb
- un peu plus de hash-consing · 54af9192
  Jean-Christophe Filliâtre authored Feb 08, 2010
  
  54af9192
- un debut de hash-consing · 2b08ce99
  Jean-Christophe Filliâtre authored Feb 08, 2010
  
  2b08ce99
- ma proposition · 119d10c8
  Johannes Kanig authored Feb 08, 2010
  
  119d10c8
02 Dec, 2009 3 commits
- No commit message · 2a6ee4aa
  Jean-Christophe Filliâtre authored Dec 02, 2009
```
No commit message
```
  2a6ee4aa
- No commit message · 002944ed
  Jean-Christophe Filliâtre authored Dec 02, 2009
```
No commit message
```
  002944ed
- No commit message · 44577e84
  Jean-Christophe Filliâtre authored Dec 02, 2009
```
No commit message
```
  44577e84