notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
frama-c Extensible platform for source-code analysis of C
20170501_3 devel Deleted on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 20170501_3Version of this port present on the latest quarterly branch.
Broken BROKEN: fails to build
Deprecated DEPRECATED: Broken since 2021
Expired This port expired on: 2023-03-21
Ignore IGNORE: is marked as broken: fails to build
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2011-09-18 15:38:50
Last Update: 2023-03-21 00:01:37
Commit Hash: c06842b
People watching this port, also watch:: sysinfo, rtty, tmpreaper, svk
Also Listed In: lang
License: LGPL21
WWW:
https://frama-c.com/index.html
Description:
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework, which allows static analyzers to build upon the results already computed by other analyzers in the framework, and provides sophisticated tools, such as a slicer and dependency analysis. Frama-C is closer to heuristic bug-finding tools than it is to software metrics tools, but it has two important differences with the former: it aims at being "correct" -- that is, never to remain silent for a location in the source code where an error can happen at run-time. And it allows its user to manipulate functional specifications, and to prove that the source code satisfies these specifications.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
pkg-plist: as obtained via: make generate-plist
Expand this list (1166 items)
Collapse this list.
  1. /usr/local/share/licenses/frama-c-20170501_3/catalog.mk
  2. /usr/local/share/licenses/frama-c-20170501_3/LICENSE
  3. /usr/local/share/licenses/frama-c-20170501_3/LGPL21
  4. bin/frama-c
  5. bin/frama-c-config
  6. bin/frama-c-gui
  7. bin/frama-c-gui.byte
  8. bin/frama-c.byte
  9. bin/ptests.opt
  10. lib/frama-c/FCBuffer.cmi
  11. lib/frama-c/FCBuffer.cmo
  12. lib/frama-c/FCBuffer.cmx
  13. lib/frama-c/FCBuffer.o
  14. lib/frama-c/FCHashtbl.cmi
  15. lib/frama-c/FCHashtbl.cmo
  16. lib/frama-c/FCHashtbl.cmx
  17. lib/frama-c/FCHashtbl.o
  18. lib/frama-c/FCMap.cmi
  19. lib/frama-c/FCMap.cmo
  20. lib/frama-c/FCMap.cmx
  21. lib/frama-c/FCMap.o
  22. lib/frama-c/FCSet.cmi
  23. lib/frama-c/FCSet.cmo
  24. lib/frama-c/FCSet.cmx
  25. lib/frama-c/FCSet.o
  26. lib/frama-c/Qed.cmi
  27. lib/frama-c/Qed.cmo
  28. lib/frama-c/Qed.cmx
  29. lib/frama-c/Qed.o
  30. lib/frama-c/abstract_interp.cmi
  31. lib/frama-c/abstract_interp.cmo
  32. lib/frama-c/abstract_interp.cmx
  33. lib/frama-c/abstract_interp.o
  34. lib/frama-c/alarms.cmi
  35. lib/frama-c/alarms.cmo
  36. lib/frama-c/alarms.cmx
  37. lib/frama-c/alarms.o
  38. lib/frama-c/allocates.cmi
  39. lib/frama-c/allocates.cmo
  40. lib/frama-c/allocates.cmx
  41. lib/frama-c/allocates.o
  42. lib/frama-c/alpha.cmi
  43. lib/frama-c/alpha.cmo
  44. lib/frama-c/alpha.cmx
  45. lib/frama-c/alpha.o
  46. lib/frama-c/analyses_manager.cmi
  47. lib/frama-c/analyses_manager.cmo
  48. lib/frama-c/analyses_manager.cmx
  49. lib/frama-c/analyses_manager.o
  50. lib/frama-c/annotations.cmi
  51. lib/frama-c/annotations.cmo
  52. lib/frama-c/annotations.cmx
  53. lib/frama-c/annotations.o
  54. lib/frama-c/asm_contracts.cmi
  55. lib/frama-c/asm_contracts.cmo
  56. lib/frama-c/asm_contracts.cmx
  57. lib/frama-c/asm_contracts.o
  58. lib/frama-c/ast.cmi
  59. lib/frama-c/ast.cmo
  60. lib/frama-c/ast.cmx
  61. lib/frama-c/ast.o
  62. lib/frama-c/ast_info.cmi
  63. lib/frama-c/ast_info.cmo
  64. lib/frama-c/ast_info.cmx
  65. lib/frama-c/ast_info.o
  66. lib/frama-c/bag.cmi
  67. lib/frama-c/bag.cmo
  68. lib/frama-c/bag.cmx
  69. lib/frama-c/bag.o
  70. lib/frama-c/base.cmi
  71. lib/frama-c/base.cmo
  72. lib/frama-c/base.cmx
  73. lib/frama-c/base.o
  74. lib/frama-c/binary_cache.cmi
  75. lib/frama-c/binary_cache.cmo
  76. lib/frama-c/binary_cache.cmx
  77. lib/frama-c/binary_cache.o
  78. lib/frama-c/bit_utils.cmi
  79. lib/frama-c/bit_utils.cmo
  80. lib/frama-c/bit_utils.cmx
  81. lib/frama-c/bit_utils.o
  82. lib/frama-c/bitvector.cmi
  83. lib/frama-c/bitvector.cmo
  84. lib/frama-c/bitvector.cmx
  85. lib/frama-c/bitvector.o
  86. lib/frama-c/book_manager.cmi
  87. lib/frama-c/book_manager.cmo
  88. lib/frama-c/book_manager.cmx
  89. lib/frama-c/book_manager.o
  90. lib/frama-c/boot.cmi
  91. lib/frama-c/boot.cmo
  92. lib/frama-c/boot.cmx
  93. lib/frama-c/boot.o
  94. lib/frama-c/bottom.cmi
  95. lib/frama-c/bottom.cmo
  96. lib/frama-c/bottom.cmx
  97. lib/frama-c/bottom.o
  98. lib/frama-c/c_bindings.o
  99. lib/frama-c/cabs.cmi
  100. lib/frama-c/cabs.cmo
  101. lib/frama-c/cabs.cmx
  102. lib/frama-c/cabs.o
  103. lib/frama-c/cabs2cil.cmi
  104. lib/frama-c/cabs2cil.cmo
  105. lib/frama-c/cabs2cil.cmx
  106. lib/frama-c/cabs2cil.o
  107. lib/frama-c/cabs_debug.cmi
  108. lib/frama-c/cabs_debug.cmo
  109. lib/frama-c/cabs_debug.cmx
  110. lib/frama-c/cabs_debug.o
  111. lib/frama-c/cabshelper.cmi
  112. lib/frama-c/cabshelper.cmo
  113. lib/frama-c/cabshelper.cmx
  114. lib/frama-c/cabshelper.o
  115. lib/frama-c/cabsvisit.cmi
  116. lib/frama-c/cabsvisit.cmo
  117. lib/frama-c/cabsvisit.cmx
  118. lib/frama-c/cabsvisit.o
  119. lib/frama-c/cfg.cmi
  120. lib/frama-c/cfg.cmo
  121. lib/frama-c/cfg.cmx
  122. lib/frama-c/cfg.o
  123. lib/frama-c/cil.cmi
  124. lib/frama-c/cil.cmo
  125. lib/frama-c/cil.cmx
  126. lib/frama-c/cil.o
  127. lib/frama-c/cilE.cmi
  128. lib/frama-c/cilE.cmo
  129. lib/frama-c/cilE.cmx
  130. lib/frama-c/cilE.o
  131. lib/frama-c/cil_const.cmi
  132. lib/frama-c/cil_const.cmo
  133. lib/frama-c/cil_const.cmx
  134. lib/frama-c/cil_const.o
  135. lib/frama-c/cil_datatype.cmi
  136. lib/frama-c/cil_datatype.cmo
  137. lib/frama-c/cil_datatype.cmx
  138. lib/frama-c/cil_datatype.o
  139. lib/frama-c/cil_descriptive_printer.cmi
  140. lib/frama-c/cil_descriptive_printer.cmo
  141. lib/frama-c/cil_descriptive_printer.cmx
  142. lib/frama-c/cil_descriptive_printer.o
  143. lib/frama-c/cil_printer.cmi
  144. lib/frama-c/cil_printer.cmo
  145. lib/frama-c/cil_printer.cmx
  146. lib/frama-c/cil_printer.o
  147. lib/frama-c/cil_state_builder.cmi
  148. lib/frama-c/cil_state_builder.cmo
  149. lib/frama-c/cil_state_builder.cmx
  150. lib/frama-c/cil_state_builder.o
  151. lib/frama-c/cil_types.cmi
  152. lib/frama-c/cil_types_debug.cmi
  153. lib/frama-c/cil_types_debug.cmo
  154. lib/frama-c/cil_types_debug.cmx
  155. lib/frama-c/cil_types_debug.o
  156. lib/frama-c/cilconfig.cmi
  157. lib/frama-c/cilconfig.cmo
  158. lib/frama-c/cilconfig.cmx
  159. lib/frama-c/cilconfig.o
  160. lib/frama-c/clexer.cmi
  161. lib/frama-c/clexer.cmo
  162. lib/frama-c/clexer.cmx
  163. lib/frama-c/clexer.o
  164. lib/frama-c/clone.cmi
  165. lib/frama-c/clone.cmo
  166. lib/frama-c/clone.cmx
  167. lib/frama-c/clone.o
  168. lib/frama-c/cmdline.cmi
  169. lib/frama-c/cmdline.cmo
  170. lib/frama-c/cmdline.cmx
  171. lib/frama-c/cmdline.o
  172. lib/frama-c/command.cmi
  173. lib/frama-c/command.cmo
  174. lib/frama-c/command.cmx
  175. lib/frama-c/command.o
  176. lib/frama-c/config.cmi
  177. lib/frama-c/config.cmo
  178. lib/frama-c/config.cmx
  179. lib/frama-c/config.o
  180. lib/frama-c/cparser.cmi
  181. lib/frama-c/cparser.cmo
  182. lib/frama-c/cparser.cmx
  183. lib/frama-c/cparser.o
  184. lib/frama-c/cprint.cmi
  185. lib/frama-c/cprint.cmo
  186. lib/frama-c/cprint.cmx
  187. lib/frama-c/cprint.o
  188. lib/frama-c/cvalue.cmi
  189. lib/frama-c/cvalue.cmo
  190. lib/frama-c/cvalue.cmx
  191. lib/frama-c/cvalue.o
  192. lib/frama-c/dataflow.cmi
  193. lib/frama-c/dataflow.cmo
  194. lib/frama-c/dataflow.cmx
  195. lib/frama-c/dataflow.o
  196. lib/frama-c/dataflow2.cmi
  197. lib/frama-c/dataflow2.cmo
  198. lib/frama-c/dataflow2.cmx
  199. lib/frama-c/dataflow2.o
  200. lib/frama-c/dataflows.cmi
  201. lib/frama-c/dataflows.cmo
  202. lib/frama-c/dataflows.cmx
  203. lib/frama-c/dataflows.o
  204. lib/frama-c/datatype.cmi
  205. lib/frama-c/datatype.cmo
  206. lib/frama-c/datatype.cmx
  207. lib/frama-c/datatype.o
  208. lib/frama-c/db.cmi
  209. lib/frama-c/db.cmo
  210. lib/frama-c/db.cmx
  211. lib/frama-c/db.o
  212. lib/frama-c/debug_manager.cmi
  213. lib/frama-c/debug_manager.cmo
  214. lib/frama-c/debug_manager.cmx
  215. lib/frama-c/debug_manager.o
  216. lib/frama-c/descr.cmi
  217. lib/frama-c/descr.cmo
  218. lib/frama-c/descr.cmx
  219. lib/frama-c/descr.o
  220. lib/frama-c/description.cmi
  221. lib/frama-c/description.cmo
  222. lib/frama-c/description.cmx
  223. lib/frama-c/description.o
  224. lib/frama-c/design.cmi
  225. lib/frama-c/design.cmo
  226. lib/frama-c/design.cmx
  227. lib/frama-c/design.o
  228. lib/frama-c/destructors.cmi
  229. lib/frama-c/destructors.cmo
  230. lib/frama-c/destructors.cmx
  231. lib/frama-c/destructors.o
  232. lib/frama-c/dominators.cmi
  233. lib/frama-c/dominators.cmo
  234. lib/frama-c/dominators.cmx
  235. lib/frama-c/dominators.o
  236. lib/frama-c/dynamic.cmi
  237. lib/frama-c/dynamic.cmo
  238. lib/frama-c/dynamic.cmx
  239. lib/frama-c/dynamic.o
  240. lib/frama-c/emitter.cmi
  241. lib/frama-c/emitter.cmo
  242. lib/frama-c/emitter.cmx
  243. lib/frama-c/emitter.o
  244. lib/frama-c/errorloc.cmi
  245. lib/frama-c/errorloc.cmo
  246. lib/frama-c/errorloc.cmx
  247. lib/frama-c/errorloc.o
  248. lib/frama-c/escape.cmi
  249. lib/frama-c/escape.cmo
  250. lib/frama-c/escape.cmx
  251. lib/frama-c/escape.o
  252. lib/frama-c/exn_flow.cmi
  253. lib/frama-c/exn_flow.cmo
  254. lib/frama-c/exn_flow.cmx
  255. lib/frama-c/exn_flow.o
  256. lib/frama-c/extlib.cmi
  257. lib/frama-c/extlib.cmo
  258. lib/frama-c/extlib.cmx
  259. lib/frama-c/extlib.o
  260. lib/frama-c/file.cmi
  261. lib/frama-c/file.cmo
  262. lib/frama-c/file.cmx
  263. lib/frama-c/file.o
  264. lib/frama-c/file_manager.cmi
  265. lib/frama-c/file_manager.cmo
  266. lib/frama-c/file_manager.cmx
  267. lib/frama-c/file_manager.o
  268. lib/frama-c/filecheck.cmi
  269. lib/frama-c/filecheck.cmo
  270. lib/frama-c/filecheck.cmx
  271. lib/frama-c/filecheck.o
  272. lib/frama-c/filepath.cmi
  273. lib/frama-c/filepath.cmo
  274. lib/frama-c/filepath.cmx
  275. lib/frama-c/filepath.o
  276. lib/frama-c/filetree.cmi
  277. lib/frama-c/filetree.cmo
  278. lib/frama-c/filetree.cmx
  279. lib/frama-c/filetree.o
  280. lib/frama-c/filter.cmi
  281. lib/frama-c/filter.cmo
  282. lib/frama-c/filter.cmx
  283. lib/frama-c/filter.o
  284. lib/frama-c/floating_point.cmi
  285. lib/frama-c/floating_point.cmo
  286. lib/frama-c/floating_point.cmx
  287. lib/frama-c/floating_point.o
  288. lib/frama-c/frama_c_init.cmi
  289. lib/frama-c/frama_c_init.cmo
  290. lib/frama-c/frama_c_init.cmx
  291. lib/frama-c/frama_c_init.o
  292. lib/frama-c/frontc.cmi
  293. lib/frama-c/frontc.cmo
  294. lib/frama-c/frontc.cmx
  295. lib/frama-c/frontc.o
  296. lib/frama-c/function_Froms.cmi
  297. lib/frama-c/function_Froms.cmo
  298. lib/frama-c/function_Froms.cmx
  299. lib/frama-c/function_Froms.o
  300. lib/frama-c/fval.cmi
  301. lib/frama-c/fval.cmo
  302. lib/frama-c/fval.cmx
  303. lib/frama-c/fval.o
  304. lib/frama-c/globals.cmi
  305. lib/frama-c/globals.cmo
  306. lib/frama-c/globals.cmx
  307. lib/frama-c/globals.o
  308. lib/frama-c/gtk_form.cmi
  309. lib/frama-c/gtk_form.cmo
  310. lib/frama-c/gtk_form.cmx
  311. lib/frama-c/gtk_form.o
  312. lib/frama-c/gtk_helper.cmi
  313. lib/frama-c/gtk_helper.cmo
  314. lib/frama-c/gtk_helper.cmx
  315. lib/frama-c/gtk_helper.o
  316. lib/frama-c/gui_parameters.cmi
  317. lib/frama-c/gui_parameters.cmo
  318. lib/frama-c/gui_parameters.cmx
  319. lib/frama-c/gui_parameters.o
  320. lib/frama-c/gui_printers.cmi
  321. lib/frama-c/gui_printers.cmo
  322. lib/frama-c/gui_printers.cmx
  323. lib/frama-c/gui_printers.o
  324. lib/frama-c/help_manager.cmi
  325. lib/frama-c/help_manager.cmo
  326. lib/frama-c/help_manager.cmx
  327. lib/frama-c/help_manager.o
  328. lib/frama-c/history.cmi
  329. lib/frama-c/history.cmo
  330. lib/frama-c/history.cmx
  331. lib/frama-c/history.o
  332. lib/frama-c/hook.cmi
  333. lib/frama-c/hook.cmo
  334. lib/frama-c/hook.cmx
  335. lib/frama-c/hook.o
  336. lib/frama-c/hptmap.cmi
  337. lib/frama-c/hptmap.cmo
  338. lib/frama-c/hptmap.cmx
  339. lib/frama-c/hptmap.o
  340. lib/frama-c/hptmap_sig.cmi
  341. lib/frama-c/hptset.cmi
  342. lib/frama-c/hptset.cmo
  343. lib/frama-c/hptset.cmx
  344. lib/frama-c/hptset.o
  345. lib/frama-c/indexer.cmi
  346. lib/frama-c/indexer.cmo
  347. lib/frama-c/indexer.cmx
  348. lib/frama-c/indexer.o
  349. lib/frama-c/infer_annotations.cmi
  350. lib/frama-c/infer_annotations.cmo
  351. lib/frama-c/infer_annotations.cmx
  352. lib/frama-c/infer_annotations.o
  353. lib/frama-c/inout_type.cmi
  354. lib/frama-c/inout_type.cmo
  355. lib/frama-c/inout_type.cmx
  356. lib/frama-c/inout_type.o
  357. lib/frama-c/int_Base.cmi
  358. lib/frama-c/int_Base.cmo
  359. lib/frama-c/int_Base.cmx
  360. lib/frama-c/int_Base.o
  361. lib/frama-c/int_Intervals.cmi
  362. lib/frama-c/int_Intervals.cmo
  363. lib/frama-c/int_Intervals.cmx
  364. lib/frama-c/int_Intervals.o
  365. lib/frama-c/int_Intervals_sig.cmi
  366. lib/frama-c/integer.cmi
  367. lib/frama-c/integer.cmo
  368. lib/frama-c/integer.cmx
  369. lib/frama-c/integer.o
  370. lib/frama-c/ival.cmi
  371. lib/frama-c/ival.cmo
  372. lib/frama-c/ival.cmx
  373. lib/frama-c/ival.o
  374. lib/frama-c/journal.cmi
  375. lib/frama-c/journal.cmo
  376. lib/frama-c/journal.cmx
  377. lib/frama-c/journal.o
  378. lib/frama-c/json.cmi
  379. lib/frama-c/json.cmo
  380. lib/frama-c/json.cmx
  381. lib/frama-c/json.o
  382. lib/frama-c/kernel.cmi
  383. lib/frama-c/kernel.cmo
  384. lib/frama-c/kernel.cmx
  385. lib/frama-c/kernel.o
  386. lib/frama-c/kernel_function.cmi
  387. lib/frama-c/kernel_function.cmo
  388. lib/frama-c/kernel_function.cmx
  389. lib/frama-c/kernel_function.o
  390. lib/frama-c/lattice_messages.cmi
  391. lib/frama-c/lattice_messages.cmo
  392. lib/frama-c/lattice_messages.cmx
  393. lib/frama-c/lattice_messages.o
  394. lib/frama-c/lattice_type.cmi
  395. lib/frama-c/launcher.cmi
  396. lib/frama-c/launcher.cmo
  397. lib/frama-c/launcher.cmx
  398. lib/frama-c/launcher.o
  399. lib/frama-c/leftistheap.cmi
  400. lib/frama-c/leftistheap.cmo
  401. lib/frama-c/leftistheap.cmx
  402. lib/frama-c/leftistheap.o
  403. lib/frama-c/lexerhack.cmi
  404. lib/frama-c/lexerhack.cmo
  405. lib/frama-c/lexerhack.cmx
  406. lib/frama-c/lexerhack.o
  407. lib/frama-c/lmap.cmi
  408. lib/frama-c/lmap.cmo
  409. lib/frama-c/lmap.cmx
  410. lib/frama-c/lmap.o
  411. lib/frama-c/lmap_bitwise.cmi
  412. lib/frama-c/lmap_bitwise.cmo
  413. lib/frama-c/lmap_bitwise.cmx
  414. lib/frama-c/lmap_bitwise.o
  415. lib/frama-c/lmap_sig.cmi
  416. lib/frama-c/locations.cmi
  417. lib/frama-c/locations.cmo
  418. lib/frama-c/locations.cmx
  419. lib/frama-c/locations.o
  420. lib/frama-c/log.cmi
  421. lib/frama-c/log.cmo
  422. lib/frama-c/log.cmx
  423. lib/frama-c/log.o
  424. lib/frama-c/logic_builtin.cmi
  425. lib/frama-c/logic_builtin.cmo
  426. lib/frama-c/logic_builtin.cmx
  427. lib/frama-c/logic_builtin.o
  428. lib/frama-c/logic_const.cmi
  429. lib/frama-c/logic_const.cmo
  430. lib/frama-c/logic_const.cmx
  431. lib/frama-c/logic_const.o
  432. lib/frama-c/logic_env.cmi
  433. lib/frama-c/logic_env.cmo
  434. lib/frama-c/logic_env.cmx
  435. lib/frama-c/logic_env.o
  436. lib/frama-c/logic_interp.cmi
  437. lib/frama-c/logic_interp.cmo
  438. lib/frama-c/logic_interp.cmx
  439. lib/frama-c/logic_interp.o
  440. lib/frama-c/logic_lexer.cmi
  441. lib/frama-c/logic_lexer.cmo
  442. lib/frama-c/logic_lexer.cmx
  443. lib/frama-c/logic_lexer.o
  444. lib/frama-c/logic_parser.cmi
  445. lib/frama-c/logic_parser.cmo
  446. lib/frama-c/logic_parser.cmx
  447. lib/frama-c/logic_parser.o
  448. lib/frama-c/logic_preprocess.cmi
  449. lib/frama-c/logic_preprocess.cmo
  450. lib/frama-c/logic_preprocess.cmx
  451. lib/frama-c/logic_preprocess.o
  452. lib/frama-c/logic_print.cmi
  453. lib/frama-c/logic_print.cmo
  454. lib/frama-c/logic_print.cmx
  455. lib/frama-c/logic_print.o
  456. lib/frama-c/logic_ptree.cmi
  457. lib/frama-c/logic_typing.cmi
  458. lib/frama-c/logic_typing.cmo
  459. lib/frama-c/logic_typing.cmx
  460. lib/frama-c/logic_typing.o
  461. lib/frama-c/logic_utils.cmi
  462. lib/frama-c/logic_utils.cmo
  463. lib/frama-c/logic_utils.cmx
  464. lib/frama-c/logic_utils.o
  465. lib/frama-c/loop.cmi
  466. lib/frama-c/loop.cmo
  467. lib/frama-c/loop.cmx
  468. lib/frama-c/loop.o
  469. lib/frama-c/machdeps.cmi
  470. lib/frama-c/machdeps.cmo
  471. lib/frama-c/machdeps.cmx
  472. lib/frama-c/machdeps.o
  473. lib/frama-c/map_Lattice.cmi
  474. lib/frama-c/map_Lattice.cmo
  475. lib/frama-c/map_Lattice.cmx
  476. lib/frama-c/map_Lattice.o
  477. lib/frama-c/menu_manager.cmi
  478. lib/frama-c/menu_manager.cmo
  479. lib/frama-c/menu_manager.cmx
  480. lib/frama-c/menu_manager.o
  481. lib/frama-c/mergecil.cmi
  482. lib/frama-c/mergecil.cmo
  483. lib/frama-c/mergecil.cmx
  484. lib/frama-c/mergecil.o
  485. lib/frama-c/messages.cmi
  486. lib/frama-c/messages.cmo
  487. lib/frama-c/messages.cmx
  488. lib/frama-c/messages.o
  489. lib/frama-c/offsetmap.cmi
  490. lib/frama-c/offsetmap.cmo
  491. lib/frama-c/offsetmap.cmx
  492. lib/frama-c/offsetmap.o
  493. lib/frama-c/offsetmap_bitwise_sig.cmi
  494. lib/frama-c/offsetmap_lattice_with_isotropy.cmi
  495. lib/frama-c/offsetmap_sig.cmi
  496. lib/frama-c/oneret.cmi
  497. lib/frama-c/oneret.cmo
  498. lib/frama-c/oneret.cmx
  499. lib/frama-c/oneret.o
  500. lib/frama-c/ordered_stmt.cmi
  501. lib/frama-c/ordered_stmt.cmo
  502. lib/frama-c/ordered_stmt.cmx
  503. lib/frama-c/ordered_stmt.o
  504. lib/frama-c/origin.cmi
  505. lib/frama-c/origin.cmo
  506. lib/frama-c/origin.cmx
  507. lib/frama-c/origin.o
  508. lib/frama-c/parameter_builder.cmi
  509. lib/frama-c/parameter_builder.cmo
  510. lib/frama-c/parameter_builder.cmx
  511. lib/frama-c/parameter_builder.o
  512. lib/frama-c/parameter_category.cmi
  513. lib/frama-c/parameter_category.cmo
  514. lib/frama-c/parameter_category.cmx
  515. lib/frama-c/parameter_category.o
  516. lib/frama-c/parameter_customize.cmi
  517. lib/frama-c/parameter_customize.cmo
  518. lib/frama-c/parameter_customize.cmx
  519. lib/frama-c/parameter_customize.o
  520. lib/frama-c/parameter_sig.cmi
  521. lib/frama-c/parameter_state.cmi
  522. lib/frama-c/parameter_state.cmo
  523. lib/frama-c/parameter_state.cmx
  524. lib/frama-c/parameter_state.o
  525. lib/frama-c/pdgIndex.cmi
  526. lib/frama-c/pdgIndex.cmo
  527. lib/frama-c/pdgIndex.cmx
  528. lib/frama-c/pdgIndex.o
  529. lib/frama-c/pdgMarks.cmi
  530. lib/frama-c/pdgMarks.cmo
  531. lib/frama-c/pdgMarks.cmx
  532. lib/frama-c/pdgMarks.o
  533. lib/frama-c/pdgTypes.cmi
  534. lib/frama-c/pdgTypes.cmo
  535. lib/frama-c/pdgTypes.cmx
  536. lib/frama-c/pdgTypes.o
  537. lib/frama-c/plugin.cmi
  538. lib/frama-c/plugin.cmo
  539. lib/frama-c/plugin.cmx
  540. lib/frama-c/plugin.o
  541. lib/frama-c/plugins/Aorai.cmi
  542. lib/frama-c/plugins/Callgraph.cmi
  543. lib/frama-c/plugins/Constant_Propagation.cmi
  544. lib/frama-c/plugins/From.cmi
  545. lib/frama-c/plugins/Impact.cmi
  546. lib/frama-c/plugins/Inout.cmi
  547. lib/frama-c/plugins/LoopAnalysis.cmi
  548. lib/frama-c/plugins/META.frama-c-aorai
  549. lib/frama-c/plugins/META.frama-c-callgraph
  550. lib/frama-c/plugins/META.frama-c-constant_propagation
  551. lib/frama-c/plugins/META.frama-c-from
  552. lib/frama-c/plugins/META.frama-c-impact
  553. lib/frama-c/plugins/META.frama-c-inout
  554. lib/frama-c/plugins/META.frama-c-loopanalysis
  555. lib/frama-c/plugins/META.frama-c-metrics
  556. lib/frama-c/plugins/META.frama-c-nonterm
  557. lib/frama-c/plugins/META.frama-c-obfuscator
  558. lib/frama-c/plugins/META.frama-c-occurrence
  559. lib/frama-c/plugins/META.frama-c-pdg
  560. lib/frama-c/plugins/META.frama-c-postdominators
  561. lib/frama-c/plugins/META.frama-c-print_api
  562. lib/frama-c/plugins/META.frama-c-report
  563. lib/frama-c/plugins/META.frama-c-rtegen
  564. lib/frama-c/plugins/META.frama-c-scope
  565. lib/frama-c/plugins/META.frama-c-security_slicing
  566. lib/frama-c/plugins/META.frama-c-slicing
  567. lib/frama-c/plugins/META.frama-c-sparecode
  568. lib/frama-c/plugins/META.frama-c-users
  569. lib/frama-c/plugins/META.frama-c-value
  570. lib/frama-c/plugins/META.frama-c-variadic
  571. lib/frama-c/plugins/META.frama-c-wp
  572. lib/frama-c/plugins/Metrics.cmi
  573. lib/frama-c/plugins/Nonterm.cmi
  574. lib/frama-c/plugins/Obfuscator.cmi
  575. lib/frama-c/plugins/Occurrence.cmi
  576. lib/frama-c/plugins/Pdg.cmi
  577. lib/frama-c/plugins/Postdominators.cmi
  578. lib/frama-c/plugins/Print_api.cmi
  579. lib/frama-c/plugins/Report.cmi
  580. lib/frama-c/plugins/RteGen.cmi
  581. lib/frama-c/plugins/Scope.cmi
  582. lib/frama-c/plugins/Security_slicing.cmi
  583. lib/frama-c/plugins/Slicing.cmi
  584. lib/frama-c/plugins/Sparecode.cmi
  585. lib/frama-c/plugins/Users.cmi
  586. lib/frama-c/plugins/Value.cmi
  587. lib/frama-c/plugins/Variadic.cmi
  588. lib/frama-c/plugins/Wp.cmi
  589. lib/frama-c/plugins/gui/Callgraph.cmi
  590. lib/frama-c/plugins/gui/Callgraph.cmo
  591. lib/frama-c/plugins/gui/Callgraph.cmxs
  592. lib/frama-c/plugins/gui/From.cmi
  593. lib/frama-c/plugins/gui/From.cmo
  594. lib/frama-c/plugins/gui/From.cmxs
  595. lib/frama-c/plugins/gui/Impact.cmi
  596. lib/frama-c/plugins/gui/Impact.cmo
  597. lib/frama-c/plugins/gui/Impact.cmxs
  598. lib/frama-c/plugins/gui/Metrics.cmi
  599. lib/frama-c/plugins/gui/Metrics.cmo
  600. lib/frama-c/plugins/gui/Metrics.cmxs
  601. lib/frama-c/plugins/gui/Occurrence.cmi
  602. lib/frama-c/plugins/gui/Occurrence.cmo
  603. lib/frama-c/plugins/gui/Occurrence.cmxs
  604. lib/frama-c/plugins/gui/Scope.cmi
  605. lib/frama-c/plugins/gui/Scope.cmo
  606. lib/frama-c/plugins/gui/Scope.cmxs
  607. lib/frama-c/plugins/gui/Security_slicing.cmi
  608. lib/frama-c/plugins/gui/Security_slicing.cmo
  609. lib/frama-c/plugins/gui/Security_slicing.cmxs
  610. lib/frama-c/plugins/gui/Slicing.cmi
  611. lib/frama-c/plugins/gui/Slicing.cmo
  612. lib/frama-c/plugins/gui/Slicing.cmxs
  613. lib/frama-c/plugins/gui/Value.cmi
  614. lib/frama-c/plugins/gui/Value.cmo
  615. lib/frama-c/plugins/gui/Value.cmxs
  616. lib/frama-c/plugins/gui/Wp.cma
  617. lib/frama-c/plugins/gui/Wp.cmi
  618. lib/frama-c/plugins/gui/Wp.cmxs
  619. lib/frama-c/plugins/top/Aorai.cmo
  620. lib/frama-c/plugins/top/Aorai.cmx
  621. lib/frama-c/plugins/top/Aorai.cmxs
  622. lib/frama-c/plugins/top/Callgraph.cmo
  623. lib/frama-c/plugins/top/Callgraph.cmx
  624. lib/frama-c/plugins/top/Callgraph.cmxs
  625. lib/frama-c/plugins/top/Constant_Propagation.cmo
  626. lib/frama-c/plugins/top/Constant_Propagation.cmx
  627. lib/frama-c/plugins/top/Constant_Propagation.cmxs
  628. lib/frama-c/plugins/top/From.cmo
  629. lib/frama-c/plugins/top/From.cmx
  630. lib/frama-c/plugins/top/From.cmxs
  631. lib/frama-c/plugins/top/Impact.cmo
  632. lib/frama-c/plugins/top/Impact.cmx
  633. lib/frama-c/plugins/top/Impact.cmxs
  634. lib/frama-c/plugins/top/Inout.cmo
  635. lib/frama-c/plugins/top/Inout.cmx
  636. lib/frama-c/plugins/top/Inout.cmxs
  637. lib/frama-c/plugins/top/LoopAnalysis.cmo
  638. lib/frama-c/plugins/top/LoopAnalysis.cmx
  639. lib/frama-c/plugins/top/LoopAnalysis.cmxs
  640. lib/frama-c/plugins/top/Metrics.cmo
  641. lib/frama-c/plugins/top/Metrics.cmx
  642. lib/frama-c/plugins/top/Metrics.cmxs
  643. lib/frama-c/plugins/top/Nonterm.cmo
  644. lib/frama-c/plugins/top/Nonterm.cmx
  645. lib/frama-c/plugins/top/Nonterm.cmxs
  646. lib/frama-c/plugins/top/Obfuscator.cmo
  647. lib/frama-c/plugins/top/Obfuscator.cmx
  648. lib/frama-c/plugins/top/Obfuscator.cmxs
  649. lib/frama-c/plugins/top/Occurrence.cmo
  650. lib/frama-c/plugins/top/Occurrence.cmx
  651. lib/frama-c/plugins/top/Occurrence.cmxs
  652. lib/frama-c/plugins/top/Pdg.cmo
  653. lib/frama-c/plugins/top/Pdg.cmx
  654. lib/frama-c/plugins/top/Pdg.cmxs
  655. lib/frama-c/plugins/top/Postdominators.cmo
  656. lib/frama-c/plugins/top/Postdominators.cmx
  657. lib/frama-c/plugins/top/Postdominators.cmxs
  658. lib/frama-c/plugins/top/Print_api.cmo
  659. lib/frama-c/plugins/top/Print_api.cmx
  660. lib/frama-c/plugins/top/Print_api.cmxs
  661. lib/frama-c/plugins/top/Report.cmo
  662. lib/frama-c/plugins/top/Report.cmx
  663. lib/frama-c/plugins/top/Report.cmxs
  664. lib/frama-c/plugins/top/RteGen.cmo
  665. lib/frama-c/plugins/top/RteGen.cmx
  666. lib/frama-c/plugins/top/RteGen.cmxs
  667. lib/frama-c/plugins/top/Scope.cmo
  668. lib/frama-c/plugins/top/Scope.cmx
  669. lib/frama-c/plugins/top/Scope.cmxs
  670. lib/frama-c/plugins/top/Security_slicing.cmo
  671. lib/frama-c/plugins/top/Security_slicing.cmx
  672. lib/frama-c/plugins/top/Security_slicing.cmxs
  673. lib/frama-c/plugins/top/Slicing.cmo
  674. lib/frama-c/plugins/top/Slicing.cmx
  675. lib/frama-c/plugins/top/Slicing.cmxs
  676. lib/frama-c/plugins/top/Sparecode.cmo
  677. lib/frama-c/plugins/top/Sparecode.cmx
  678. lib/frama-c/plugins/top/Sparecode.cmxs
  679. lib/frama-c/plugins/top/Users.cmo
  680. lib/frama-c/plugins/top/Users.cmx
  681. lib/frama-c/plugins/top/Users.cmxs
  682. lib/frama-c/plugins/top/Value.cmo
  683. lib/frama-c/plugins/top/Value.cmx
  684. lib/frama-c/plugins/top/Value.cmxs
  685. lib/frama-c/plugins/top/Variadic.cmo
  686. lib/frama-c/plugins/top/Variadic.cmx
  687. lib/frama-c/plugins/top/Variadic.cmxs
  688. lib/frama-c/plugins/top/Wp.cma
  689. lib/frama-c/plugins/top/Wp.cmx
  690. lib/frama-c/plugins/top/Wp.cmxa
  691. lib/frama-c/plugins/top/Wp.cmxs
  692. lib/frama-c/precise_locs.cmi
  693. lib/frama-c/precise_locs.cmo
  694. lib/frama-c/precise_locs.cmx
  695. lib/frama-c/precise_locs.o
  696. lib/frama-c/pretty_source.cmi
  697. lib/frama-c/pretty_source.cmo
  698. lib/frama-c/pretty_source.cmx
  699. lib/frama-c/pretty_source.o
  700. lib/frama-c/pretty_utils.cmi
  701. lib/frama-c/pretty_utils.cmo
  702. lib/frama-c/pretty_utils.cmx
  703. lib/frama-c/pretty_utils.o
  704. lib/frama-c/printer.cmi
  705. lib/frama-c/printer.cmo
  706. lib/frama-c/printer.cmx
  707. lib/frama-c/printer.o
  708. lib/frama-c/printer_api.cmi
  709. lib/frama-c/printer_builder.cmi
  710. lib/frama-c/printer_builder.cmo
  711. lib/frama-c/printer_builder.cmx
  712. lib/frama-c/printer_builder.o
  713. lib/frama-c/project.cmi
  714. lib/frama-c/project.cmo
  715. lib/frama-c/project.cmx
  716. lib/frama-c/project.o
  717. lib/frama-c/project_manager.cmi
  718. lib/frama-c/project_manager.cmo
  719. lib/frama-c/project_manager.cmx
  720. lib/frama-c/project_manager.o
  721. lib/frama-c/project_skeleton.cmi
  722. lib/frama-c/project_skeleton.cmo
  723. lib/frama-c/project_skeleton.cmx
  724. lib/frama-c/project_skeleton.o
  725. lib/frama-c/property.cmi
  726. lib/frama-c/property.cmo
  727. lib/frama-c/property.cmx
  728. lib/frama-c/property.o
  729. lib/frama-c/property_navigator.cmi
  730. lib/frama-c/property_navigator.cmo
  731. lib/frama-c/property_navigator.cmx
  732. lib/frama-c/property_navigator.o
  733. lib/frama-c/property_status.cmi
  734. lib/frama-c/property_status.cmo
  735. lib/frama-c/property_status.cmx
  736. lib/frama-c/property_status.o
  737. lib/frama-c/ptests_config.cmi
  738. lib/frama-c/ptests_config.cmx
  739. lib/frama-c/ptests_config.o
  740. lib/frama-c/qstack.cmi
  741. lib/frama-c/qstack.cmo
  742. lib/frama-c/qstack.cmx
  743. lib/frama-c/qstack.o
  744. lib/frama-c/rangemap.cmi
  745. lib/frama-c/rangemap.cmo
  746. lib/frama-c/rangemap.cmx
  747. lib/frama-c/rangemap.o
  748. lib/frama-c/rgmap.cmi
  749. lib/frama-c/rgmap.cmo
  750. lib/frama-c/rgmap.cmx
  751. lib/frama-c/rgmap.o
  752. lib/frama-c/rmtmps.cmi
  753. lib/frama-c/rmtmps.cmo
  754. lib/frama-c/rmtmps.cmx
  755. lib/frama-c/rmtmps.o
  756. lib/frama-c/service_graph.cmi
  757. lib/frama-c/service_graph.cmo
  758. lib/frama-c/service_graph.cmx
  759. lib/frama-c/service_graph.o
  760. lib/frama-c/slicingInternals.cmi
  761. lib/frama-c/slicingInternals.cmo
  762. lib/frama-c/slicingInternals.cmx
  763. lib/frama-c/slicingInternals.o
  764. lib/frama-c/slicingTypes.cmi
  765. lib/frama-c/slicingTypes.cmo
  766. lib/frama-c/slicingTypes.cmx
  767. lib/frama-c/slicingTypes.o
  768. lib/frama-c/source_manager.cmi
  769. lib/frama-c/source_manager.cmo
  770. lib/frama-c/source_manager.cmx
  771. lib/frama-c/source_manager.o
  772. lib/frama-c/source_viewer.cmi
  773. lib/frama-c/source_viewer.cmo
  774. lib/frama-c/source_viewer.cmx
  775. lib/frama-c/source_viewer.o
  776. lib/frama-c/special_hooks.cmi
  777. lib/frama-c/special_hooks.cmo
  778. lib/frama-c/special_hooks.cmx
  779. lib/frama-c/special_hooks.o
  780. lib/frama-c/state.cmi
  781. lib/frama-c/state.cmo
  782. lib/frama-c/state.cmx
  783. lib/frama-c/state.o
  784. lib/frama-c/state_builder.cmi
  785. lib/frama-c/state_builder.cmo
  786. lib/frama-c/state_builder.cmx
  787. lib/frama-c/state_builder.o
  788. lib/frama-c/state_dependency_graph.cmi
  789. lib/frama-c/state_dependency_graph.cmo
  790. lib/frama-c/state_dependency_graph.cmx
  791. lib/frama-c/state_dependency_graph.o
  792. lib/frama-c/state_selection.cmi
  793. lib/frama-c/state_selection.cmo
  794. lib/frama-c/state_selection.cmx
  795. lib/frama-c/state_selection.o
  796. lib/frama-c/state_topological.cmi
  797. lib/frama-c/state_topological.cmo
  798. lib/frama-c/state_topological.cmx
  799. lib/frama-c/state_topological.o
  800. lib/frama-c/statuses_by_call.cmi
  801. lib/frama-c/statuses_by_call.cmo
  802. lib/frama-c/statuses_by_call.cmx
  803. lib/frama-c/statuses_by_call.o
  804. lib/frama-c/stmts_graph.cmi
  805. lib/frama-c/stmts_graph.cmo
  806. lib/frama-c/stmts_graph.cmx
  807. lib/frama-c/stmts_graph.o
  808. lib/frama-c/structural_descr.cmi
  809. lib/frama-c/structural_descr.cmo
  810. lib/frama-c/structural_descr.cmx
  811. lib/frama-c/structural_descr.o
  812. lib/frama-c/task.cmi
  813. lib/frama-c/task.cmo
  814. lib/frama-c/task.cmx
  815. lib/frama-c/task.o
  816. lib/frama-c/tr_offset.cmi
  817. lib/frama-c/tr_offset.cmo
  818. lib/frama-c/tr_offset.cmx
  819. lib/frama-c/tr_offset.o
  820. lib/frama-c/transitioning.cmi
  821. lib/frama-c/transitioning.cmo
  822. lib/frama-c/transitioning.cmx
  823. lib/frama-c/transitioning.o
  824. lib/frama-c/translate_lightweight.cmi
  825. lib/frama-c/translate_lightweight.cmo
  826. lib/frama-c/translate_lightweight.cmx
  827. lib/frama-c/translate_lightweight.o
  828. lib/frama-c/type.cmi
  829. lib/frama-c/type.cmo
  830. lib/frama-c/type.cmx
  831. lib/frama-c/type.o
  832. lib/frama-c/typed_parameter.cmi
  833. lib/frama-c/typed_parameter.cmo
  834. lib/frama-c/typed_parameter.cmx
  835. lib/frama-c/typed_parameter.o
  836. lib/frama-c/undefined_sequence.cmi
  837. lib/frama-c/undefined_sequence.cmo
  838. lib/frama-c/undefined_sequence.cmx
  839. lib/frama-c/undefined_sequence.o
  840. lib/frama-c/unicode.cmi
  841. lib/frama-c/unicode.cmo
  842. lib/frama-c/unicode.cmx
  843. lib/frama-c/unicode.o
  844. lib/frama-c/unmarshal.cmi
  845. lib/frama-c/unmarshal.cmo
  846. lib/frama-c/unmarshal.cmx
  847. lib/frama-c/unmarshal.o
  848. lib/frama-c/unmarshal_z.cmi
  849. lib/frama-c/unmarshal_z.cmo
  850. lib/frama-c/unmarshal_z.cmx
  851. lib/frama-c/unmarshal_z.o
  852. lib/frama-c/unroll_loops.cmi
  853. lib/frama-c/unroll_loops.cmo
  854. lib/frama-c/unroll_loops.cmx
  855. lib/frama-c/unroll_loops.o
  856. lib/frama-c/utf8_logic.cmi
  857. lib/frama-c/utf8_logic.cmo
  858. lib/frama-c/utf8_logic.cmx
  859. lib/frama-c/utf8_logic.o
  860. lib/frama-c/value_types.cmi
  861. lib/frama-c/value_types.cmo
  862. lib/frama-c/value_types.cmx
  863. lib/frama-c/value_types.o
  864. lib/frama-c/vector.cmi
  865. lib/frama-c/vector.cmo
  866. lib/frama-c/vector.cmx
  867. lib/frama-c/vector.o
  868. lib/frama-c/visitor.cmi
  869. lib/frama-c/visitor.cmo
  870. lib/frama-c/visitor.cmx
  871. lib/frama-c/visitor.o
  872. lib/frama-c/warning_manager.cmi
  873. lib/frama-c/warning_manager.cmo
  874. lib/frama-c/warning_manager.cmx
  875. lib/frama-c/warning_manager.o
  876. lib/frama-c/wbox.cmi
  877. lib/frama-c/wbox.cmo
  878. lib/frama-c/wbox.cmx
  879. lib/frama-c/wbox.o
  880. lib/frama-c/wfile.cmi
  881. lib/frama-c/wfile.cmo
  882. lib/frama-c/wfile.cmx
  883. lib/frama-c/wfile.o
  884. lib/frama-c/widen_type.cmi
  885. lib/frama-c/widen_type.cmo
  886. lib/frama-c/widen_type.cmx
  887. lib/frama-c/widen_type.o
  888. lib/frama-c/widget.cmi
  889. lib/frama-c/widget.cmo
  890. lib/frama-c/widget.cmx
  891. lib/frama-c/widget.o
  892. lib/frama-c/wpalette.cmi
  893. lib/frama-c/wpalette.cmo
  894. lib/frama-c/wpalette.cmx
  895. lib/frama-c/wpalette.o
  896. lib/frama-c/wpane.cmi
  897. lib/frama-c/wpane.cmo
  898. lib/frama-c/wpane.cmx
  899. lib/frama-c/wpane.o
  900. lib/frama-c/wtable.cmi
  901. lib/frama-c/wtable.cmo
  902. lib/frama-c/wtable.cmx
  903. lib/frama-c/wtable.o
  904. lib/frama-c/wtext.cmi
  905. lib/frama-c/wtext.cmo
  906. lib/frama-c/wtext.cmx
  907. lib/frama-c/wtext.o
  908. lib/frama-c/wto.cmi
  909. lib/frama-c/wto.cmo
  910. lib/frama-c/wto.cmx
  911. lib/frama-c/wto.o
  912. lib/frama-c/wto_statement.cmi
  913. lib/frama-c/wto_statement.cmo
  914. lib/frama-c/wto_statement.cmx
  915. lib/frama-c/wto_statement.o
  916. lib/frama-c/wutil.cmi
  917. lib/frama-c/wutil.cmo
  918. lib/frama-c/wutil.cmx
  919. lib/frama-c/wutil.o
  920. share/frama-c/Makefile.common
  921. share/frama-c/Makefile.config
  922. share/frama-c/Makefile.dynamic
  923. share/frama-c/Makefile.dynamic_config
  924. share/frama-c/Makefile.generic
  925. share/frama-c/Makefile.kernel
  926. share/frama-c/Makefile.plugin.template
  927. share/frama-c/autocomplete_frama-c
  928. share/frama-c/builtin.h
  929. share/frama-c/configure.ac
  930. share/frama-c/doc/code/docgen.ml
  931. share/frama-c/doc/code/intro_kernel_plugin.txt
  932. share/frama-c/doc/code/intro_plugin.txt
  933. share/frama-c/doc/code/intro_plugin_default.txt
  934. share/frama-c/doc/code/style.css
  935. share/frama-c/doc/code/toc_head.htm
  936. share/frama-c/doc/code/toc_tail.htm
  937. share/frama-c/emacs/acsl.el
  938. share/frama-c/emacs/frama-c-dev.el
  939. share/frama-c/emacs/frama-c-init.el
  940. share/frama-c/emacs/frama-c-recommended.el
  941. share/frama-c/frama-c.ico
  942. share/frama-c/frama-c.png
  943. share/frama-c/frama-c.rc
  944. share/frama-c/libc.c
  945. share/frama-c/libc/__fc_builtin.c
  946. share/frama-c/libc/__fc_builtin.h
  947. share/frama-c/libc/__fc_builtin_for_normalization.i
  948. share/frama-c/libc/__fc_define_blkcnt_t.h
  949. share/frama-c/libc/__fc_define_blksize_t.h
  950. share/frama-c/libc/__fc_define_dev_t.h
  951. share/frama-c/libc/__fc_define_eof.h
  952. share/frama-c/libc/__fc_define_fd_set_t.h
  953. share/frama-c/libc/__fc_define_file.h
  954. share/frama-c/libc/__fc_define_fpos_t.h
  955. share/frama-c/libc/__fc_define_id_t.h
  956. share/frama-c/libc/__fc_define_ino_t.h
  957. share/frama-c/libc/__fc_define_intptr_t.h
  958. share/frama-c/libc/__fc_define_iovec.h
  959. share/frama-c/libc/__fc_define_mode_t.h
  960. share/frama-c/libc/__fc_define_nlink_t.h
  961. share/frama-c/libc/__fc_define_null.h
  962. share/frama-c/libc/__fc_define_off_t.h
  963. share/frama-c/libc/__fc_define_pid_t.h
  964. share/frama-c/libc/__fc_define_sa_family_t.h
  965. share/frama-c/libc/__fc_define_seek_macros.h
  966. share/frama-c/libc/__fc_define_sigset_t.h
  967. share/frama-c/libc/__fc_define_size_t.h
  968. share/frama-c/libc/__fc_define_sockaddr.h
  969. share/frama-c/libc/__fc_define_ssize_t.h
  970. share/frama-c/libc/__fc_define_stat.h
  971. share/frama-c/libc/__fc_define_suseconds_t.h
  972. share/frama-c/libc/__fc_define_time_t.h
  973. share/frama-c/libc/__fc_define_timespec.h
  974. share/frama-c/libc/__fc_define_uid_and_gid.h
  975. share/frama-c/libc/__fc_define_useconds_t.h
  976. share/frama-c/libc/__fc_define_wchar_t.h
  977. share/frama-c/libc/__fc_define_wint_t.h
  978. share/frama-c/libc/__fc_machdep.h
  979. share/frama-c/libc/__fc_machdep_linux_gcc_shared.h
  980. share/frama-c/libc/__fc_select.h
  981. share/frama-c/libc/__fc_string_axiomatic.h
  982. share/frama-c/libc/arpa/inet.h
  983. share/frama-c/libc/assert.c
  984. share/frama-c/libc/assert.h
  985. share/frama-c/libc/byteswap.h
  986. share/frama-c/libc/complex.h
  987. share/frama-c/libc/ctype.c
  988. share/frama-c/libc/ctype.h
  989. share/frama-c/libc/dirent.h
  990. share/frama-c/libc/dlfcn.h
  991. share/frama-c/libc/endian.h
  992. share/frama-c/libc/errno.c
  993. share/frama-c/libc/errno.h
  994. share/frama-c/libc/fc_runtime.c
  995. share/frama-c/libc/fcntl.h
  996. share/frama-c/libc/features.h
  997. share/frama-c/libc/fenv.h
  998. share/frama-c/libc/float.h
  999. share/frama-c/libc/getopt.c
  1000. share/frama-c/libc/getopt.h
  1001. share/frama-c/libc/glob.h
  1002. share/frama-c/libc/grp.h
  1003. share/frama-c/libc/iconv.h
  1004. share/frama-c/libc/ifaddrs.h
  1005. share/frama-c/libc/inttypes.c
  1006. share/frama-c/libc/inttypes.h
  1007. share/frama-c/libc/iso646.h
  1008. share/frama-c/libc/libgen.h
  1009. share/frama-c/libc/libintl.h
  1010. share/frama-c/libc/limits.h
  1011. share/frama-c/libc/linux/fs.h
  1012. share/frama-c/libc/linux/if_addr.h
  1013. share/frama-c/libc/linux/if_netlink.h
  1014. share/frama-c/libc/linux/netlink.h
  1015. share/frama-c/libc/linux/rtnetlink.h
  1016. share/frama-c/libc/locale.c
  1017. share/frama-c/libc/locale.h
  1018. share/frama-c/libc/math.c
  1019. share/frama-c/libc/math.h
  1020. share/frama-c/libc/net/if.h
  1021. share/frama-c/libc/netdb.h
  1022. share/frama-c/libc/netinet/in.h
  1023. share/frama-c/libc/netinet/in_systm.h
  1024. share/frama-c/libc/netinet/ip.h
  1025. share/frama-c/libc/netinet/ip_icmp.h
  1026. share/frama-c/libc/netinet/tcp.h
  1027. share/frama-c/libc/nl_types.h
  1028. share/frama-c/libc/pwd.h
  1029. share/frama-c/libc/regex.h
  1030. share/frama-c/libc/setjmp.h
  1031. share/frama-c/libc/signal.h
  1032. share/frama-c/libc/stdarg.h
  1033. share/frama-c/libc/stdbool.h
  1034. share/frama-c/libc/stddef.h
  1035. share/frama-c/libc/stdint.h
  1036. share/frama-c/libc/stdio.c
  1037. share/frama-c/libc/stdio.h
  1038. share/frama-c/libc/stdlib.c
  1039. share/frama-c/libc/stdlib.h
  1040. share/frama-c/libc/string.c
  1041. share/frama-c/libc/string.h
  1042. share/frama-c/libc/strings.h
  1043. share/frama-c/libc/sys/ioctl.h
  1044. share/frama-c/libc/sys/param.h
  1045. share/frama-c/libc/sys/resource.h
  1046. share/frama-c/libc/sys/select.h
  1047. share/frama-c/libc/sys/socket.h
  1048. share/frama-c/libc/sys/stat.h
  1049. share/frama-c/libc/sys/sysctl.h
  1050. share/frama-c/libc/sys/time.h
  1051. share/frama-c/libc/sys/times.h
  1052. share/frama-c/libc/sys/types.h
  1053. share/frama-c/libc/sys/uio.h
  1054. share/frama-c/libc/sys/un.h
  1055. share/frama-c/libc/sys/wait.h
  1056. share/frama-c/libc/syslog.h
  1057. share/frama-c/libc/termios.h
  1058. share/frama-c/libc/tgmath.h
  1059. share/frama-c/libc/time.h
  1060. share/frama-c/libc/uchar.h
  1061. share/frama-c/libc/unistd.h
  1062. share/frama-c/libc/wchar.c
  1063. share/frama-c/libc/wchar.h
  1064. share/frama-c/libc/wctype.h
  1065. share/frama-c/machdep.c
  1066. share/frama-c/switch-off.png
  1067. share/frama-c/switch-on.png
  1068. share/frama-c/theme/colorblind/considered_valid.png
  1069. share/frama-c/theme/colorblind/inconsistent.png
  1070. share/frama-c/theme/colorblind/invalid_but_dead.png
  1071. share/frama-c/theme/colorblind/invalid_under_hyp.png
  1072. share/frama-c/theme/colorblind/never_tried.png
  1073. share/frama-c/theme/colorblind/surely_invalid.png
  1074. share/frama-c/theme/colorblind/surely_valid.png
  1075. share/frama-c/theme/colorblind/unknown.png
  1076. share/frama-c/theme/colorblind/unknown_but_dead.png
  1077. share/frama-c/theme/colorblind/valid_but_dead.png
  1078. share/frama-c/theme/colorblind/valid_under_hyp.png
  1079. share/frama-c/theme/default/considered_valid.png
  1080. share/frama-c/theme/default/inconsistent.png
  1081. share/frama-c/theme/default/invalid_but_dead.png
  1082. share/frama-c/theme/default/invalid_under_hyp.png
  1083. share/frama-c/theme/default/never_tried.png
  1084. share/frama-c/theme/default/surely_invalid.png
  1085. share/frama-c/theme/default/surely_valid.png
  1086. share/frama-c/theme/default/unknown.png
  1087. share/frama-c/theme/default/unknown_but_dead.png
  1088. share/frama-c/theme/default/valid_but_dead.png
  1089. share/frama-c/theme/default/valid_under_hyp.png
  1090. share/frama-c/unmark.png
  1091. share/frama-c/wp/coqwp/Bits.v
  1092. share/frama-c/wp/coqwp/BuiltIn.v
  1093. share/frama-c/wp/coqwp/Cbits.v
  1094. share/frama-c/wp/coqwp/Cfloat.v
  1095. share/frama-c/wp/coqwp/Cint.v
  1096. share/frama-c/wp/coqwp/Cmath.v
  1097. share/frama-c/wp/coqwp/Memory.v
  1098. share/frama-c/wp/coqwp/Qed.v
  1099. share/frama-c/wp/coqwp/Qedlib.v
  1100. share/frama-c/wp/coqwp/Vlist.v
  1101. share/frama-c/wp/coqwp/Vset.v
  1102. share/frama-c/wp/coqwp/Zbits.v
  1103. share/frama-c/wp/coqwp/bool/Bool.v
  1104. share/frama-c/wp/coqwp/int/Abs.v
  1105. share/frama-c/wp/coqwp/int/ComputerDivision.v
  1106. share/frama-c/wp/coqwp/int/Int.v
  1107. share/frama-c/wp/coqwp/int/MinMax.v
  1108. share/frama-c/wp/coqwp/map/Map.v
  1109. share/frama-c/wp/coqwp/real/Abs.v
  1110. share/frama-c/wp/coqwp/real/FromInt.v
  1111. share/frama-c/wp/coqwp/real/MinMax.v
  1112. share/frama-c/wp/coqwp/real/Real.v
  1113. share/frama-c/wp/coqwp/real/RealInfix.v
  1114. share/frama-c/wp/coqwp/real/Square.v
  1115. share/frama-c/wp/ergo/Cbits.mlw
  1116. share/frama-c/wp/ergo/Cfloat.mlw
  1117. share/frama-c/wp/ergo/Cint.mlw
  1118. share/frama-c/wp/ergo/Cmath.mlw
  1119. share/frama-c/wp/ergo/Memory.mlw
  1120. share/frama-c/wp/ergo/Qed.mlw
  1121. share/frama-c/wp/ergo/Vlist.mlw
  1122. share/frama-c/wp/ergo/Vset.mlw
  1123. share/frama-c/wp/ergo/bool.Bool.mlw
  1124. share/frama-c/wp/ergo/int.Abs.mlw
  1125. share/frama-c/wp/ergo/int.ComputerDivision.mlw
  1126. share/frama-c/wp/ergo/int.Int.mlw
  1127. share/frama-c/wp/ergo/int.MinMax.mlw
  1128. share/frama-c/wp/ergo/map.Map.mlw
  1129. share/frama-c/wp/ergo/real.Abs.mlw
  1130. share/frama-c/wp/ergo/real.FromInt.mlw
  1131. share/frama-c/wp/ergo/real.MinMax.mlw
  1132. share/frama-c/wp/ergo/real.Real.mlw
  1133. share/frama-c/wp/ergo/real.RealInfix.mlw
  1134. share/frama-c/wp/ergo/real.Square.mlw
  1135. share/frama-c/wp/why3/Bits.v
  1136. share/frama-c/wp/why3/Cbits.v
  1137. share/frama-c/wp/why3/Cbits.why
  1138. share/frama-c/wp/why3/Cfloat.v
  1139. share/frama-c/wp/why3/Cfloat.why
  1140. share/frama-c/wp/why3/Cint.v
  1141. share/frama-c/wp/why3/Cint.why
  1142. share/frama-c/wp/why3/Cmath.v
  1143. share/frama-c/wp/why3/Cmath.why
  1144. share/frama-c/wp/why3/Memory.v
  1145. share/frama-c/wp/why3/Memory.why
  1146. share/frama-c/wp/why3/Qed.v
  1147. share/frama-c/wp/why3/Qed.why
  1148. share/frama-c/wp/why3/Qedlib.v
  1149. share/frama-c/wp/why3/Vlist.v
  1150. share/frama-c/wp/why3/Vlist.why
  1151. share/frama-c/wp/why3/Vset.v
  1152. share/frama-c/wp/why3/Vset.why
  1153. share/frama-c/wp/why3/Zbits.v
  1154. share/frama-c/wp/why3/coq.drv
  1155. share/frama-c/wp/why3/why3.conf
  1156. share/frama-c/wp/wp.driver
  1157. man/man1/frama-c-gui.1.gz
  1158. man/man1/frama-c.1.gz
  1159. share/emacs/site-lisp/acsl.el
  1160. share/emacs/site-lisp/frama-c-dev.el
  1161. share/emacs/site-lisp/frama-c-init.el
  1162. share/emacs/site-lisp/frama-c-recommended.el
  1163. @dir lib/frama-c/plugins/gui
  1164. @owner
  1165. @group
  1166. @mode
