Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/utils
History
Fabrice Le Fessant 97bc1fa9e2 Reverting -with-frame-pointers 
Fails to compile alt-ergo without frame-pointers. No time to debug
before tonight, so I revert and will merge again after fixing the
problem.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2013-06-03 06:29:33 +00:00
..
.ignore uniform .ignore system 2011-07-20 15:37:36 +00:00
ccomp.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
ccomp.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
clflags.ml Reverting -with-frame-pointers 2013-06-03 06:29:33 +00:00
clflags.mli PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32. 2013-04-18 11:58:59 +00:00
config.mlbuild print magic number for -config option 2013-05-28 23:53:45 +00:00
config.mli Reverting -with-frame-pointers 2013-06-03 06:29:33 +00:00
config.mlp Reverting -with-frame-pointers 2013-06-03 06:29:33 +00:00
consistbl.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
consistbl.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
misc.ml Fix PR#5985; compute injectivity of types but no new syntax 2013-04-30 05:26:57 +00:00
misc.mli Fix PR#5985; compute injectivity of types but no new syntax 2013-04-30 05:26:57 +00:00
tbl.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
tbl.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
terminfo.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
terminfo.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
warnings.ml extend warning 3 to other deprecated features: Latin1, (&) and (or) 2013-05-28 11:05:58 +00:00
warnings.mli extend warning 3 to other deprecated features: Latin1, (&) and (or) 2013-05-28 11:05:58 +00:00