Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add algebraic logging #2965
base: master
Are you sure you want to change the base?
add algebraic logging #2965
Changes from all commits
950340f
da15713
15fd0d0
963332d
3a90d0a
8fd79db
27c6a57
d432a65
458933c
2f4ebee
90059cd
298ea1f
f0b4334
fe86680
1c5aef8
23e07cf
85d9e85
0b6474f
185981b
7d68857
3927867
9b0c8c9
6981d76
715e620
9f55189
f84d3bb
f39640c
8f6ff7c
e8ceef3
e315554
062d395
a30f133
ccb932d
8da4287
b5e5100
5a9191e
c846786
969f84e
50f8af6
e45f344
a6b2e5c
bb56edc
e2be804
b14a818
ce441c1
36d4aec
c62a0e9
c057898
2fc8058
586bb07
7f94c1a
3c1301a
d95edd4
df109c0
6708a42
1060bdd
1eb54c0
e16ef9d
0e6f143
d7fa91c
97102db
13b72d8
632c375
f4a7d26
1b2b6fa
ca1b5c5
d373ff5
2b04c46
54f5176
fcfc928
cae3bd0
72242be
77c9a29
cf4c824
d58b755
1cbddbf
96eebfa
4b392f1
6141c48
f1b9da6
b942a67
b21ecb9
94f6d29
c69aeb6
478422c
aac5eb3
1545c09
fd453d9
3bcece6
9c8cc60
5ece342
3defba6
c4e3023
9a52d3d
9476112
bd1ca7b
a103528
f81f4ad
e6dafa5
421d06e
aca0881
1b25c45
668be2d
5d65575
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing