search for: fortaine

>C--'s weakness is it's incompleteness (missing many major features), >instability/bugginess, poor performance (both time to compile and the >generated code), lack of high-level optimizations, lack of ABI >compatibility with the native tools, lack of C++ frontend support, and the >small size of its community. To quote Tony Hoare : "premature optimization is the

On 11/1/06, Guillaume FORTAINE <guillaume.fortaine at wanadoo.fr> wrote: > >C--'s weakness is it's incompleteness (missing many major features), > >instability/bugginess, poor performance (both time to compile and the > >generated code), lack of high-level optimizations, lack of ABI > >compa...

>Neither C-- nor LLVM provide this.  Why do you need a GLR parser >specifically? http://www.cs.berkeley.edu/~smcpeak/elkhound/ Parsing with arbitrary context-free grammars has two key advantages: (1) unbounded lookahead, and (2) support for ambiguous grammars. Unbounded lookahead is achieved by allowing multiple potential parses to coexist for as long as necessary. Similarly, ambiguity

...when "build" is mentioned & have no aspirations to learn git & thus, testing oVirt's on pause until a new iso's released. Not to mention how it feels to hit a feature paywall after tinkering a few days with something. I'd very much like to try something like what Mr. Fortaine's speaking of, & I hope to see it realized one day, in a way that wouldn't require someone like me to hire a consultant to implement. Just my 2 cents. -Chris Bartels President / CEO Nocturnal Feast

Misters, Let me introduce myself : Guillaume FORTAINE, Engineer in Computer Science. Me and my partners are currently working on a Virtualization Firmware. After an analysis of the various solutions (Citrix, VMware and Microsoft), it seemed natural to our eyes, to enable a true bare-metal hypervisor, to go as close as possible to the hardware, hen...

...tHurd ). Could we "easily" implement a Mozart front-end to llvm ? Do you think llvm could be a good alternative to gcc for our project ? http://www.mozart-oz.org http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers Thank you for your answer, Best Regards, Guillaume FORTAINE

...e : http://www.ps.uni-sb.de/alice/ Concurrency, logic verification I found this link : http://www.cminusminus.org with a front-end for ML Is it possible to do the same thing for llvm. What is the best framework ? : c-- or llvm Thank you for your answer, Best Regards, Guillaume FORTAINE

 Hello,  I am French Engineer in Informatics and I would want to build a start  up to  manufacture mobile phones ( OEM level ). I am currently in discussion with investors. We would want to use LLVM as our main compiler but we will need to complete it to have a "commercial grade" one. Here are our goals : -Use a modified Elkhound as C/C++ front-end :

Misters, Happy New Year to you. Let me introduce myself : Guillaume FORTAINE, Engineer in Computer Science. I am currently working on a Cloud Computing Firmware in an Infrastructure-as-a-Service context. The product is an UEFI Hypervisor. It puts virtualization exactly where it belongs: Into the firmware [0] Customers will be able to deploy their appliances and products d...

Misters, Happy New Year to you. Let me introduce myself : Guillaume FORTAINE, Engineer in Computer Science. I am currently working on a Cloud Computing Firmware in an Infrastructure-as-a-Service context. The product is an UEFI Hypervisor. It puts virtualization exactly where it belongs: Into the firmware [0] Customers will be able to deploy their appliances and products d...

Hello, I would want to know what are the main differences between LLVM and C--. We need a robust compiler ( or at least the most promising to work on it ) with these features : -A GLR parser (use a modified Elkhound as C/C++ front-end):   http://www.cs.berkeley.edu/~smcpeak/elkhound/ -Complete the ARM back-end -To be able to compile a complete Cross Linux from scratch for arm with uclibc-nptl.

...oduct has specific needs that is why we are very pleased that you were satisfied by your Virtualization Solution, to quote : "So we went with RHEL Xen instead which works beautifully", however it will not be the case for performance and budget aware customers. Best Regards, Guillaume FORTAINE [0] http://git.infradead.org/iommu-2.6.git/blob/e0fc7e0b4b5e69616f10a894ab9afff3c64be74e:/drivers/pci/intel-iommu.c [1] http://patchwork.kernel.org/patch/42841/ [2] http://git.infradead.org/iommu-2.6.git/commit/e0fc7e0b4b5e69616f10a894ab9afff3c64be74e [3] http://git.infradead.org/iommu-2.6.git/...