Collapse this list.
Dependency lines:
  • frama-c>0:devel/frama-c
No installation instructions:
This port has been deleted.
PKGNAME: frama-c
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1496311445 SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99 SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. zarith.a : math/ocaml-zarith
  3. ocamlc : lang/ocaml
  4. gmake>=4.3 : devel/gmake
  5. pkgconf>=1.3.0_1 : devel/pkgconf
Runtime dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. zarith.a : math/ocaml-zarith
  3. ocamlc : lang/ocaml
Library dependencies:
  1. libgmp.so : math/gmp
  2. libfreetype.so : print/freetype2
  3. libfontconfig.so : x11-fonts/fontconfig
  4. libintl.so : devel/gettext-runtime
  5. libatk-1.0.so : accessibility/at-spi2-core
  6. libcairo.so : graphics/cairo
  7. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  8. libglib-2.0.so : devel/glib20
  9. libintl.so : devel/gettext-runtime
  10. libgtk-x11-2.0.so : x11-toolkits/gtk20
  11. libgtksourceview-2.0.so : x11-toolkits/gtksourceview2
  12. libart_lgpl_2.so : graphics/libart_lgpl
  13. libglade-2.0.so : devel/libglade2
  14. libgnomecanvas-2.so : graphics/libgnomecanvas
  15. libxml2.so : textproc/libxml2
  16. libpango-1.0.so : x11-toolkits/pango
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
devel_frama-c
USES:
gettext-runtime gmake gnome localbase pathfix pkgconfig
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://frama-c.com/download/
Collapse this list.
Port Moves
  • port deleted on 2023-03-20
    REASON: Has expired: Broken since 2021

