Skip to content
Failed

#20 (Apr 10, 2020, 6:34:06 PM)

Started 5 yr 2 mo ago
Took 9.2 sec on olive

Started by an SCM change

Revision: a20888659c272e663b11bb6865510139238ce1f2
Repository: https://github.com/nojb/ocaml
  • origin/riscv
Changes
  1. fix Makefile dependencies of ocamltest (commit: d45e39d) (details / githubweb)
  2. matching: formatting noise (commit: 488a588) (details / githubweb)
  3. Use typing information from Clambda for mutable Cmm variables (commit: 1336ce0) (details / githubweb)
  4. Assert that Cassign is only used on Clet_mut-bound variables (commit: de9e630) (details / githubweb)
  5. matching: half_compiled_row: (head, patl, act) => - 12 assert false (commit: c591c17) (details / githubweb)
  6. matching: move things around (commit: bfc2b13) (details / githubweb)
  7. Add test for short-paths in error messages (commit: 9de0113) (details / githubweb)
  8. Fix some bugs in short-paths (commit: 1188af3) (details / githubweb)
  9. Avoid polymorphic compare in Ident (commit: 76752f7) (details / githubweb)
  10. Add Changes entry (commit: 1906371) (details / githubweb)
  11. Short circuit simple inclusion checks (commit: ecfaffe) (details / githubweb)
  12. Bootstrap (commit: ccfd2cf) (details / githubweb)
  13. Add Changes entry (commit: 7b99835) (details / githubweb)
  14. Apply short-paths to an additional case (commit: 971ffaf) (details / githubweb)
  15. Add Changes entry (commit: c5bd0d8) (details / githubweb)
  16. typedtree.mli: un-open Types (commit: 9fb4b05) (details / githubweb)
  17. Add a unique id to every signature item (commit: d52dd5c) (details / githubweb)
  18. use uid for usage warnings (commit: e4de6c1) (details / githubweb)
  19. update testsuite (commit: 7e37000) (details / githubweb)
  20. typecore: wrap_unpacks => type_unpacks (commit: dacf8b5) (details / githubweb)
  21. set_value_used_callback: simplify implementation (commit: 8abb519) (details / githubweb)
  22. Changes (commit: 6063e73) (details / githubweb)
  23. Types.Uid: include Identifiable (commit: 3fe2538) (details / githubweb)
  24. update Changes (commit: a280041) (details / githubweb)
  25. Uid.reinit (commit: 86b33bc) (details / githubweb)
  26. printtyp: inline a function call (#9347) (commit: 0a09add) (details / githubweb)
  27. bootstrap (commit: dec26d4) (details / githubweb)
  28. add forgotten word in comment (commit: b67779b) (details / githubweb)
  29. build_subtype: assert arrow type is known (#9348) (commit: bea2d04) (details / githubweb)
  30. make depend (commit: e8d9ec5) (details / githubweb)
  31. Define Seq.cons and Seq.append. (#9077) (commit: cc4a075) (details / githubweb)
  32. disambiguation: improve the API of NameChoice.disambiguate (commit: bf6c8d4) (details / githubweb)
  33. Document warning 67 in ocamlc man page (#9346) (commit: e10d0ac) (details / githubweb)
  34. Micro-optimise allocations on amd64 to save a register (#9280) (commit: 4d4a056) (details / githubweb)
  35. fix HACKING.adoc formatting (commit: a80939a) (details / githubweb)
  36. matching: Add intermediary types to keep track of the compilation state of pms (commit: 4b41481) (details / githubweb)
  37. parmatch: export Pattern_head (commit: 9504ede) (details / githubweb)
  38. matching: start using Pattern_head (commit: 8790988) (details / githubweb)
  39. matching: more precise argo argument (commit: 5a22a88) (details / githubweb)
  40. matching: remove dedicated type, use labelled arguments (commit: 3d339ea) (details / githubweb)
  41. matching: add an assert false in divide variant (commit: f3e6fc7) (details / githubweb)
  42. Implement #9280 for MSVC64 (#9358) (commit: e137610) (details / githubweb)
  43. matching: deduplicate the matrix pretty-printing functions (commit: 3388d0a) (details / githubweb)
  44. matching: deduplicate the debug information printing (commit: 9ba926c) (details / githubweb)
  45. ocamldebug: initialize all functions in Env (#9356) (commit: 95a5399) (details / githubweb)
  46. matching: ctx_matcher with heads (#9359) (commit: 7fd5dd9) (details / githubweb)
  47. Avoid looking up nonexistent Comballoc debuginfo (commit: 05afee9) (details / githubweb)
  48. Deprecate -annot (#2141) (commit: 57d329e) (details / githubweb)
  49. minor Changes files (commit: c811c71) (details / githubweb)
  50. TOOLS: Ocamldep arg to not include current dir to search path (commit: e0b31a6) (details / githubweb)
  51. Add an assertion that we never try to read debuginfo from system frames (#9366) (commit: 58f8284) (details / githubweb)
  52. Add a new toplevel directive #use_output "<command>" (commit: e54876a) (details / githubweb)
  53. Generate the same locations for raises in bytecode and native code (commit: cc7b687) (details / githubweb)
  54. Generate the same backtraces for method send in bytecode and native (commit: 07d0192) (details / githubweb)
  55. Changes entry (commit: 97f15cd) (details / githubweb)
  56. Fix #9344 (#9368) (commit: c7de942) (details / githubweb)
  57. fix doc comment for unit type (commit: a8a3c55) (details / githubweb)
  58. fix doc comment for seq type (commit: 75bc37d) (details / githubweb)
  59. fix sockaddr type doc comment (commit: 16e40ae) (details / githubweb)
  60. fix msg_flag type doc comment (commit: 058e089) (details / githubweb)
  61. Use $AWK not awk (commit: bc867ce) (details / githubweb)
  62. Don't assume . in AWKPATH (commit: e4f3aa8) (details / githubweb)
  63. matching: use polymorphic variants to classify general/half_simple/simple patterns (#9361) (commit: 3196a70) (details / githubweb)
  64. The manual is now hosted on ocaml.org (#9378) (commit: 466ed63) (details / githubweb)
  65. [Refactor]: Typing/typeclass.ml (commit: 52dc5d7) (details / githubweb)
  66. Fix Changes entry (commit: b4e34ae) (details / githubweb)
  67. Replace caml_int_compare and caml_float_compare with primitives (#2324) (commit: 824ce35) (details / githubweb)
  68. Stdlib: added Printf.ikbprintf, Printf.ibprintf (#9364) (commit: 4019c33) (details / githubweb)
  69. fix attribute examples in the manual (commit: 3e7de34) (details / githubweb)
  70. minor Changes change (commit: f4915d5) (details / githubweb)
  71. Remove sudo:false in .travis.yml (#9402) (commit: 49d0580) (details / githubweb)
  72. dune: cmt2annot (commit: 250c9c8) (details / githubweb)
  73. [nitpick]: Added "." at the end of warning descriptions in utils/warnings.ml (commit: 50866e4) (details / githubweb)
  74. Added: Warning 67 description. (commit: e831b47) (details / githubweb)
  75. add optional argument principality examples (#9405) (commit: e10e2bf) (details / githubweb)
  76. Map.filter_map and Set.filter_map (commit: 1cd6e44) (details / githubweb)
  77. add more principality warnings examples for applications (#9408) (commit: 1e78d1e) (details / githubweb)
  78. Move changelog entry for #9344's fix in 4.10 section (commit: 05c209f) (details / githubweb)
  79. Gc.Memprof.start: take a record instead of 5 optional parameters (commit: ff6b200) (details / githubweb)
  80. memprof: remove caml_unused memprof_start_byt and then bootstrap (commit: 14a4510) (details / githubweb)
  81. memprof runtime: keep tracker callbacks in a single value (commit: d440079) (details / githubweb)
  82. testsuite/Makefile: refactor the -promote ocamltest logic (commit: 89b41c3) (details / githubweb)
  83. ocamltest: collect 'summary' information on whether a failure happened (commit: 9eadd76) (details / githubweb)
  84. ocamltest: opt-in -keep-test-dir-on-success to keep test data on success (commit: a86943c) (details / githubweb)
  85. testsuite/Makefile: allow users to explicit set KEEP_TEST_DIR_ON_SUCCESS=1 (commit: 45697b3) (details / githubweb)
  86. Changes -- and justification. (commit: 86066c8) (details / githubweb)
  87. disambiguation for extension constructors (commit: 4f9f41e) (details / githubweb)
  88. README: update link to manual pages and reference inbox.ocaml.org (commit: 6dd7b42) (details / githubweb)
  89. replaced fib example with gcd in coreexample.etex (commit: 97b9bed) (details / githubweb)
  90. [REVIEW REQUIRED] matching: simplify can_group (commit: acd44f9) (details / githubweb)
  91. [minor] matching: rename `group_var` into `simple_omega_like` (commit: d05f86e) (details / githubweb)
  92. [minor] fix a Makefile warning by defining undefined variables (commit: 7612a6d) (details / githubweb)
  93. Changes entry for the refactoring of the pattern-matching compiler (commit: 2e82c0e) (details / githubweb)
  94. PowerPC, System Z: do not reset backtrace_pos in caml_raise_exception (#9428) (commit: d235f16) (details / githubweb)
  95. Fix documentation comment for struct large_free_block (#9399) (commit: 61a2be4) (details / githubweb)
  96. extern.c: make sure extern_free_stack() is always called on an exception (commit: 4d11d1d) (details / githubweb)
  97. caml_output_value_to_malloc: revise freeing of output buffer (commit: 13fbd2a) (details / githubweb)
  98. Update Changes (commit: 3d4564c) (details / githubweb)
  99. In `{expr with ...}`, always evaluate `expr` even if all labels are redefined (#9432) (commit: d67c704) (details / githubweb)
  100. configure for mingw: GCC optimization options (commit: 743ca1b) (details / githubweb)
  101. configure: add GCC option -fexcess-precision=standard (commit: c5afa93) (details / githubweb)
  102. configure: quote [] inside cases of AS_CASE construct (commit: 797698d) (details / githubweb)
  103. configure: use m4_normalize to reformat long messages (commit: e35babe) (details / githubweb)
  104. Update Changes for PR#9426 (commit: 286d4d6) (details / githubweb)
  105. Add riscv64 backend (commit: a208886) (details / githubweb)