fine-types - 109 commits this week

Home / Cardano Foundation / fine-types

Insights Pull Requests

Sep 14, 11-12 PM (1)

Sep 14, 12-1 PM (5)

Sep 14, 1-2 PM (0)

Sep 14, 2-3 PM (9)

Sep 14, 3-4 PM (1)

Sep 14, 4-5 PM (0)

Sep 14, 5-6 PM (0)

Sep 14, 6-7 PM (0)

Sep 14, 7-8 PM (0)

Sep 14, 8-9 PM (0)

Sep 14, 9-10 PM (0)

Sep 14, 10-11 PM (0)

Sep 14, 11-12 AM (0)

Sep 15, 12-1 AM (0)

Sep 15, 1-2 AM (0)

Sep 15, 2-3 AM (0)

Sep 15, 3-4 AM (0)

Sep 15, 4-5 AM (0)

Sep 15, 5-6 AM (0)

Sep 15, 6-7 AM (0)

Sep 15, 7-8 AM (0)

Sep 15, 8-9 AM (0)

Sep 15, 9-10 AM (8)

Sep 15, 10-11 AM (1)

Sep 15, 11-12 PM (10)

Sep 15, 12-1 PM (0)

Sep 15, 1-2 PM (0)

Sep 15, 2-3 PM (0)

Sep 15, 3-4 PM (0)

Sep 15, 4-5 PM (0)

Sep 15, 5-6 PM (0)

Sep 15, 6-7 PM (0)

Sep 15, 7-8 PM (0)

Sep 15, 8-9 PM (0)

Sep 15, 9-10 PM (0)

Sep 15, 10-11 PM (0)

Sep 15, 11-12 AM (0)

Sep 16, 12-1 AM (0)

Sep 16, 1-2 AM (0)

Sep 16, 2-3 AM (0)

Sep 16, 3-4 AM (0)

Sep 16, 4-5 AM (0)

Sep 16, 5-6 AM (0)

Sep 16, 6-7 AM (0)

Sep 16, 7-8 AM (0)

Sep 16, 8-9 AM (0)

Sep 16, 9-10 AM (0)

Sep 16, 10-11 AM (0)

Sep 16, 11-12 PM (0)

Sep 16, 12-1 PM (5)

Sep 16, 1-2 PM (0)

Sep 16, 2-3 PM (0)

Sep 16, 3-4 PM (0)

Sep 16, 4-5 PM (0)

Sep 16, 5-6 PM (0)

Sep 16, 6-7 PM (0)

Sep 16, 7-8 PM (0)

Sep 16, 8-9 PM (0)

Sep 16, 9-10 PM (0)

Sep 16, 10-11 PM (0)

Sep 16, 11-12 AM (0)

Sep 17, 12-1 AM (0)

Sep 17, 1-2 AM (0)

Sep 17, 2-3 AM (0)

Sep 17, 3-4 AM (0)

Sep 17, 4-5 AM (0)

Sep 17, 5-6 AM (0)

Sep 17, 6-7 AM (0)

Sep 17, 7-8 AM (0)

Sep 17, 8-9 AM (0)

Sep 17, 9-10 AM (5)

Sep 17, 10-11 AM (0)

Sep 17, 11-12 PM (0)

Sep 17, 12-1 PM (0)

Sep 17, 1-2 PM (0)

Sep 17, 2-3 PM (0)

Sep 17, 3-4 PM (0)

Sep 17, 4-5 PM (0)

Sep 17, 5-6 PM (0)

Sep 17, 6-7 PM (0)

Sep 17, 7-8 PM (0)

Sep 17, 8-9 PM (0)

Sep 17, 9-10 PM (0)

Sep 17, 10-11 PM (0)

Sep 17, 11-12 AM (0)

Sep 18, 12-1 AM (0)

Sep 18, 1-2 AM (0)

Sep 18, 2-3 AM (0)

Sep 18, 3-4 AM (0)

Sep 18, 4-5 AM (0)

Sep 18, 5-6 AM (0)

Sep 18, 6-7 AM (0)

Sep 18, 7-8 AM (0)

Sep 18, 8-9 AM (5)

Sep 18, 9-10 AM (5)

Sep 18, 10-11 AM (0)

Sep 18, 11-12 PM (0)

Sep 18, 12-1 PM (0)

Sep 18, 1-2 PM (0)

Sep 18, 2-3 PM (0)

Sep 18, 3-4 PM (0)

Sep 18, 4-5 PM (1)

