1214 Commits

Author	SHA1	Message	Date
Ben Siraphob	521cfab34b	Merge pull request #157626 from siraben/formula-init	2022-02-15 18:38:41 -06:00
Ben Siraphob	7f94906083	formula: init at 2.0	2022-02-15 14:09:16 -06:00
Lorenz Leutgeb	f7e01145af	gradle: Update hashes of dependents for 7.4	2022-02-15 09:17:56 +01:00
Angus Trau	18592865d7	maintainers: update emilytrau	2022-02-11 04:45:03 +00:00
Mauricio Collares	58f58c8de6	lean: 3.39.0 -> 3.39.1	2022-02-08 12:24:19 -03:00
Ben Siraphob	3594565a7e	Merge pull request #156629 from siraben/coq-mainprogram ... coq: add meta.mainProgram	2022-02-06 21:43:01 +00:00
Ben Siraphob	6ad0e10dd3	coq: add meta.mainProgram	2022-02-06 15:42:47 -06:00
Mauricio Collares	0ebdfab88b	lean: 3.38.0 -> 3.39.0	2022-02-03 09:21:20 -03:00
Сухарик	3f90b3a1e1	anders: init at 1.1.1	2022-02-02 12:31:53 +03:00
Sandro	a724f8dc29	Merge pull request #155897 from FliegendeWurst/key-2.10	2022-01-30 01:21:43 +01:00
FliegendeWurst	48a133a066	key: add a desktop item	2022-01-29 10:14:54 +01:00
Sandro	27cccd4e49	Merge pull request #151363 from Stunkymonkey/doc-updateWalker	2022-01-27 14:06:36 +01:00
Felix Buehler	09e3b7a570	treewide: remove all updateWalker/downloadURLRegexp	2022-01-26 21:46:08 +01:00
Felix Buehler	ed7bf9452c	treewide: remove *.upstream files from updateWalker	2022-01-26 21:46:07 +01:00
Gabriel Ebner	b27b115b41	Merge pull request #154272 from jvanbruegge/isabelle-build-hol ... isabelle: Prebuild HOL session	2022-01-26 16:37:18 +01:00
Vincent Laporte	8187f6500d	tamarin-prover: install emacs-mode	2022-01-25 15:54:15 +01:00
Vincent Laporte	20e7213d16	coq_8_15: 8.15+rc1 → 8.15.0	2022-01-25 10:53:57 +01:00
FliegendeWurst	28b43ffd54	key: 2.6.3 -> 2.10.0	2022-01-22 15:55:25 +01:00
Jan van Brügge	d653b33f20	maintainers: add jvanbruegge	2022-01-19 18:25:27 +01:00
Jan van Brügge	6fff929c5e	isabelle: Prebuild HOL session ... Upstream isabelle ships with this session, but the changes done for nixpkgs invalidate it, requiring every user to build it again.	2022-01-19 18:25:26 +01:00
Mauricio Collares	c3b215f678	lean: 3.37.0 -> 3.38.0	2022-01-12 16:25:20 -03:00
1000teslas	a4b6785de9	isabelle: patch jni libs for nitpick	2022-01-11 21:09:27 +11:00
1000teslas	d9d30199ec	isabelle: patch zipperposition binary	2022-01-11 11:55:38 +11:00
Renaud	3e90bc0c91	Merge pull request #153014 from numinit/add-klee ... klee: init at 2.2	2022-01-09 00:16:19 +01:00
Morgan Jones	5f8f72c10c	klee: init at 2.2	2022-01-08 15:49:07 -07:00
Mauricio Collares	81d4c28748	lean: 3.36.0 -> 3.37.0	2022-01-07 16:51:55 -03:00
Mauricio Collares	b790f8ce31	lean: 3.35.1 -> 3.36.0	2022-01-04 10:35:17 -03:00
Gabriel Ebner	adf7f03d3b	Merge pull request #153337 from collares/lean-3.35.1 ... lean: 3.35.0 -> 3.35.1	2022-01-03 16:40:00 +01:00
Mauricio Collares	5b3eac3130	lean: 3.35.0 -> 3.35.1	2022-01-03 11:42:18 -03:00
Gabriel Ebner	7fb27d1c22	Merge pull request #153190 from jvanbruegge/isabelle-vampire ... isabelle: Use vampire and eprover from nixpkgs	2022-01-02 22:56:09 +01:00
Jan van Brügge	c601134af8	isabelle: Use vampire and eprover from nixpkgs ... It also removes the unused perl input	2022-01-02 20:53:33 +01:00
Jan van Brügge	f79b811f2d	eprover: Add option to enable LFHOL reasoning ... Using eprover as automated theorem prover for sledgehammer requires this option.	2022-01-02 20:53:32 +01:00
Sergei Trofimovich	369d7bb4ca	z3: 4.8.12 -> 4.8.14 ... While at it added trivial updater plumbing.	2022-01-02 12:45:59 -06:00
R. RyanTM	0bf7411211	libpoly: 0.1.10 -> 0.1.11 ... * libpoly: 0.1.10 -> 0.1.11 (#144410) * libpoly: remove unneeded postPatch (fixed upstream by now) Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>	2022-01-02 17:38:00 +01:00
R. RyanTM	caa56925f9	yices: 2.6.2 -> 2.6.4 ... (#143311)	2022-01-02 10:15:42 +01:00
Jan van Brügge	b54e5a841b	vampire: 4.5.1 -> 4.6.1	2022-01-01 22:13:11 +01:00
Jan van Brügge	4b9c0cb005	isabelle: 2021 -> 2021-1	2021-12-31 13:01:41 +01:00
Jan van Brügge	d3e2cf4314	verit: 2016 -> 2021.06.2	2021-12-31 13:00:43 +01:00
Ben Siraphob	39a0a70d29	treewide: fix homepages with permanent redirect to https	2021-12-29 22:06:47 +07:00
Felix Buehler	cb448459d0	potassco: switch to fetchFromGitHub	2021-12-23 19:11:17 +01:00
Felix Buehler	f4931dfaee	ekrhyper: refactor	2021-12-21 12:44:01 +01:00
Gabriel Ebner	a3bbbe08bd	Merge pull request #151328 from Kha/elan-lean-cc ... elan: set LEAN_CC to stdenv cc	2021-12-19 17:39:28 +01:00
Sebastian Ullrich	b20024dd3a	elan: set LEAN_CC to stdenv cc ... This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`	2021-12-19 17:27:10 +01:00
mucaho	1509f463a0	clingcon: 3.3.0 -> 5.0.0	2021-12-16 20:28:19 +01:00
Felix Buehler	4cc23f2b1e	why3.withProvers: add dontUnpack	2021-12-12 20:33:14 +01:00
Jörg Thalheim	2a322411ff	Merge pull request #150217 from r-ryantm/auto-update/cryptoverif ... cryptoverif: 2.04 -> 2.05	2021-12-11 12:53:42 +00:00
R. Ryantm	50554a43cf	cryptoverif: 2.04 -> 2.05	2021-12-11 10:05:51 +00:00
Vincent Laporte	a2dc97cd5c	proverif: 2.03 → 2.04	2021-12-09 17:45:15 +01:00
Vincent Laporte	a160defe64	coq_8_15: init at 8.15+rc1	2021-12-09 15:46:06 +01:00
R. Ryantm	817561795f	logisim-evolution: 3.7.1 -> 3.7.2	2021-12-07 12:21:37 +00:00