ECOS nightly v0.1.0-nightly.20261027

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261027.g19b7486	19b7486
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261025.g581a944	581a944
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261026:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@6e35560...19b7486
• kepler-formal: unchanged
• ecos-studio: unchanged
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261026

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261026.g6e35560	6e35560
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261025.g581a944	581a944
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261025:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@99a45c4...6e35560
• kepler-formal: unchanged
• ecos-studio: unchanged
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261025

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261019.g99a45c4	99a45c4
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261025.g581a944	581a944
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261023:

• ecc: unchanged
• ecc-sizer: unchanged
• kepler-formal: unchanged
• ecos-studio: openecos-projects/ecos-studio@4d31fed...581a944
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261023

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261019.g99a45c4	99a45c4
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261023.g4d31fed	4d31fed
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261020:

• ecc: unchanged
• ecc-sizer: unchanged
• kepler-formal: unchanged
• ecos-studio: openecos-projects/ecos-studio@20e2c74...4d31fed
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261020

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261019.g99a45c4	99a45c4
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261020.g20e2c74	20e2c74
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261019:

• ecc: unchanged
• ecc-sizer: unchanged
• kepler-formal: unchanged
• ecos-studio: openecos-projects/ecos-studio@18ab2e9...20e2c74
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261019

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261019.g99a45c4	99a45c4
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261018.g18ab2e9	18ab2e9
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261018:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@05e19e7...99a45c4
• kepler-formal: unchanged
• ecos-studio: unchanged
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261018

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261016.g05e19e7	05e19e7
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261018.g18ab2e9	18ab2e9
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261016:

• ecc: unchanged
• ecc-sizer: unchanged
• kepler-formal: unchanged
• ecos-studio: openecos-projects/ecos-studio@c760ce3...18ab2e9
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261016

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261016.g05e19e7	05e19e7
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261014.gc760ce3	c760ce3
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261015:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@deb0d57...05e19e7
• kepler-formal: unchanged
• ecos-studio: unchanged
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261015

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261015.gdeb0d57	deb0d57
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261014.gc760ce3	c760ce3
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261014:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@4bf1689...deb0d57
• kepler-formal: unchanged
• ecos-studio: unchanged
• pdk: unchanged

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.

ECOS nightly v0.1.0-nightly.20261014

Nightly build of the ECOS toolchain (ecc, ecc-sizer, kepler-formal, ecos-studio) and the ICS55 PDK.

tool	version	commit
ecc	0.1.0-alpha.13-nightly.20261012.g27084f4	27084f4
ecc-sizer	0.1.0-alpha.2-nightly.20261014.g4bf1689	4bf1689
kepler-formal	0.5.0-nightly.20260929	92759a6
ecos-studio	0.1.0-alpha.10-nightly.20261014.gc760ce3	c760ce3
pdk	1.10.103	2d72857

Changes since v0.1.0-nightly.20261013.2:

• ecc: unchanged
• ecc-sizer: openecos-projects/ecc-sizer@7af306b...4bf1689
• kepler-formal: unchanged
• ecos-studio: openecos-projects/ecos-studio@c1fae5d...c760ce3
• pdk: openecos-projects/icsprout55-pdk@ebc3f7e...2d72857

Downloads

• ecos-nightly-linux-x86_64.tar.gz — the whole toolchain in one bundle: run ecc/ecc, ecc-sizer/bin/Sizer, kepler-formal/kepler-formal, point PDK_ROOT at pdk/, and launch studio/ECOS-Studio_*.AppImage after extraction

Warning

Unstable nightly prerelease; use the tools' stable releases for production.