Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
source
common
store.ml
Find file
Blame
History
Permalink
Be more permissive in the RIF reader, converting data when sensible, and truncating
· f9999594
Erwan Jahier
authored
Apr 12, 2011
too big integers. Also, set the default min and max for vars to biggers values.
f9999594