ouroboros-leios - 78 commits this week

Home / Input Output / ouroboros-leios

Insights Pull Requests

Nov 02, 10-11 AM (0)

Nov 02, 11-12 PM (0)

Nov 02, 12-1 PM (0)

Nov 02, 1-2 PM (0)

Nov 02, 2-3 PM (0)

Nov 02, 3-4 PM (0)

Nov 02, 4-5 PM (0)

Nov 02, 5-6 PM (0)

Nov 02, 6-7 PM (0)

Nov 02, 7-8 PM (0)

Nov 02, 8-9 PM (0)

Nov 02, 9-10 PM (0)

Nov 02, 10-11 PM (0)

Nov 02, 11-12 AM (0)

Nov 03, 12-1 AM (0)

Nov 03, 1-2 AM (0)

Nov 03, 2-3 AM (0)

Nov 03, 3-4 AM (0)

Nov 03, 4-5 AM (0)

Nov 03, 5-6 AM (0)

Nov 03, 6-7 AM (0)

Nov 03, 7-8 AM (0)

Nov 03, 8-9 AM (0)

Nov 03, 9-10 AM (0)

Nov 03, 10-11 AM (0)

Nov 03, 11-12 PM (1)

Nov 03, 12-1 PM (0)

Nov 03, 1-2 PM (67)

Nov 03, 2-3 PM (3)

Nov 03, 3-4 PM (0)

Nov 03, 4-5 PM (0)

Nov 03, 5-6 PM (0)

Nov 03, 6-7 PM (0)

Nov 03, 7-8 PM (0)

Nov 03, 8-9 PM (0)

Nov 03, 9-10 PM (0)

Nov 03, 10-11 PM (0)

Nov 03, 11-12 AM (0)

Nov 04, 12-1 AM (0)

Nov 04, 1-2 AM (0)

Nov 04, 2-3 AM (0)

Nov 04, 3-4 AM (0)

Nov 04, 4-5 AM (0)

Nov 04, 5-6 AM (0)

Nov 04, 6-7 AM (0)

Nov 04, 7-8 AM (0)

Nov 04, 8-9 AM (0)

Nov 04, 9-10 AM (0)

Nov 04, 10-11 AM (0)

Nov 04, 11-12 PM (0)

Nov 04, 12-1 PM (0)

Nov 04, 1-2 PM (0)

Nov 04, 2-3 PM (0)

Nov 04, 3-4 PM (2)

Nov 04, 4-5 PM (0)

Nov 04, 5-6 PM (2)

Nov 04, 6-7 PM (0)

Nov 04, 7-8 PM (0)

Nov 04, 8-9 PM (0)

Nov 04, 9-10 PM (0)

Nov 04, 10-11 PM (0)

Nov 04, 11-12 AM (0)

Nov 05, 12-1 AM (0)

Nov 05, 1-2 AM (0)

Nov 05, 2-3 AM (0)

Nov 05, 3-4 AM (0)

Nov 05, 4-5 AM (0)

Nov 05, 5-6 AM (0)

Nov 05, 6-7 AM (0)

Nov 05, 7-8 AM (0)

Nov 05, 8-9 AM (0)

Nov 05, 9-10 AM (0)

Nov 05, 10-11 AM (1)

Nov 05, 11-12 PM (0)

Nov 05, 12-1 PM (0)

Nov 05, 1-2 PM (1)

Nov 05, 2-3 PM (0)

Nov 05, 3-4 PM (0)

Nov 05, 4-5 PM (0)

Nov 05, 5-6 PM (0)

Nov 05, 6-7 PM (0)

Nov 05, 7-8 PM (0)

Nov 05, 8-9 PM (0)

Nov 05, 9-10 PM (0)

Nov 05, 10-11 PM (0)

Nov 05, 11-12 AM (0)

Nov 06, 12-1 AM (0)

Nov 06, 1-2 AM (0)

Nov 06, 2-3 AM (0)

Nov 06, 3-4 AM (0)

Nov 06, 4-5 AM (0)

Nov 06, 5-6 AM (0)

Nov 06, 6-7 AM (0)

Nov 06, 7-8 AM (0)

Nov 06, 8-9 AM (0)

Nov 06, 9-10 AM (0)

Nov 06, 10-11 AM (0)

Nov 06, 11-12 PM (0)

Nov 06, 12-1 PM (0)

Nov 06, 1-2 PM (0)

Nov 06, 2-3 PM (0)

Nov 06, 3-4 PM (0)

Nov 06, 4-5 PM (0)

Nov 06, 5-6 PM (0)

Nov 06, 6-7 PM (0)

Nov 06, 7-8 PM (0)

Nov 06, 8-9 PM (0)

Nov 06, 9-10 PM (0)

Nov 06, 10-11 PM (0)

Nov 06, 11-12 AM (0)

Nov 07, 12-1 AM (0)

Nov 07, 1-2 AM (0)

Nov 07, 2-3 AM (0)

Nov 07, 3-4 AM (0)

Nov 07, 4-5 AM (0)