Number of commits found: 36

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
20170501_3
21 Mar 2023 00:01:37
commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26ccommit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26ccommit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26ccommit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021
20170501_3
02 Mar 2023 05:23:10
commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
accessibility/at-spi2-core: update to 2.46.0

What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
  interface.

What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
  events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).

What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20170501_2
20 Feb 2023 17:09:22
commit hash: 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21commit hash: 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21commit hash: 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21commit hash: 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21 files touched by this commit
Antoine Brodin (antoine) search for other commits by this committer
devel/frama-c: deprecate
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
20170501_2
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20170501_2
20 Jul 2022 14:21:35
commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
devel: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  "Waitman Gobble" <uzimac@da3m0n8t3r.com>
  *  <jkoshy@FreeBSD.org>
  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Aaron H. K. Diep <ahkdiep@gmail.com>
  *  Aaron Hurt <ahurt@anbcs.com>
  *  Abel Chow <abel_chow@yahoo.com>
  *  Adam McLaurin
  *  Adam Saponara <as@php.net>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Ade Lovett <ade@FreeBSD.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20170501_2
10 Apr 2022 19:11:41
commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 files touched by this commit
Charlie Li (vishwin) search for other commits by this committer
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
20170501_1
26 Mar 2022 08:27:27
commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52 files touched by this commit
Matthias Fechner (mfechner) search for other commits by this committer
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
20170501
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
20170501
01 Jan 2021 21:03:15
Revision:559875Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN: fails to build

