9 commits

Author	SHA1	Message	Date
Vincent Laporte	ce03af969e	ocaml ≤ 4.05: mark as broken on Aarch64 (#47010)	2018-09-20 21:18:28 +02:00
Vincent Laporte	4f3868b72d	ocaml ≤ 4.05: mark as broken on Aarch64	2018-09-15 13:17:12 +00:00
John Ericson	ba52ae5048	treewide: isArm -> isAarch32 ... Following legacy packing conventions, `isArm` was defined just for 32-bit ARM instruction set. This is confusing to non packagers though, because Aarch64 is an ARM instruction set. The official ARM overview for ARMv8[1] is surprisingly not confusing, given the overall state of affairs for ARM naming conventions, and offers us a solution. It divides the nomenclature into three levels: ``` ISA: ARMv8 {-A, -R, -M} / \ Mode: Aarch32 Aarch64 | / \ Encoding: A64 A32 T32 ``` At the top is the overall v8 instruction set archicture. Second are the two modes, defined by bitwidth but differing in other semantics too, and buttom are the encodings, (hopefully?) isomorphic if they encode the same mode. The 32 bit encodings are mostly backwards compatible with previous non-Thumb and Thumb encodings, and if so we can pun the mode names to instead mean "sets of compatable or isomorphic encodings", and then voilà we have nice names for 32-bit and 64-bit arm instruction sets which do not use the word ARM so as to not confused either laymen or experienced ARM packages. [1]: https://developer.arm.com/products/architecture/a-profile	2018-04-25 15:28:55 -04:00
Vincent Laporte	5c4ee2a3ab	ocaml: init at 4.07.0+beta2	2018-04-25 18:19:57 +02:00
Vincent Laporte	efcb39233d	ocaml: adds an argument to enable flambda	2017-12-29 10:49:13 +01:00
Vincent Laporte	82ab1f8408	ocaml: fix the meta.branch attribute	2017-01-24 21:13:00 +00:00
Vincent Laporte	ae047510bf	ocaml: init at 4.04	2017-01-24 21:13:00 +00:00
Kirill Boltaev	e61663a233	treewide: move to ocaml-ng system	2016-09-26 02:36:49 +03:00
Théophane Hufschmitt	08b85f5f99	ocaml : add 4.03 compiler	2016-08-19 19:07:30 +02:00