Peter Hoeg
|
45248be2aa
|
cryptominisat: use new xxd package instead of vim
|
2017-07-24 09:37:58 +08:00 |
|
Franz Pletz
|
e69dfc252a
|
Revert "coq2html: New expression"
This reverts commit 31437ccf7a.
|
2017-07-20 19:36:50 +02:00 |
|
John Wiegley
|
31437ccf7a
|
coq2html: New expression
|
2017-07-20 11:51:25 -04:00 |
|
Symphorien Gibol
|
d7103eadc8
|
boolector: 1.{5,6} -> 2.4.1
|
2017-07-18 23:50:31 +02:00 |
|
Gabriel Ebner
|
7ba1c7a9fb
|
iprover: 0.8.1 -> 2.5
|
2017-07-17 22:45:27 +01:00 |
|
Vladimír Čunát
|
371ad29661
|
abc-verifier: fix typo in meta
|
2017-07-15 09:27:41 +02:00 |
|
Michael Raskin
|
dcbe96d260
|
Merge pull request #27197 from kquick/master
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
|
2017-07-08 22:37:12 +02:00 |
|
Vincent Laporte
|
eb2be6d97e
|
acgtk: 1.1 -> 1.3.1
|
2017-07-08 08:52:02 +02:00 |
|
Vincent Laporte
|
43b2b55743
|
hol_light: 2016-07-23 -> 2017-07-06
|
2017-07-08 06:14:43 +00:00 |
|
Kevin Quick
|
6cbd9ce8f9
|
Fix license reference for added libpoly library.
|
2017-07-07 12:54:32 -07:00 |
|
Kevin Quick
|
6387a7ec8b
|
Update yices to add libpoly/mcsat functionality and add soname target.
|
2017-07-06 21:31:38 -07:00 |
|
Kevin Quick
|
8ff05c85ee
|
Add poly library for manipulating polynomials.
|
2017-07-06 21:30:30 -07:00 |
|
Gabriel Ebner
|
89e02c7516
|
lean: 3.1.0 -> 3.2.0
|
2017-06-18 20:04:30 +02:00 |
|
Samuel Leathers
|
fdbcee03fe
|
minisat: fix maintainer
|
2017-05-22 23:55:05 -04:00 |
|
Jörg Thalheim
|
2549be898d
|
stp: 2014.01.07 -> 2.2.0
|
2017-05-22 22:25:45 +01:00 |
|
Jörg Thalheim
|
893c7b6112
|
cryptominisat: init at 5.0.1
|
2017-05-22 22:25:14 +01:00 |
|
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 |
|