File "src/plugins/gui/gtk_helper.ml", line 323, characters 54-58:
Error: This expression has type string but an expression was expected of type
         bytes

Reported by:	pkg-fallout
20170501
07 Dec 2020 20:09:03
Revision:557245Original commit files touched by this commit
rene search for other commits by this committer
Return mmokhi@'s ports to the pool after his commit bit was safekept.
20170501
17 Jun 2019 07:33:40
Revision:504397Original commit files touched by this commit
danfe search for other commits by this committer
- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
20161101
04 Mar 2017 04:19:04
Revision:435383Original commit files touched by this commit
mmokhi search for other commits by this committer
devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790
20150201_3
11 Feb 2017 04:44:44
Revision:433834Original commit files touched by this commit
mmokhi search for other commits by this committer
Updating the ports I maintain to my FreeBSD.org address.

Submitted by:	mmokhi
Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9498
20150201_3
28 May 2016 02:02:54
Revision:415974Original commit files touched by this commit
junovitch search for other commits by this committer
Assign submitter as maintainer by request

PR:		209794
Submitted by:	Mahdi Mokhtari <mokhi64@gmail.com>
Differential Revision:	D6606
20150201_3
01 Apr 2016 14:00:57
Revision:412346Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
20150201_3
13 Nov 2015 13:47:52
Revision:401513Original commit files touched by this commit
marino search for other commits by this committer
devel/frama-c: Unbreak after checking rerolled distfile

Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!).  I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts).  It looks innocent to me.

Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.
20150201_2
09 Nov 2015 12:59:04
Revision:401096Original commit files touched by this commit
antoine search for other commits by this committer
Mark a few ports BROKEN: unfetchable
20150201_2
08 Jun 2015 01:20:46
Revision:388813Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Strip binaries
20150201_1
04 May 2015 15:46:52
Revision:385413Original commit files touched by this commit
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
20150201
22 Mar 2015 18:39:34
Revision:381945Original commit files touched by this commit
marino search for other commits by this committer
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)

