about summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/frama-c
Commit message (Expand)AuthorAge
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* frama-c: 19.1 -> 20.0Yurii Rashkovskii2020-01-23
* framac: 19.0 -> 19.1Yurii Rashkovskii2019-11-08
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* framac: 18 -> 19 and update why3Jake Waksbaum2019-08-03
* frama-c: Chlorine -> ArgonVincent Laporte2018-12-09
* framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455)Vincent Laporte2018-08-22
* frama-c: 20170501 (Phosphorus) -> 20171101 (Sulfur)Vincent Laporte2017-12-03
* frama-c.why2: 2.37 -> 2.39Vincent Laporte2017-11-14
* frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)Vincent Laporte2017-07-18
* frama-c: Aluminum -> SiliconMatthew Maurer2017-03-28
* frama-c: fix compilation with ocaml 4.02+Florent Becker2017-02-19
* frama-c: link to the apron libraryVincent Laporte2017-01-14
* frama-c: Sodium -> AluminiumVincent Laporte2016-09-30
* frama-c: fix hash, closes #8308Vincent Laporte2015-06-18
* frama-c: update from Neon to SodiumVincent Laporte2015-05-05
* zarith: propagate build input gmpVincent Laporte2014-11-07
* nixpkgs: move frama-c to a more appropriate directoryAustin Seipp2014-05-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-28 12:29:41 +0000