cardano-formal-specifications - 15 commits this week

Home / IntersectMBO / cardano-formal-specifications

Insights Pull Requests

Mar 20, 10-11 PM (0)

Mar 20, 11-12 AM (0)

Mar 21, 12-1 AM (0)

Mar 21, 1-2 AM (0)

Mar 21, 2-3 AM (0)

Mar 21, 3-4 AM (0)

Mar 21, 4-5 AM (0)

Mar 21, 5-6 AM (0)

Mar 21, 6-7 AM (0)

Mar 21, 7-8 AM (0)

Mar 21, 8-9 AM (0)

Mar 21, 9-10 AM (0)

Mar 21, 10-11 AM (0)

Mar 21, 11-12 PM (0)

Mar 21, 12-1 PM (0)

Mar 21, 1-2 PM (0)

Mar 21, 2-3 PM (0)

Mar 21, 3-4 PM (0)

Mar 21, 4-5 PM (0)

Mar 21, 5-6 PM (1)

Mar 21, 6-7 PM (0)

Mar 21, 7-8 PM (0)

Mar 21, 8-9 PM (1)

Mar 21, 9-10 PM (0)

Mar 21, 10-11 PM (0)

Mar 21, 11-12 AM (0)

Mar 22, 12-1 AM (0)

Mar 22, 1-2 AM (0)

Mar 22, 2-3 AM (0)

Mar 22, 3-4 AM (0)

Mar 22, 4-5 AM (0)

Mar 22, 5-6 AM (0)

Mar 22, 6-7 AM (0)

Mar 22, 7-8 AM (0)

Mar 22, 8-9 AM (0)

Mar 22, 9-10 AM (3)

Mar 22, 10-11 AM (0)

Mar 22, 11-12 PM (0)

Mar 22, 12-1 PM (0)

Mar 22, 1-2 PM (0)

Mar 22, 2-3 PM (0)

Mar 22, 3-4 PM (0)

Mar 22, 4-5 PM (0)

Mar 22, 5-6 PM (0)

Mar 22, 6-7 PM (0)

Mar 22, 7-8 PM (0)

Mar 22, 8-9 PM (0)

Mar 22, 9-10 PM (0)

Mar 22, 10-11 PM (0)

Mar 22, 11-12 AM (0)

Mar 23, 12-1 AM (0)

Mar 23, 1-2 AM (0)

Mar 23, 2-3 AM (0)

Mar 23, 3-4 AM (0)

Mar 23, 4-5 AM (0)

Mar 23, 5-6 AM (0)

Mar 23, 6-7 AM (0)

Mar 23, 7-8 AM (0)

Mar 23, 8-9 AM (0)

Mar 23, 9-10 AM (0)

Mar 23, 10-11 AM (0)

Mar 23, 11-12 PM (0)

Mar 23, 12-1 PM (0)

Mar 23, 1-2 PM (0)

Mar 23, 2-3 PM (0)

Mar 23, 3-4 PM (0)

Mar 23, 4-5 PM (0)

Mar 23, 5-6 PM (0)

Mar 23, 6-7 PM (0)

Mar 23, 7-8 PM (0)

Mar 23, 8-9 PM (0)

Mar 23, 9-10 PM (0)

Mar 23, 10-11 PM (0)

Mar 23, 11-12 AM (0)

Mar 24, 12-1 AM (0)

Mar 24, 1-2 AM (0)

Mar 24, 2-3 AM (0)

Mar 24, 3-4 AM (0)

Mar 24, 4-5 AM (0)

Mar 24, 5-6 AM (0)

Mar 24, 6-7 AM (0)

Mar 24, 7-8 AM (0)

Mar 24, 8-9 AM (0)

Mar 24, 9-10 AM (0)

Mar 24, 10-11 AM (0)

Mar 24, 11-12 PM (3)

Mar 24, 12-1 PM (1)

Mar 24, 1-2 PM (0)

Mar 24, 2-3 PM (1)

Mar 24, 3-4 PM (0)

Mar 24, 4-5 PM (0)

Mar 24, 5-6 PM (0)

Mar 24, 6-7 PM (0)

Mar 24, 7-8 PM (0)

Mar 24, 8-9 PM (0)

Mar 24, 9-10 PM (0)

Mar 24, 10-11 PM (0)

Mar 24, 11-12 AM (0)

Mar 25, 12-1 AM (0)

Mar 25, 1-2 AM (0)

Mar 25, 2-3 AM (0)

Mar 25, 3-4 AM (0)

Mar 25, 4-5 AM (0)

Mar 25, 5-6 AM (0)

Mar 25, 6-7 AM (0)

Mar 25, 7-8 AM (0)

Mar 25, 8-9 AM (0)

Mar 25, 9-10 AM (0)

Mar 25, 10-11 AM (1)

Mar 25, 11-12 PM (0)

Mar 25, 12-1 PM (0)

Mar 25, 1-2 PM (0)

Mar 25, 2-3 PM (0)

Mar 25, 3-4 PM (0)

Mar 25, 4-5 PM (0)

Mar 25, 5-6 PM (0)

Mar 25, 6-7 PM (0)

Mar 25, 7-8 PM (0)

Mar 25, 8-9 PM (0)

Mar 25, 9-10 PM (0)

