Commit graph

843 commits

Author SHA1 Message Date
Austin Seipp 4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte 618bca7054 alt-ergo: 2.3.0 → 2.3.1 2020-03-24 20:43:06 -04:00
Mario Rodas b2df6d541d
lean: 3.7.0 -> 3.7.2 2020-03-22 04:20:00 -05:00
Vincent Laporte 8dddd8a07f ocamlPackages.camlp5: 7.10 → 7.11 2020-03-19 18:04:14 -07:00
Austin Seipp 2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
Now with working web UI dashboard -- but no working GUI (yet!)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Mario Rodas c935567de6 lean: 3.6.1 -> 3.7.0 2020-03-14 01:32:58 +00:00
Michael Raskin bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho 202c2a8eff clingcon: init at 3.3.0 2020-03-08 19:21:55 +01:00
Maximilian Bosch 84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Vincent Laporte dcfccdfc33
acgtk: 1.5.0 → 1.5.1 (#81539)
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
Gabriel Ebner 8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
Gabriel Ebner 70e5428d66 elan: 0.7.5 -> 0.8.0 2020-03-06 14:28:36 +01:00
Joachim Breitner 2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)

js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1

Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Mario Rodas 1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer bc56175034 satallax: Fix build with GCC9 2020-03-05 05:16:49 +01:00
R. RyanTM 86e6080daf workcraft: 3.2.5 -> 3.2.6 2020-03-04 13:41:09 +00:00
Gabriel Ebner 0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM 5b833c08ef lean: 3.6.0 -> 3.6.1 2020-03-04 06:26:01 +00:00
Aiken Cairncross 3db82f6fc3 python3Packages.monosat: Fix hash
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
Aiken Cairncross 2148a154c6 python3Packages.monosat: Fix Python 3.8 build 2020-03-03 07:40:57 +01:00
Austin Seipp 7e66ce29bf
mcy: init at 2020.02.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp 3d8efecda1
symbiyosys: fix calls to external programs
48085826f broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.

But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.

This also does some other minor clean up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas 79f057e2eb
lean: 3.5.1 -> 3.6.0 2020-02-26 18:00:00 -05:00
Benjamin Hipple ed85c9981a elan: upgrade cargo fetcher and cargoSha256
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Junyoung Clare Jang b71c03e483
lean: 3.4.2 -> 3.5.1
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
Benjamin Hipple eb11feaa0b treewide: change fetchCargoTarball default to opt-out
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
2020-02-13 22:41:37 -08:00
R. RyanTM 1d4fd7f5f2 verifast: 18.02 -> 19.12 2020-02-09 14:29:31 -06:00
Ryan Mulligan c9cf351871 Merge pull request #79479 from r-ryantm/auto-update/workcraft
workcraft: 3.1.9 -> 3.2.5
2020-02-09 06:37:47 -08:00
Jannik Vierling 6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00
Emily a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
R. RyanTM 5bf0de57ad workcraft: 3.1.9 -> 3.2.5 2020-02-07 21:09:41 +00:00
Florian Klink 570afbcb5b abc-verifier: passthru rev
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
2020-02-01 12:49:45 +01:00
Florian Klink 351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
Vincent Laporte 13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte 659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Luka Blaskovic fd614a8e8f saw-tools: use default llvm 2020-01-30 18:35:30 -05:00
Mario Rodas a20b7cff7c
Merge pull request #78521 from r-ryantm/auto-update/ott
ott: 0.29 -> 0.30
2020-01-29 21:47:20 -05:00
R. RyanTM f1085d02bb ott: 0.29 -> 0.30 2020-01-26 09:43:23 +00:00
DwarfMaster 227a3f4383 Renamed maintainer lucas8 -> dwarfmaster 2020-01-21 16:39:52 +10:00
Robin Gloster ab0cfd9e03
treewide: NIX_*_COMPILE -> string 2019-12-31 00:10:18 +01:00
Frederik Rietdijk 6d059becd3 Merge gcc-9 into staging (#68029) 2019-12-30 16:38:38 +01:00
Merijn Broeren 133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Franz Pletz 1a871b4382
minisat: 2.2.0 -> 2.2.1 2019-12-30 03:50:35 +01:00
Maximilian Bosch 9842c4b107
treewide: update which packages I'm currently maintaining
Idea shamelessly stolen from 4e60b0efae.

I realized that I don't really know anymore where I'm listed as maintainer and what
I'm actually (co)-maintaining which means that I can't proactively take
care of packages I officially maintain.

As I don't have the time, energy and motivation to take care of stuff I
was interested in 1 or 2 years ago (or packaged for someone else in the
past), I decided that I make this explicit by removing myself from several
packages and adding myself in some other stuff I'm now interested in.

I've seen it several times now that people remove themselves from a
package without removing the package if it's unmaintained after that
which is why I figured that it's fine in my case as the affected pkgs
are rather low-prio and were pretty easy to maintain.
2019-12-26 15:27:47 +01:00
Franz Pletz 77b6c3cd06
Merge remote-tracking branch 'origin/master' into gcc-9 2019-12-26 14:17:36 +01:00
Alyssa Ross 7887a81193
treewide: fix cargoSha256 (again)
cargo-vendor output was changed in a4fc84de44.
2019-12-20 20:08:53 +00:00
Austin Seipp 367676ce82
z3: 4.8.5 -> 4.8.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-12-14 20:33:59 -06:00
Vincent Laporte 856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1
coq_8_11: init at 8.11+β1
2019-12-14 19:13:40 +01:00