Sep 18, 5-6 PM (0)

Sep 18, 6-7 PM (0)

Sep 18, 7-8 PM (0)

Sep 18, 8-9 PM (0)

Sep 18, 9-10 PM (0)

Sep 18, 10-11 PM (0)

Sep 18, 11-12 AM (0)

Sep 19, 12-1 AM (0)

Sep 19, 1-2 AM (0)

Sep 19, 2-3 AM (0)

Sep 19, 3-4 AM (0)

Sep 19, 4-5 AM (0)

Sep 19, 5-6 AM (0)

Sep 19, 6-7 AM (0)

Sep 19, 7-8 AM (0)

Sep 19, 8-9 AM (0)

Sep 19, 9-10 AM (14)

Sep 19, 10-11 AM (10)

Sep 19, 11-12 PM (0)

Sep 19, 12-1 PM (1)

Sep 19, 1-2 PM (5)

Sep 19, 2-3 PM (6)

Sep 19, 3-4 PM (0)

Sep 19, 4-5 PM (0)

Sep 19, 5-6 PM (2)

Sep 19, 6-7 PM (0)

Sep 19, 7-8 PM (0)

Sep 19, 8-9 PM (0)

Sep 19, 9-10 PM (0)

Sep 19, 10-11 PM (0)

Sep 19, 11-12 AM (0)

Sep 20, 12-1 AM (0)

Sep 20, 1-2 AM (0)

Sep 20, 2-3 AM (0)

Sep 20, 3-4 AM (0)

Sep 20, 4-5 AM (0)

Sep 20, 5-6 AM (0)

Sep 20, 6-7 AM (2)

Sep 20, 7-8 AM (3)

Sep 20, 8-9 AM (0)

Sep 20, 9-10 AM (0)

Sep 20, 10-11 AM (0)

Sep 20, 11-12 PM (1)

Sep 20, 12-1 PM (1)

Sep 20, 1-2 PM (2)

Sep 20, 2-3 PM (1)

Sep 20, 3-4 PM (0)

Sep 20, 4-5 PM (0)

Sep 20, 5-6 PM (0)

Sep 20, 6-7 PM (0)

Sep 20, 7-8 PM (0)

Sep 20, 8-9 PM (0)

Sep 20, 9-10 PM (0)

Sep 20, 10-11 PM (0)

Sep 20, 11-12 AM (0)

Sep 21, 12-1 AM (0)

Sep 21, 1-2 AM (0)

Sep 21, 2-3 AM (0)

Sep 21, 3-4 AM (0)

Sep 21, 4-5 AM (0)

Sep 21, 5-6 AM (0)

Sep 21, 6-7 AM (0)

Sep 21, 7-8 AM (0)

Sep 21, 8-9 AM (0)

Sep 21, 9-10 AM (0)

Sep 21, 10-11 AM (5)

Sep 21, 11-12 PM (0)

109 commits this week Sep 14, 2023 - Sep 21, 2023

github-merge-queue[bot] · Thu, 21 Sep 23 11:43:38 +0000 · fine-types

Deploying to gh-pages from @ cardano-foundation/fine-types@d88001f13624f5ccd7f06f199582744346643f10 🚀

f1100402 · gh-pages · 23/2,308 ++ 2,244 --

paolino · Thu, 21 Sep 23 11:29:02 +0000 · fine-types

