ada
-
编译器不允许我获取字符串
-
GNAT Studio - 不能使用非核心 Ada 库
-
Ada：组件与父级重叠的派生记录
-
如何在 Ada 中添加向量
-
pragma export 函数在 Ada 可执行文件中不是外部的
-
Ada：在 public 函数的前提条件中使用私有变量
-
如果输入以 space 结尾，我如何防止此循环读取？
-
有没有办法在 Ada（特别是 GNAT）中创建和重用方面集？
-
确保在编译时覆盖异常
-
Mac OS 的链接器问题
-
导入非托管 dll 并将指针复制到 c# 中的字节数组
-
Ada 访问静态地址的无约束类型
-
GtkAda Simple Window: 找不到 pixbuf 加载程序或 mime 数据库
-
循环参数的类型
-
Ada：重新导出枚举类型值
-
使用 "GPR" 依赖项编译时出错
-
多态类型函数参数的深拷贝
-
SPARK-Ada 使用 GNATProve 假设 GCC 内函数的后置条件
-
Ada 2012 中的自定义条件失败消息
-
"Taking on a Challenge in SPARK Ada" - 在 post 条件下求和幽灵函数 - 具有意外行为