Skip to content
[Jenkins]Jenkins
log in
Success

#197 (Jun 23, 2020, 9:53:49 AM)

Started 5 yr 2 mo ago
Took 42 min on olive

Started by GitHub push by xavierleroy

Revision: 607bd8d27d016b59e7f686e0555a15e37c37da7f
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. configure: add a NAKED_POINTERS parameter to Makefile.config (commit: 41227a1) (details / githubweb)
  2. ocamltest: add the "naked_pointers" action (commit: 133102c) (details / githubweb)
  3. Revise testing of Obj.reachable_words (commit: ccb7829) (details / githubweb)
  4. Reimplement Obj.reachable_word using a hash table to detect sharing (commit: e52bf32) (details / githubweb)
  5. Changes entry for #9678 (commit: 7e4ef62) (details / githubweb)