2023-10-25T12:41:35Z - 2024-04-25T12:41:35Z

Period: 6 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

1 Active Pull Request

3 Active Issues

1
Merged Pull Request 0
Proposed Pull Requests 2
Closed Issues 1
New Issue

Excluding merges, 2 authors have pushed 18 commits to main and 18 commits to all branches. On main, 13 files have changed and there have been 327 additions and 227 deletions.

2 Releases published by 1 user

Published 0.4.0-r20240301 2024-02-05 22:14:19 +00:00

Published 0.3.0-r20231031 2023-10-31 20:56:44 +00:00

1 Pull request merged by 1 user

Merged #10 http: order absent fields first 2024-04-19 10:56:50 +00:00

2 Issues closed from 2 users

Closed #8 protocol: Sync peer should be #!any 2024-01-14 10:19:21 +00:00

Closed #4 Update protocols 2023-11-26 08:35:25 +00:00

1 Issue created by 1 user

Opened #9 Make dataspace patterns over compound data extensible 2024-04-04 12:10:22 +00:00

2 Unresolved Conversations

Open #3 <dict ...> patterns in dataspacePatterns.prs need an ordering specified 2024-04-04 12:55:01 +00:00

Open #5 DataspacePatterns: patterns over sets of literals 2023-11-26 08:29:56 +00:00