3 ms·

Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.

by ulber 14y ago

Raphael_Amiard 14y ago
I wasn't aware of that. The Z3 name was imposed as part of the university project this started with. It was supposed to be part of the VMKit suite of compilers, J3 being the Java bytecode compiler and N3 being the .Net compiler. I'd be happy to change the name of this project if it ever gains enough traction to cause confusion in any way :)
- chwahoo 14y ago
  To backup the original poster, one of OCaml's stronger communities focuses on program analysis for C programs (using the CIL library http://www.cs.berkeley.edu/~necula/cil/ http://www.cs.berkeley.edu/~necula/cil/) and SMT solvers like Z3 are also widely used in that community, so there's definitely some potential for confusion if your OCaml backend gains some traction. Still, an LLVM backend for OCaml seems like a great idea. Keep up the good work.
- agumonkey 14y ago
  Is it in collaboration with the core ocaml team ? or at least are they aware of it ?
- agumonkey 14y ago
  Ha I didn't recognize the VMKit name, but since I googled some things, and found this project, in case someone is interested : http://vmkit2.gforge.inria.fr/index.php http://vmkit2.gforge.inria.fr/index.php
- saurik 14y ago
  > I'd be happy to change the name of this project if it ever gains enough traction to cause confusion in any way :) By that time it is largely too late and the damage/bother is already difficult to fix.
- cpeterso 14y ago
  If you're following J3 and N3, then why not O3? Or OCamLLVM? ;)
- tikhonj 14y ago
  If Java gets J3 and .NET gets N3, why doesn't OCaml get O3? It's also a cute name because it looks just like an optimization level :).
fhars 14y ago
Not only that, but Microsoft's Z3 supports ocaml and is still the first google hit for "z3 ocaml" in my search bubble: http://www.google.com/search?q=z3+ocaml http://www.google.com/search?q=z3+ocaml This project should change its name as soon as possible.
- Raphael_Amiard 14y ago
  Ok, duly noted

Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.

by ulber 14y ago

Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.

I wasn't aware of that. The Z3 name was imposed as part of the university project this started with. It was supposed to be part of the VMKit suite of compilers, J3 being the Java bytecode compiler and N3 being the .Net compiler. I'd be happy to change the name of this project if it ever gains enough traction to cause confusion in any way :)

chwahoo 14y ago
To backup the original poster, one of OCaml's stronger communities focuses on program analysis for C programs (using the CIL library http://www.cs.berkeley.edu/~necula/cil/ http://www.cs.berkeley.edu/~necula/cil/) and SMT solvers like Z3 are also widely used in that community, so there's definitely some potential for confusion if your OCaml backend gains some traction. Still, an LLVM backend for OCaml seems like a great idea. Keep up the good work.
agumonkey 14y ago
Is it in collaboration with the core ocaml team ? or at least are they aware of it ?
agumonkey 14y ago
Ha I didn't recognize the VMKit name, but since I googled some things, and found this project, in case someone is interested : http://vmkit2.gforge.inria.fr/index.php http://vmkit2.gforge.inria.fr/index.php
saurik 14y ago
> I'd be happy to change the name of this project if it ever gains enough traction to cause confusion in any way :) By that time it is largely too late and the damage/bother is already difficult to fix.
cpeterso 14y ago
If you're following J3 and N3, then why not O3? Or OCamLLVM? ;)
tikhonj 14y ago
If Java gets J3 and .NET gets N3, why doesn't OCaml get O3? It's also a cute name because it looks just like an optimization level :).

fhars 14y ago

Not only that, but Microsoft's Z3 supports ocaml and is still the first google hit for "z3 ocaml" in my search bubble: http://www.google.com/search?q=z3+ocaml http://www.google.com/search?q=z3+ocaml This project should change its name as soon as possible.

Raphael_Amiard 14y ago
Ok, duly noted