Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
12,394 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

12394 Commits (29c907de13cc84e4cbdfcebf044d73e5f523085d)

Author SHA1 Message Date
Jacques Garrigue 29c907de13 add description of refutation cases 2016-01-13 15:14:15 +09:00
Mark Shinwell 8538e9e179 Fix fallout from GPR#360 on other backends 2016-01-12 19:24:56 +01:00
Mark Shinwell 109cafb7c8 Merge pull request #413 from chambart/flambda_prereq-ident_identifiable 
GPR#413: Make the Ident module identifiable
 2016-01-12 18:18:55 +01:00
Mark Shinwell 0ac2fc54b5 Merge pull request #369 from mshinwell/flambda_prereq-scc 
GPR#369: Strongly connected components
 2016-01-12 18:18:45 +01:00
Mark Shinwell 74b8b6ab5e Merge pull request #360 from mshinwell/flambda_prereq-init_assign 
GPR#360: Propagate whether or not stores are initializing, etc.
 2016-01-12 18:18:27 +01:00
Mark Shinwell 89cb79b18c fix testsuite 2016-01-12 18:01:45 +01:00
Pierre Chambart 38ce618089 Make the Ident module identifiable 2016-01-12 18:01:25 +01:00
Mark Shinwell 1579d4aa09 Merge pull request #398 from chambart/clear_Spill.destroyed_at_fork 
GPR#398: Clear Spill.destroyed_at_fork to avoid memory blowup
 2016-01-12 17:40:02 +01:00
Mark Shinwell 9313b7db31 Merge pull request #403 from chambart/flambda_prereq-arity-0-functions 
GPR#403: Handling of functions without arguments
 2016-01-12 17:37:20 +01:00
Mark Shinwell f0f9627dc2 Merge remote-tracking branch 'chambart/flambda_prereq-init_assign' into flambda_prereq-init_assign 2016-01-12 17:06:13 +01:00
Pierre Chambart f00807aace Fix asmcomp testsuite 2016-01-12 17:04:08 +01:00
Mark Shinwell 9d9e11b94c Merge pull request #412 from mshinwell/flambda_prereq-lambda_map 
GPR#412: Add Lambda.map
 2016-01-12 17:02:32 +01:00
Damien Doligez 355c982328 PR#6574: get better backtraces in case of compiler crash 2016-01-12 16:51:35 +01:00
Mark Shinwell 2a8be79dc5 Further updates to middle_end/ only 2016-01-12 16:37:27 +01:00
Mark Shinwell 869b25cd3a Import Lambda.map 2016-01-12 16:29:29 +01:00
Pierre Chambart ce63c499b1 Fix merge problems 2016-01-12 16:29:22 +01:00
Mark Shinwell 57067d2bd2 Merge pull request #411 from mshinwell/flambda_prereq-predef 
GPR#411: Expose more things in Predef
 2016-01-12 16:18:38 +01:00
Mark Shinwell 499a66c39c Merge pull request #371 from mshinwell/flambda_prereq-split_default_wrapper 
GPR#371: Move split_default_wrapper to Simplif
 2016-01-12 16:01:18 +01:00
Mark Shinwell 91b475ef9e Predef 2016-01-12 15:57:44 +01:00
Mark Shinwell a76810c7ee More things in Predef 2016-01-12 15:50:27 +01:00
Mark Shinwell 2ff7c69704 Further updates to middle_end/ only 2016-01-12 15:45:31 +01:00
Pierre Chambart f2f0c406a5 Clear Spill.destroyed_at_fork to avoid memory blowup 2016-01-12 15:41:51 +01:00
Mark Shinwell 029e1bbbbc Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-init_assign 2016-01-12 15:33:54 +01:00
Pierre Chambart 870b75d8ea Factorise constant int taging in cmmgen 2016-01-12 15:31:02 +01:00
Pierre Chambart c96702d0f1 Handling of functions without arguments 
Assumes that functions without arguments are never indirectly called.
 2016-01-12 15:23:49 +01:00
Mark Shinwell b779463a07 Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-scc 2016-01-12 15:21:50 +01:00
Mark Shinwell f3cb90fcff Merge pull request #395 from chambart/clambda_constant_closures 
GPR#395: Add the constant_closure construction to the Clambda.ustructured_constant type
 2016-01-12 15:21:11 +01:00
Mark Shinwell cf06b87981 remake .depend 2016-01-12 15:18:58 +01:00
Mark Shinwell c00323309c Merge remote-tracking branch 'chambart/flambda_prereq-scc' into flambda_prereq-scc 2016-01-12 15:15:23 +01:00
Mark Shinwell 16c45bfe14 Merge pull request #410 from mshinwell/flambda_prereq-colours 
GPR#410: Move color_setting into Misc.Color
 2016-01-12 15:11:33 +01:00
Mark Shinwell 3b660f838a Merge pull request #394 from chambart/clambda_unreachable 
GPR#394: Add an unreachable construction to clambda
 2016-01-12 14:47:14 +01:00
Mark Shinwell 9a71ef6788 Merge pull request #393 from chambart/optionnal_ustructured_constant_in_clambda 
PR#393: Make the Uconst_ref constant representation optional
 2016-01-12 14:46:59 +01:00
Pierre Chambart 09d4bc9025 Fix testsuite for strongly_connect_components 2016-01-12 14:43:17 +01:00
Mark Shinwell 96287792b4 Move color_setting into Misc.Color 2016-01-12 14:35:17 +01:00
Mark Shinwell ca039d77fb Merge pull request #357 from mshinwell/flambda_prereq-misc-list 
GPR#357: Add various utility functions in Misc
 2016-01-12 14:17:55 +01:00
Mark Shinwell 8eedd58e05 Lesser 2016-01-12 14:14:37 +01:00
Mark Shinwell bc02894a0f Copyright headers, minor tidying 2016-01-12 14:14:37 +01:00
Mark Shinwell bf22a9a524 fixes 2016-01-12 14:14:37 +01:00
Mark Shinwell 9c8330a52f tidying 2016-01-12 14:14:37 +01:00
Mark Shinwell 8d41337993 add SCC code 2016-01-12 14:14:37 +01:00
Mark Shinwell e79548726e Merge pull request #4 from damiendoligez/flambda_prereq-misc-list 
make the list functions tail-rec and improve documentation comments
 2016-01-12 14:10:06 +01:00
Damien Doligez 80c674b0c1 make the list functions tail-rec and improve documentation comments 2016-01-12 14:09:03 +01:00
Mark Shinwell 2a3e730aa3 Merge pull request #390 from mshinwell/flambda_prereq-module_size 
GPR#390: Compute module block size in transl_structure
 2016-01-12 14:07:27 +01:00
Mark Shinwell 9441d0190e Merge pull request #361 from mshinwell/flambda_prereq-id_and_nums 
GPR#361: Identifiable and Numbers
 2016-01-12 14:05:18 +01:00
Mark Shinwell 28994d76df Use stdlib Map.union 2016-01-12 13:50:47 +01:00
Mark Shinwell 895f853ada Use stdlib Map.union 2016-01-12 13:49:41 +01:00
Mark Shinwell f9a3d0d9c1 merge with trunk 2016-01-12 13:48:39 +01:00
Mark Shinwell b7df26e34b Update middle_end/ for recent changes from flambda_trunk 2016-01-12 13:38:52 +01:00
Mark Shinwell 55d86aea30 Lesser 2016-01-12 13:32:30 +01:00
Mark Shinwell bfdb3c3a82 Copyright headers 2016-01-12 13:32:04 +01:00