设置

关灯

第三十八章 哥德尔的飞行训练(第1节)

八小时以后,睡了一觉精神抖擞的王一男把所有人都召集起来,准备开工了。(\\www.zslxsw.com//)

当然116所的那几个Ada攻城狮望着王一男的目光,跟望着五行山底下的妖怪,那是完全没有两样。

行家一伸手,就知有没有,之前他们对王一男这个Boss,说实话是有点不怎么服气,整天在公司晃来晃去,吹牛打屁的,好像啥都不干的样子。理论方面,李文静是一个妖孽,连大佬们都服她,这个没话说,但是王一男,哼哼,写过Ada么,这可是军标,军标啊。

貌似王一男连研究生都不是,就一个普普通通的本科毕业生,还是物理系的。你说你一物理系的本科,老老实实弄你的固体物理得了,跑到我们家自留地里充大只,几个意思啊。

他们仔细看了王一男三天的成果,有c++的代码,也有Ada的模块。c++不说了,之前就知道王一男c/c++厉害,哥德尔系统大部分代码都是他写的。不过这么两天就能让整个流程跑起来,很不容易,虽说王一男之前解说整个方案的时候,看起来很简单。

就是 Ada 到 Gcc 再到 dragonEgg 最后是 LLVm的 IR,但是每一步都有一些特别的地方,比如说116所使用的Ada扩展啊,Gcc的运行环境啊,dragonEgg就更扯了,116所的攻城狮这两天专门去看了这个项目,结果发现已经停滞两年了!代码库里面最新的代码居然编译不过。

原来发起的那帮人貌似都干别的去了。。。

王一男居然修改了所有的编译错误不算,还补上了所缺少的所有模块代码,他修正的dragonEgg版本支持了最新的Gcc和LLVm版本。

原来以为这几天王一男弄好这些已经很不容易了。

打开Ada的目录,看到密密麻麻的doc和Samples的时候,116所的攻城狮直接崩溃了。原来将飞控系统的Ada程序编译成LLVm的IR代码只是热身而已,王一男将整个飞控系统的框

本章未完,请点击"下一页"继续阅读! 第1页 / 共6页