keep longident in Typecore.Wrong_name
Jacques Garrigue • 11 years ago  
Fix typo.
Alain Frisch • 11 years ago  
fix warnings
Jacques Garrigue • 11 years ago  
Whitespace cleanup.
Alain Frisch • 11 years ago  
fix warnings
Jacques Garrigue • 11 years ago  
clean up
Jacques Garrigue • 11 years ago  
protect call to Env.find_type
Jacques Garrigue • 11 years ago  
Cleanup.
Alain Frisch • 11 years ago  
only expand to first concrete definition
Jacques Garrigue • 11 years ago  
fix label lookup
Jacques Garrigue • 11 years ago  
add missing copyright headers
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
remove non-ascii chars
Damien Doligez • 11 years ago  
more small changes
Damien Doligez • 11 years ago  
ignore generated files
Damien Doligez • 11 years ago  
Adapt to changes.
Alain Frisch • 11 years ago  
#5768: add tests.
Alain Frisch • 11 years ago  
Add missing module.
Alain Frisch • 11 years ago  
#5784: -dclambda option is ignored.
Alain Frisch • 11 years ago  
remove TABs
Damien Doligez • 11 years ago  
remove all $Id keywords
Damien Doligez • 11 years ago  
add possibility of ignoring a directory
Damien Doligez • 11 years ago  
small tweaks
Damien Doligez • 11 years ago  
Fix PR#5785
Jacques Garrigue • 11 years ago  
introduce local types in patterns
Jacques Garrigue • 11 years ago  
Typo.
Alain Frisch • 11 years ago  
merge changes from 4.00.0 to 4.00.1
Damien Doligez • 11 years ago  
ignore build dir for frama-c
Damien Doligez • 11 years ago