417 Commits

Author	SHA1	Message	Date
Jörg Thalheim	7786922240	minisatUnstable: init at 2013-09-25	2017-05-22 22:24:58 +01:00
Shea Levy	b1b61d0988	coq: nix-buffer: Inherit variables to PG shell	2017-05-22 00:45:54 -04:00
marcnnn	e46ca1b95f	cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) ... * cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514 * cvc4: use stable url upstream delete their tarballs	2017-05-20 14:00:39 +01:00
Shea Levy	b21540c4a6	coq: Add emacs buffer setup	2017-05-20 08:34:33 -04:00
Michael Raskin	41475012eb	Merge pull request #25164 from marsam/master ... Homogenize abc-verifier, dwm, osmctools homepages	2017-05-01 15:47:15 +02:00
Michael Raskin	49c419cf3e	Merge pull request #25117 from lucas8/cubicle ... cubicle: init at 1.0.2	2017-05-01 14:26:52 +02:00
Michael Raskin	ce9c7dd0d6	Merge pull request #21822 from rht/master ... coq_HEAD: Update to the latest commit	2017-04-30 12:49:20 +02:00
lucas8	eedc6799b6	cubicle: init at 1.0.2	2017-04-25 22:02:42 +02:00
Mario Rodas	0e7b608ab0	abc-verifier: Add http url scheme to abc homepage	2017-04-23 18:45:36 -05:00
James ‘Twey’ Kay	c54588d250	redprl: 2016-09-22 -> 2017-03-28	2017-03-28 21:02:30 +01:00
rht	bbd1c3d58a	coq_HEAD: Update once more	2017-03-18 01:51:38 +03:00
rht	7264efb5cb	Fold in specific ocaml version choice into let	2017-03-18 01:51:37 +03:00
rht	975d040f07	coq_HEAD: Update to the latest commit	2017-03-18 01:50:26 +03:00
Robin Gloster	f70a896094	hol: mark as broken	2017-03-14 15:36:06 +01:00
Christopher League	242f6caac6	logisim: use better jar wrapper, closes #23068	2017-02-26 10:19:32 +01:00
Gabriel Ebner	cc647804f1	lean: 3.0.0 -> 3.1.0	2017-02-26 08:50:15 +01:00
Gabriel Ebner	ac10c19746	veriT: 201506 -> 2016	2017-02-01 19:43:02 +01:00
Vincent Laporte	d40b680101	coq-8.4: fix build of ssreflect and mathcomp	2017-01-25 13:14:31 +00:00
Vincent Laporte	798a87159b	Coq: propagates the findlib package ... So that Coq libraries that need it can easyly use it	2017-01-25 10:29:13 +00:00
Vincent Laporte	9b949be617	coq: minor refactoring	2017-01-25 10:29:13 +00:00
Vincent Laporte	a30e8db9f0	coq: merge files 8.5.nix and 8.6.nix into default.nix	2017-01-25 10:29:13 +00:00
Vincent Laporte	86b74fb76b	alt-ergo: 0.99.1 -> 1.30	2017-01-21 13:44:41 +00:00
Vincent Laporte	8c928cd55a	why3: 0.87.1 -> 0.87.3	2017-01-21 13:31:10 +00:00
Gabriel Ebner	6c9f4a61be	lean: 2017-01-14 -> 3.0.0	2017-01-20 10:59:54 +01:00
Gabriel Ebner	5ad75554b6	lean: 2017-01-06 -> 2017-01-14	2017-01-14 09:37:48 +01:00
Pascal Wittmann	89dfe67f81	Merge pull request #21819 from AtnNn/isabelle ... isabelle: 2016 -> 2016-1	2017-01-13 21:58:57 +01:00
Etienne Laurin	3d301e384e	isabelle: 2016 -> 2016-1	2017-01-11 17:33:04 -05:00
Gabriel Ebner	74a97421ce	lean: 2016-12-30 -> 2017-01-06	2017-01-06 11:57:40 +01:00
Domen Kožar	af2cfc076f	haskellPackages.z3: fix #16357	2017-01-03 23:10:24 +01:00
Gabriel Ebner	68b2d43c88	lean: 2016-12-08 -> 2016-12-30	2016-12-31 13:51:10 +01:00
John Wiegley	4888bfecc2	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect ... Addresses #14829	2016-12-22 10:35:56 -08:00
John Wiegley	838a3b4294	coq_8_6: 8.6rc1 -> 8.6	2016-12-14 13:46:07 -08:00
John Wiegley	62934023c3	coq_HEAD: Update to the latest commit as of 2016-12-13	2016-12-13 08:09:23 -08:00
John Wiegley	360234dab6	coq_8_6: new package, based on Coq 8.6rc1	2016-12-13 07:27:15 -08:00
Eelco Dolstra	c5b96ca801	minisat: Fix build on Darwin	2016-12-09 19:57:07 +01:00
Gabriel Ebner	a2210a9efd	lean: init at 2016-12-08	2016-12-08 10:30:28 -05:00
Gabriel Ebner	ce2a9a8f9b	lean2: 2016-07-05 -> 2016-11-29 ... Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.	2016-12-08 10:30:28 -05:00
Vincent Laporte	431c564993	hol_light: fix build with Camlp5-6.17	2016-11-29 18:34:21 +00:00
Shea Levy	2ded9f3f7b	coq: Improve emacs buffer handling	2016-11-13 14:01:01 -05:00
Austin Seipp	0bdc0143fe	nixpkgs: proverif 1.94 -> 1.95 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2016-11-10 03:45:51 +00:00
Gabriel Ebner	8c4aee4c79	z3: 4.4.1 -> 4.5.0	2016-11-08 16:14:16 -05:00
Vincent Laporte	b028b5f4ef	coq-8.5: ease the selection of an older (patch level) version	2016-11-02 19:39:22 +01:00
Vincent Laporte	b840da02cd	coq: build and install the votour utility	2016-11-02 19:23:15 +01:00
Vincent Laporte	da68cc24f0	coq: 8.5pl2 -> 8.5pl3	2016-11-02 19:23:15 +01:00
Will Dietz	0443affe17	yices: Add darwin to meta.platforms	2016-10-30 13:38:07 -05:00
Will Dietz	3cf27a654a	yices: Build in parallel, run tests, fix test shebang.	2016-10-26 13:01:21 -05:00
Will Dietz	8584ec97ed	yices: fix install target by using 'true' as ldconfig	2016-10-26 12:59:34 -05:00
Will Dietz	1f89121551	yices: 2.3.1 -> 2.5.1	2016-10-26 12:59:06 -05:00
Frederik Rietdijk	8963dae343	z3: use python2	2016-10-18 23:16:07 +02:00
Shea Levy	eca0f17ad2	nix-buffer support improvements. ... Use inherit-local, add per-package elisp hooks.	2016-10-07 10:31:37 -04:00