17 commits

Author	SHA1	Message	Date
Yurii Rashkovskii	8c54c8240a	frama-c: 19.1 -> 20.0	2020-01-23 10:55:29 -08:00
Yurii Rashkovskii	1c5772967b	framac: 19.0 -> 19.1	2019-11-08 12:02:17 -05:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
Jake Waksbaum	3ab32ee8f6	framac: 18 -> 19 and update why3	2019-08-03 14:03:22 +00:00
Vincent Laporte	8c11c9528e	frama-c: Chlorine -> Argon	2018-12-09 19:50:38 +00:00
Vincent Laporte	2dec33b60d	framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455)	2018-08-22 23:13:48 +02:00
Vincent Laporte	842d8e4766	frama-c: 20170501 (Phosphorus) -> 20171101 (Sulfur)	2017-12-03 12:26:02 +01:00
Vincent Laporte	f3811adea6	frama-c.why2: 2.37 -> 2.39	2017-11-14 21:48:50 +00:00
Vincent Laporte	65b1613456	frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)	2017-07-18 20:30:53 +02:00
Matthew Maurer	af33b23de3	frama-c: Aluminum -> Silicon ... Upgrade required to work with new ocamlgraph	2017-03-28 19:14:08 +00:00
Florent Becker	9d57f1ae9a	frama-c: fix compilation with ocaml 4.02+	2017-02-19 13:05:47 +01:00
Vincent Laporte	939e2d702f	frama-c: link to the apron library	2017-01-14 09:34:34 +00:00
Vincent Laporte	19eba38b6c	frama-c: Sodium -> Aluminium	2016-09-30 17:49:16 +02:00
Vincent Laporte	2583b22573	frama-c: fix hash, closes #8308	2015-06-18 11:47:34 +02:00
Vincent Laporte	67529e7a08	frama-c: update from Neon to Sodium	2015-05-05 19:59:54 +02:00
Vincent Laporte	fbbd88017f	zarith: propagate build input gmp	2014-11-07 09:50:39 +00:00
Austin Seipp	f21d619558	nixpkgs: move frama-c to a more appropriate directory ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:14:08 -05:00