Commit message (Expand) | Author | Age | |
---|---|---|---|
* | verilator: 4.034 -> 4.036 | Austin Seipp | 2020-06-16 |
* | Merge pull request #90419 from r-ryantm/auto-update/picard-tools | Ryan Mulligan | 2020-06-15 |
|\ | |||
| * | picard-tools: 2.22.9 -> 2.23.0 | R. RyanTM | 2020-06-15 |
* | | lean: 3.15.0 -> 3.16.2 | R. RyanTM | 2020-06-14 |
|/ | |||
* | symbiyosys: 2020.03.24 -> 2020.05.18 | Austin Seipp | 2020-06-11 |
* | yosys: 2020.03.24 -> 2020.06.11 | Austin Seipp | 2020-06-11 |
* | Merge branch 'staging-next' | Vladimír Čunát | 2020-06-10 |
|\ | |||
| * | Merge branch 'master' into staging-next | Jan Tojnar | 2020-06-10 |
| |\ | |||
| * \ | Merge master into staging-next | Frederik Rietdijk | 2020-06-08 |
| |\ \ | |||
| * \ \ | Merge master into staging-next | Frederik Rietdijk | 2020-06-07 |
| |\ \ \ | |||
| * \ \ \ | Merge master into staging-next | Frederik Rietdijk | 2020-06-04 |
| |\ \ \ \ | |||
| * | | | | | mxnet: use blas.provider, fix build | Jonathan Ringer | 2020-05-28 |
* | | | | | | Merge pull request #90045 from r-ryantm/auto-update/marvin | Ryan Mulligan | 2020-06-10 |
|\ \ \ \ \ \ | |||
| * | | | | | | marvin: 20.12.0 -> 20.13.0 | R. RyanTM | 2020-06-10 |
| | |_|_|_|/ | |/| | | | | |||
* | | | | | | Merge pull request #90013 from r-ryantm/auto-update/jmol | markuskowa | 2020-06-10 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | |||
| * | | | | | jmol: 14.30.2 -> 14.31.0 | R. RyanTM | 2020-06-10 |
| | |_|_|/ | |/| | | | |||
* | | | | | boolector: 3.0.0 -> 3.2.1 | Symphorien Gibol | 2020-06-08 |
* | | | | | btor2tools: pre55 -> 1.0.0-pre | Symphorien Gibol | 2020-06-08 |
* | | | | | formatting: fix missing leading whitespace | 1000101 | 2020-06-08 |
|/ / / / | |||
* | | | | Merge pull request #89667 from r-ryantm/auto-update/picard-tools | Ryan Mulligan | 2020-06-07 |
|\ \ \ \ | |||
| * | | | | picard-tools: 2.22.8 -> 2.22.9 | R. RyanTM | 2020-06-06 |
| | |/ / | |/| | | |||
* | | | | Merge pull request #89515 from lopsided98/qgroundcontrol-update | Frederik Rietdijk | 2020-06-07 |
|\ \ \ \ | |_|_|/ |/| | | | |||
| * | | | qgroundcontrol: 3.5.5 -> 4.0.8 | Ben Wolsieffer | 2020-06-04 |
| |/ / | |||
* | | | molden: 6.2 -> 6.3 | Markus Kowalewski | 2020-06-06 |
* | | | lean: 3.14.0 -> 3.15.0 | R. RyanTM | 2020-06-06 |
|/ / | |||
* | | Merge pull request #88466 from puzzlewolf/gazebo_remove | Lassulus | 2020-06-04 |
|\ \ | |||
| * | | maintainers: remove pxc | puzzlewolf | 2020-05-30 |
| * | | gazebo, sdformat: remove | puzzlewolf | 2020-05-30 |
| |/ | |||
* | | treewide: replace base64 encoded hashes | Daiderd Jordan | 2020-06-03 |
* | | Merge pull request #89308 from LnL7/remove-sri-hashes | zimbatm | 2020-06-02 |
|\ \ | |||
| * | | treewide: replace SRI hashes | Daiderd Jordan | 2020-06-01 |
| |/ | |||
* | | Merge pull request #89111 from timokau/gap-cleanup | Timo Kaufmann | 2020-06-02 |
|\ \ | |/ |/| | |||
| * | gap: remove explicit configreFlags | Timo Kaufmann | 2020-05-28 |
| * | gap: add readline support | Timo Kaufmann | 2020-05-28 |
| * | gap: use https for the homepage | Timo Kaufmann | 2020-05-28 |
| * | gap: fix comment typo | Timo Kaufmann | 2020-05-28 |
| * | gap: remove m4 dependency | Timo Kaufmann | 2020-05-28 |
| * | gap: move to new source URL | Timo Kaufmann | 2020-05-28 |
| * | gap: use the `check` target for install checks | Timo Kaufmann | 2020-05-28 |
* | | Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2 | Timo Kaufmann | 2020-05-27 |
|\ \ | |||
| * | | palp: fix hash | Timo Kaufmann | 2020-05-28 |
| |/ | |||
* / | cryptominisat: 5.7.0 -> 5.7.1 | R. RyanTM | 2020-05-27 |
|/ | |||
* | marvin: 20.10.0 -> 20.12.0 | R. RyanTM | 2020-05-27 |
* | proverif: 2.00 -> 2.01 | R. RyanTM | 2020-05-27 |
* | Merge pull request #88916 from zowoq/patches | Jörg Thalheim | 2020-05-27 |
|\ | |||
| * | sad: use patch file extension | zowoq | 2020-05-26 |
* | | Merge pull request #82180 from bcdarwin/bppcore | Benjamin Hipple | 2020-05-26 |
|\ \ | |||
| * | | bppsuite: init at 2.4.1 | Ben Darwin | 2020-05-25 |
* | | | Merge pull request #70487 from esclear/xflr5 | Lassulus | 2020-05-27 |
|\ \ \ | |||
| * | | | xflr5: init at 6.47 | Daniel Albert | 2020-01-08 |