• Joined on 2024年05月20日
bromind created branch main in bromind/Hopi-agda 2026年02月25日 13:34:49 +01:00
bromind pushed to main at bromind/Hopi-agda 2026年02月25日 13:34:49 +01:00
aeeea6f31b Initial commit
bromind created repository bromind/Hopi-agda 2026年02月25日 13:34:10 +01:00
bromind pushed to master at bromind/dot-parser 2026年01月07日 15:40:37 +01:00
2552ac2474 Bump to version 0.6.1
bromind commented on issue bromind/dot-parser#10 2025年12月29日 18:57:25 +01:00
Global graph attributes need to be specified inside of a graph scope

The above commit should fix the issue. Could you confirm it works on your side before I push an updated version on crates.io ?

bromind closed issue bromind/dot-parser#10 2025年12月29日 18:55:42 +01:00
Global graph attributes need to be specified inside of a graph scope
bromind pushed to master at bromind/dot-parser 2025年12月29日 18:55:42 +01:00
5521f1ba03 Add integration tests
c0243fdd97 Fix silent numeral/html ident
Compare 2 commits »
bromind closed issue bromind/dot-parser#10 2025年09月28日 12:56:55 +02:00
Global graph attributes need to be specified inside of a graph scope
bromind closed issue bromind/dot-parser#9 2025年08月19日 09:56:38 +02:00
Multiple Graphs with syntax error does not actually error
bromind commented on issue bromind/dot-parser#9 2025年08月19日 09:56:37 +02:00
Multiple Graphs with syntax error does not actually error

It's now online, in v0.6.0. I'm closing the ticket, but don't hesitate to reopen if need be :-)

bromind pushed to master at bromind/dot-parser 2025年08月14日 16:36:14 +02:00
ab4e2cd845 Bump to version 0.6.0
bromind commented on issue bromind/dot-parser#10 2025年08月13日 10:35:41 +02:00
Global graph attributes need to be specified inside of a graph scope

Both are valid dot string and both are accepted by the parser. However, there is slight difference between both of them. In the first one, the foo=bar part is an ID '=' ID statement (a stmt...

bromind commented on issue bromind/dot-parser#9 2025年08月11日 11:52:27 +02:00
Multiple Graphs with syntax error does not actually error

What I imagined above turned out not to work: the way the parser worked was matching as many graph strings as possible (and at least one), until a non-matching string was found. Thus, the absence...

bromind pushed to master at bromind/dot-parser 2025年08月11日 11:50:58 +02:00
a0e74f9405 Reference to petgraph implementation in README
bromind pushed to master at bromind/dot-parser 2025年08月11日 11:48:25 +02:00
fbb4232161 Fix team name
bromind pushed to master at bromind/dot-parser 2025年08月11日 11:41:30 +02:00
911e7b3a7e Parsing Graphs matches the whole input
2068aa862a Update Institution
Compare 2 commits »
bromind commented on issue bromind/dot-parser#9 2025年07月30日 12:02:02 +02:00
Multiple Graphs with syntax error does not actually error

I'll have a look at that. The fix does not seem to difficult, but that will probably change the error type of TryFrom. I expect the error type will look like a 2-tuple with an index (of the first...

bromind closed issue bromind/dot-parser#7 2025年07月08日 23:48:31 +02:00
Label quoting remains in the parsed results
bromind commented on issue bromind/dot-parser#7 2025年06月17日 21:30:19 +02:00
Label quoting remains in the parsed results

#e5a49a6ca230db8e0611333cc50585956872d142 should address this issue. It turned out to be slightly more complex than I expected to do that in a clean way. In particular, it changes slightly the...