[ADP-3179] Add package linting command (#34)

- [x] add a function to resolve the unused import
- [x] add a `lint` sub command that works on packages and fail in case
redundant imports are found
ADP-3179

d88001f1 · main · 8/144 ++ 24 --

paolino · Thu, 21 Sep 23 11:16:19 +0000 · fine-types

Link redundantImport computation to the CLI

43240dff · main · 2/42 ++ 10 --

paolino · Thu, 21 Sep 23 11:16:17 +0000 · fine-types

Add redundant imports computation for a module

40edcc8a · main · 1/16 ++ 0 --

paolino · Thu, 21 Sep 23 11:05:02 +0000 · fine-types

Add lint option

3bd099f2 · main · 7/96 ++ 24 --

paolino · Wed, 20 Sep 23 15:10:00 +0000 · fine-types

Link redundantImport computation to the CLI

4e4d98bf · paolino/ADP-3179/redundant-imports · 2/43 ++ 9 --

paolino · Wed, 20 Sep 23 14:38:44 +0000 · fine-types

Add redundant imports computation for a module

58702cb3 · paolino/ADP-3179/redundant-imports · 1/22 ++ 0 --

paolino · Wed, 20 Sep 23 14:38:41 +0000 · fine-types

Add lint option

9eb1e50e · paolino/ADP-3179/redundant-imports · 7/94 ++ 24 --

paolino · Wed, 20 Sep 23 13:51:50 +0000 · fine-types

Add lint option

596482f8 · paolino/ADP-3179/redundant-imports · 5/78 ++ 5 --

paolino · Wed, 20 Sep 23 12:57:56 +0000 · fine-types

Add command line option to apply filters

32c4b20a · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 2/63 ++ 9 --

paolino · Wed, 20 Sep 23 08:10:00 +0000 · fine-types

Add Maps to tuple rewriting code.

992b4fec · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 5/128 ++ 16 --

paolino · Wed, 20 Sep 23 08:10:00 +0000 · fine-types

Add remove constraints rewriting code

6f7283bd · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 3/22 ++ 2 --

paolino · Wed, 20 Sep 23 08:09:53 +0000 · fine-types

Copy spec Babbage package to JSON namespace

48280323 · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 12/491 ++ 0 --

paolino · Wed, 20 Sep 23 07:32:47 +0000 · fine-types

Move Cardano/Ledger specs to namespace to Cardano/Ledger/Specs

3c4841f5 · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 8/37 ++ 23 --

paolino · Wed, 20 Sep 23 07:32:46 +0000 · fine-types

Move Cardano/Ledger namespace to Cardano/Ledger/Specs

7776a98f · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 46/1 ++ 1 --

github-merge-queue[bot] · Tue, 19 Sep 23 18:34:13 +0000 · fine-types

Deploying to gh-pages from @ cardano-foundation/fine-types@a8a946e7387b5283dd2422711e20d663fa56260f 🚀

aa762adc · gh-pages · 36/3,081 ++ 1,943 --

HeinrichApfelmus · Tue, 19 Sep 23 18:12:18 +0000 · fine-types

[ADP-3152] Export of FineTypes to Haskell (#13)

This pull requests implements the export of FineTypes `Typ` to Haskell
types.

- [x] The command `fine-types convert` is able to export a FineTypes
module to a Haskell module.
- [x] The types in the exported Haskell module are instances of a class
`ToValue a` with member function `toValue :: a -> Value`.
- [x] A unit test covers the functionality by autogenerating a Haskell
module from the file and using it in the `fine-types-test` package.

a8a946e7 · gh-readonly-queue/main/pr-13-6e6aaf1922818e76f7efa256b0dd974144f4b2a3 · 16/947 ++ 29 --

paolino · Tue, 19 Sep 23 15:11:41 +0000 · fine-types

[ADP- 3166] Add Babbage era specs as fine-types (#30)

ADP-3166

6e6aaf19 · main · 12/485 ++ 0 --

paolino · Tue, 19 Sep 23 15:05:03 +0000 · fine-types

Add remove constraints rewriting code

7fc251fb · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 3/22 ++ 2 --

paolino · Tue, 19 Sep 23 15:04:28 +0000 · fine-types

Add Maps to tuple rewriting code.

5fd0e721 · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 5/128 ++ 16 --

paolino · Tue, 19 Sep 23 15:04:27 +0000 · fine-types

Copy spec Babbage package to JSON namespace

930fcf1f · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 12/490 ++ 0 --

paolino · Tue, 19 Sep 23 15:04:27 +0000 · fine-types

Move Cardano/Ledger namespace to Cardano/Ledger/Specs

83918000 · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 46/1 ++ 1 --

paolino · Tue, 19 Sep 23 15:04:27 +0000 · fine-types

Move Cardano/Ledger specs to namespace to Cardano/Ledger/Specs

2e28fbcf · paolino/ADP-3175/Create-JSON-friendly-spec-of-the-Babbage-era-types · 8/37 ++ 23 --

paolino · Tue, 19 Sep 23 14:56:09 +0000 · fine-types

Add Babbage spec encodings

f759701e · main · 12/485 ++ 0 --

paolino · Tue, 19 Sep 23 14:43:19 +0000 · fine-types

[ADP-3165] Add alonzo specs as fine-types (#28)

- [x] Add alonzo specs, which brings in the CostModel.fine
ADP-3165

58482724 · main · 12/480 ++ 0 --

Show more commits

Showing 25 of 109 recent commits. Check out Cardano Foundation on GitHub to see more.