Nov 07, 5-6 AM (0)

Nov 07, 6-7 AM (0)

Nov 07, 7-8 AM (0)

Nov 07, 8-9 AM (0)

Nov 07, 9-10 AM (0)

Nov 07, 10-11 AM (0)

Nov 07, 11-12 PM (0)

Nov 07, 12-1 PM (0)

Nov 07, 1-2 PM (0)

Nov 07, 2-3 PM (0)

Nov 07, 3-4 PM (0)

Nov 07, 4-5 PM (0)

Nov 07, 5-6 PM (0)

Nov 07, 6-7 PM (0)

Nov 07, 7-8 PM (0)

Nov 07, 8-9 PM (1)

Nov 07, 9-10 PM (0)

Nov 07, 10-11 PM (0)

Nov 07, 11-12 AM (0)

Nov 08, 12-1 AM (0)

Nov 08, 1-2 AM (0)

Nov 08, 2-3 AM (0)

Nov 08, 3-4 AM (0)

Nov 08, 4-5 AM (0)

Nov 08, 5-6 AM (0)

Nov 08, 6-7 AM (0)

Nov 08, 7-8 AM (0)

Nov 08, 8-9 AM (0)

Nov 08, 9-10 AM (0)

Nov 08, 10-11 AM (0)

Nov 08, 11-12 PM (0)

Nov 08, 12-1 PM (0)

Nov 08, 1-2 PM (0)

Nov 08, 2-3 PM (0)

Nov 08, 3-4 PM (0)

Nov 08, 4-5 PM (0)

Nov 08, 5-6 PM (0)

Nov 08, 6-7 PM (0)

Nov 08, 7-8 PM (0)

Nov 08, 8-9 PM (0)

Nov 08, 9-10 PM (0)

Nov 08, 10-11 PM (0)

Nov 08, 11-12 AM (0)

Nov 09, 12-1 AM (0)

Nov 09, 1-2 AM (0)

Nov 09, 2-3 AM (0)

Nov 09, 3-4 AM (0)

Nov 09, 4-5 AM (0)

Nov 09, 5-6 AM (0)

Nov 09, 6-7 AM (0)

Nov 09, 7-8 AM (0)

Nov 09, 8-9 AM (0)

Nov 09, 9-10 AM (0)

Nov 09, 10-11 AM (0)

78 commits this week Nov 02, 2025 - Nov 09, 2025

javierdiaz72 · Fri, 07 Nov 25 21:50:23 +0000 · ouroboros-leios

Add demo for the trace translator

bc84c633 · main · 3/36,609 ++ 0 --

bwbush · Wed, 05 Nov 25 14:26:24 +0000 · ouroboros-leios

Minor correction to FA algorithm (#614)

7d87970e · main · 2/10 ++ 8 --

yveshauser · Wed, 05 Nov 25 11:57:41 +0000 · ouroboros-leios

wip

ac8d9d39 · yveshauser/linear-leios-analysis · 1/805 ++ 796 --

javierdiaz72 · Tue, 04 Nov 25 18:21:07 +0000 · ouroboros-leios

Merge pull request #602 from input-output-hk/javierdiaz/trace-translator

Translate traces between Cardano Tracer and Leios trace verifier

7e324666 · main · 2/106 ++ 0 --

javierdiaz72 · Tue, 04 Nov 25 18:19:19 +0000 · ouroboros-leios

Add `README.md`

7adc3ec0 · main · 1/41 ++ 0 --

dependabot[bot] · Tue, 04 Nov 25 16:26:26 +0000 · ouroboros-leios

Bump webpack-dev-server from 4.15.2 to 5.2.1 in /cost-dashboard (#613)

Bumps [webpack-dev-server](https://github.com/webpack/webpack-dev-server) from 4.15.2 to 5.2.1.
- [Release notes](https://github.com/webpack/webpack-dev-server/releases)
- [Changelog](https://github.com/webpack/webpack-dev-server/blob/main/CHANGELOG.md)
- [Commits](https://github.com/webpack/webpack-dev-server/compare/v4.15.2...v5.2.1)

---
updated-dependencies:
- dependency-name: webpack-dev-server
  dependency-version: 5.2.1
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

fff3fb8b · main · 2/421 ++ 209 --

dependabot[bot] · Tue, 04 Nov 25 16:22:10 +0000 · ouroboros-leios

Bump webpack-dev-server from 4.15.2 to 5.2.1 in /cost-dashboard

Bumps [webpack-dev-server](https://github.com/webpack/webpack-dev-server) from 4.15.2 to 5.2.1.
- [Release notes](https://github.com/webpack/webpack-dev-server/releases)
- [Changelog](https://github.com/webpack/webpack-dev-server/blob/main/CHANGELOG.md)
- [Commits](https://github.com/webpack/webpack-dev-server/compare/v4.15.2...v5.2.1)

---
updated-dependencies:
- dependency-name: webpack-dev-server
  dependency-version: 5.2.1
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <[email protected]>

d48ec3cb · pull/613/head · 2/421 ++ 209 --