The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.

Notes:
  - The distfile can only be extracted by gtar.
  - Reset maintainership
  - This ports is extremely sensitive to Ocamlgraph changes.  Ocamlgraph
    should not be updated without checking breakage on frama-c first
  - used @dir instead of .keepme
  - Made some tabbing changes
20140301_2
31 Jan 2015 09:54:15
Revision:378196Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN: Fails to build with ocamlgraph 1.8.6

Ocamlc       src/logic/property_status.cmi
Ocamlc       src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2019:
Error: Signature mismatch:
       ...
       Values do not match:
         val vertex_attributes :
           v ->
           [> `Color of int
            | `Label of string
            | `Shape of [> `Box | `Diamond ]
            | `Style of [> `Bold | `Filled ]
            | `Width of float ]
           list
       is not included in
         val vertex_attributes :
           V.t -> Graph.Graphviz.DotAttributes.vertex list
       File "src/logic/property_status.ml", line 1479, characters 16-33:
         Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo'
failed

Reported by:	pkg-fallout
20140301_2
27 Oct 2014 10:10:59
Revision:371544Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
20140301_2
10 Sep 2014 20:50:37
Revision:367888Original commit files touched by this commit
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
20140301_1
24 Jun 2014 22:48:03
Revision:359165Original commit files touched by this commit
bapt search for other commits by this committer
Use MAKE_CMD
20140301_1
03 Jun 2014 13:37:06
Revision:356360Original commit files touched by this commit
marino search for other commits by this committer
devel/frama-c: Re-stage to correct -print-libpath

The approach to staging had a bug.  frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere).  Improve
staging so frama-c knows where its installed.
20140301
07 May 2014 20:47:37
Revision:353205Original commit files touched by this commit
marino search for other commits by this committer
devel/frama-c: Update version Oxygen => Neon to unbreak and stage

Oxygen is from Sept 2012, and Neon is from Mar 2014.  Stage support was
added along with some minor cleanup.  A major patch from Debian was
required to support OcamlGraph 1.8.5.

It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.
20120901
20 Sep 2013 17:04:44
Revision:327723Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
20120901
07 Mar 2013 03:56:52
Revision:313561Original commit files touched by this commit
bf search for other commits by this committer
update to the Oxygen release
20111001_3
05 Mar 2013 20:22:03
Revision:313476Original commit files touched by this commit
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
20111001_2
27 Jun 2012 07:16:14
Original commit files touched by this commit
bf search for other commits by this committer
temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph
20111001_1
26 Jun 2012 20:55:55
Original commit files touched by this commit
pav search for other commits by this committer
- Mark BROKEN: does not build
         The field `compare' is required but not provided
         gmake: *** [src/misc/service_graph.cmo] Error 2

Reported by:    pointyhat
20111001_1
01 Jun 2012 05:26:28
Original commit files touched by this commit
dinoex search for other commits by this committer
- update png to 1.5.10
20111001
21 Dec 2011 03:00:29
Original commit files touched by this commit
bf search for other commits by this committer
update to Nitrogen-20111001
20110201
21 Oct 2011 12:33:56
Original commit files touched by this commit
bf search for other commits by this committer
fix the plist after the recent ocamlgraph update by permitting
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity

Reported by:    pav, johans [1]
20110201
18 Sep 2011 15:38:25
Original commit files touched by this commit
bf search for other commits by this committer
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 36