Mar 25, 10-11 PM (0)

Mar 25, 11-12 AM (0)

Mar 26, 12-1 AM (0)

Mar 26, 1-2 AM (0)

Mar 26, 2-3 AM (0)

Mar 26, 3-4 AM (0)

Mar 26, 4-5 AM (0)

Mar 26, 5-6 AM (0)

Mar 26, 6-7 AM (0)

Mar 26, 7-8 AM (0)

Mar 26, 8-9 AM (0)

Mar 26, 9-10 AM (1)

Mar 26, 10-11 AM (1)

Mar 26, 11-12 PM (0)

Mar 26, 12-1 PM (0)

Mar 26, 1-2 PM (1)

Mar 26, 2-3 PM (0)

Mar 26, 3-4 PM (0)

Mar 26, 4-5 PM (0)

Mar 26, 5-6 PM (1)

Mar 26, 6-7 PM (0)

Mar 26, 7-8 PM (0)

Mar 26, 8-9 PM (0)

Mar 26, 9-10 PM (0)

Mar 26, 10-11 PM (0)

Mar 26, 11-12 AM (0)

Mar 27, 12-1 AM (0)

Mar 27, 1-2 AM (0)

Mar 27, 2-3 AM (0)

Mar 27, 3-4 AM (0)

Mar 27, 4-5 AM (0)

Mar 27, 5-6 AM (0)

Mar 27, 6-7 AM (0)

Mar 27, 7-8 AM (0)

Mar 27, 8-9 AM (0)

Mar 27, 9-10 AM (0)

Mar 27, 10-11 AM (0)

Mar 27, 11-12 PM (0)

Mar 27, 12-1 PM (0)

Mar 27, 1-2 PM (0)

Mar 27, 2-3 PM (0)

Mar 27, 3-4 PM (0)

Mar 27, 4-5 PM (0)

Mar 27, 5-6 PM (0)

Mar 27, 6-7 PM (0)

Mar 27, 7-8 PM (0)

Mar 27, 8-9 PM (0)

Mar 27, 9-10 PM (0)

Mar 27, 10-11 PM (0)

15 commits this week Mar 20, 2025 - Mar 27, 2025

peterwthompson · Wed, 26 Mar 25 18:05:31 +0000 · cardano-formal-specifications

Commit lock changes

d9c58b5e · praos-performance-updates · 1/17 ++ 0 --

peterwthompson · Wed, 26 Mar 25 14:00:47 +0000 · cardano-formal-specifications

Improved definition of bounding case

455832c7 · praos-performance-updates · 1/1 ++ 1 --

semanticphilosopher · Wed, 26 Mar 25 11:39:47 +0000 · cardano-formal-specifications

updated flake

4213afae · praos-performance-updates · 1/62 ++ 5 --

semanticphilosopher · Wed, 26 Mar 25 10:37:00 +0000 · cardano-formal-specifications

Start of nixification

026ce59a · praos-performance-updates · 2/82 ++ 0 --

polinavino · Tue, 25 Mar 25 11:50:14 +0000 · cardano-formal-specifications

describe nested txs

a2759c3b · main · 1/20 ++ 2 --

peterwthompson · Mon, 24 Mar 25 15:06:47 +0000 · cardano-formal-specifications

Corrected location of \graphicspath statement

1eff94fb · praos-performance-updates · 1/1 ++ 1 --

peterwthompson · Mon, 24 Mar 25 13:00:05 +0000 · cardano-formal-specifications

Advanced document date

72a14d0b · praos-performance-updates · 1/1 ++ 1 --

peterwthompson · Mon, 24 Mar 25 12:57:05 +0000 · cardano-formal-specifications

Tweaked formatting

5d90c4ab · praos-performance-updates · 1/20 ++ 20 --

peterwthompson · Mon, 24 Mar 25 12:50:35 +0000 · cardano-formal-specifications

Added graphics path

4d8b0cb2 · praos-performance-updates · 1/10 ++ 10 --

peterwthompson · Mon, 24 Mar 25 12:47:40 +0000 · cardano-formal-specifications

Added blended block type

96bcb1a5 · praos-performance-updates · 2/33 ++ 8 --

peterwthompson · Sat, 22 Mar 25 10:11:01 +0000 · cardano-formal-specifications

Merge pull request #6 from IntersectMBO/praos-performance-updates

Improvements to header pipelining section

51f405b8 · main · 3/131 ++ 10 --

peterwthompson · Sat, 22 Mar 25 10:07:14 +0000 · cardano-formal-specifications

Added note about generation of the figures

756d5c68 · main · 1/5 ++ 0 --

peterwthompson · Sat, 22 Mar 25 10:01:53 +0000 · cardano-formal-specifications

Improved presentation by breaking up code blocks

a25a42b5 · main · 1/26 ++ 19 --

polinavino · Fri, 21 Mar 25 21:31:59 +0000 · cardano-formal-specifications

describe nested txs

6723cacf · polina/nested · 1/20 ++ 2 --

peterwthompson · Fri, 21 Mar 25 18:19:18 +0000 · cardano-formal-specifications

Improved header pipelining model and added plots

52c84918 · praos-performance-updates · 2/36 ++ 15 --

Showing 15 of 15 recent commits. Check out IntersectMBO on GitHub to see more.