Releases: Kuniwak/puml-parallel
Releases · Kuniwak/puml-parallel
Release list
v0.0.10
Changelog
- ca20ac8 Merge pull request #19 from Kuniwak/shorten-isabelle-livelock-proof
- b215e04 Structural: shorten the Isabelle livelock proof with a measure
- e2ad4ad Merge pull request #18 from Kuniwak/livelockfree-obligation-ir
- 3592792 Docs: prove the Lean obligation for the same example
- cefba34 Structural: tidy the Livelock_Obligation predicate bodies
- 55aa0a5 Structural: align the inductive layout with the other declarations
- 4be2214 STRUCTUAL: Prove Livelock_Obligation example
- 9f16be7 Docs: regenerate the example obligation with reachability
- b427840 Docs: describe the reachability restriction
- d4b6b2d Structural: drop the now-identity predicate filter
- f6bb8f4 Behavioral: restrict the lean obligation to reachable states
- 4ec0fb5 Behavioral: restrict the isabelle obligation to reachable states
- dea6101 Structural: parameterise the transition-relation writer by name
- d86db66 Behavioral: order derived states deterministically
- 9c51fa6 Behavioral: refresh the csdfparse goldens
- e7824f1 Docs: describe the hash-named predicates the backends emit
- 2c7e954 Behavioral: follow the current IR in the command tests
- ae37435 Behavioral: rebuild the lean backend on the current IR
- 71e6ae4 Behavioral: pin the ir-json wire form and stop escaping predicate text
- 5588e27 Behavioral: give the init predicate the start state's variables
- 4b1c364 Behavioral: follow the csdf type changes in animation
- 77eb2dc Structural: lift the predicate-ID spelling into obligationir
- add05da Structural: follow the renamed csdf and obligationir API
- 86392cd Structural: drop dead code in obligationir
- 2b12326 Behavioral: Fix isabelle theorem
- 2c1c947 tmp
- 8cd8e51 Behavior: make ir/target clean
- 649b98d Behavioral: omit the proof obligation when structurally livelock free
- e9a556f Docs: note JSON value typing in the obligation skeletons
- bed2c45 Behavioral: type isabelle state vars with a JSON datatype
- a7e9f61 Behavioral: type lean state vars with a JSON datatype
- 9523df0 Docs: make csdflivelockfree -target the primary path for prover output
- 83d038e Behavioral: add -target to csdflivelockfree
- da4081b Structural: extract csdf/obligationir/target dispatcher
- ad7d2d4 Docs: document the obligationirc IR compiler
- e793238 Behavioral: add obligationirc command
- d36de67 Behavioral: emit a placeholder type for untyped state variables
- bc6f8ce Behavioral: add csdf/obligationir/isabelle compiler backend
- c730714 Behavioral: add csdf/obligationir/lean compiler backend
- 44809fd Behavioral: add csdf/obligationir/json compiler backend
- fb6dadb Structural: move obligation IR into csdf/obligationir package
- 4e00f0a Docs: describe csdflivelockfree's proof-obligation IR output
- 5d3cd5f Structural: remove unused RenderLivelock witness renderer
- 41e7f4c Behavioral: csdflivelockfree emits the obligation IR and exits 0
- 416fbda Behavioral: add livelock proof-obligation IR builder
- a8dafd9 Structural: record source line numbers on Edge and StartEdge
v0.0.9
Changelog
- 6cc9e2a Merge pull request #17 from Kuniwak/csdfreplcmd-help
- fb0044d Delete USABILITY_PROBLEMS.md
- 2185bcb Behavioral: csdfreplcmd help shows the README headless-exploration overview
- 9eac36f Docs: record the csdfreplcmd usability findings and their resolutions
- fa3f3a2 Behavioral: show only the state display name, hiding the internal id
- 0dd9e4c Behavioral: give session list a header row and proper TSV encoding
- ae7abe6 Behavioral: give each subcommand a detailed -h with synopsis and example
- a691e21 Behavioral: unify command-group help and fix -h/help/unknown dispatch
- 040581e Behavioral: value prompt states the expected count and order
- 9beab55 Behavioral: report expected count and variable names on length mismatch
- b7b9bd2 Behavioral: surface deepest daemon error by default, full chain under -debug
- 98b079c Merge pull request #16 from Kuniwak/update-readme
- 2d0ae64 Remove unnecessary sections
- 85bb20a Behavioral: keep filename in file-read errors and drop package prefixes
- e4c1cd0 Behavioral: print deepest error by default, full chain under -debug
- b461baa Behavioral: accept common options on csdfreplcmd leaf commands
- 7be6252 Structural: add CommonOptions() accessor to tool options
- 691381e Structural: add tools.UserFacingError helper
- 090e8b8 Structural: make SolveJSON errors unwrap to prefix-free leaves
- 8bbba06 Structural: move cli.NewCommandFunc to tools.NewCommandFunc
v0.0.8
Changelog
- 5ca9efd Merge pull request #15 from Kuniwak/repld
- c94bf9e Structural: export the silent event as csdf.Tau
- 29e1249 Structural: register csdfrepld and csdfreplcmd in goreleaser and README
- 0a45bbd Behavioral: add csdfreplcmd client
- aabe839 Behavioral: add csdfrepld daemon and tools.ResolveSocketPath
- 40cee75 Behavioral: add csdf/animation/proto remote API
- 2fcf1d5 Structural: drive csdfrepl REPL through csdf/animation
- 2c01cf7 Structural: extract csdf/animation engine and renderers
- f8c31dc Structural: Add subcommand system
- 4d1b451 Merge pull request #14 from Kuniwak/livelockfree
- 1500bc1 Structural: register csdflivelockfree in goreleaser and README
- d81b705 Behavioral: implement csdflivelockfree verdict and witness output
- caf73e0 Structural: scaffold csdflivelockfree tool (options/version plumbing)
- 3f50028 Behavioral: add CheckLivelockFree τ-divergence checker to csdf
- d6d524a Merge pull request #13 from Kuniwak/pragma
- 09db6eb Fix ambiguous ignore_region grammar; pin first-match semantics
- 0b3ab33 Document CSDF-IGNORE regions in SYNTAX.md
- e54f58d Behavioral: add CSDF-IGNORE line-comment regions to parser
- 6875d4a Merge pull request #12 from Kuniwak/det
- 5fd6bac Remove unnecessary files
- 388662e Translate
- d614968 Fix notation
- f237c4f Wire csdfnorm into release build and document it
- 6f92bee Add csdfnorm command (behavioral)
- 6624038 Add csdf.Normalize: subset construction with tau-closure (behavioral)
- e1d946e Update
- 0a98563 Update
- e6126e8 Add REVIEW_COMMENT.md
- 8fea072 Add references
v0.0.7
Changelog
- da18dca Merge pull request #11 from Kuniwak/refactor
- 7cfd98b structural: wrap propagated errors with pkg.FuncName prefix
- 6570d2f structural: fix wrong function names in error wrap prefixes
- 1ed62f7 structual: Refactoring
- b635c93 Fix by human
- ef86229 structural: split cli stream adapters into NewStdinFromFile and StubStdin
- 5565ba2 structural: expose stdio descriptors via cli.Stdin/Stdout to drop *os.File downcasts
- 0d93370 structural: drop redundant Compose wrapper in favor of ComposeParallel
- 5cc79cf structural: merge core package into csdf
- 1f9299e behavioral: embed the release version via goreleaser ldflags
- e508fa6 behavioral: csdfparse accepts a file argument, '-', or stdin equivalently
- eb37c8e structural: extract CLI-independent CSDF logic into root csdf package
- 8998e77 Fix skill structure
- 69e4a9a structural: align meta files and README with go-cli-template
- 8d2fd4b behavioral: adopt cli pattern and common options for csdfrepl
- 4d4d8b9 structural: move csdfrepl logic into csdfreplcmd package
- 012aa57 behavioral: adopt cli pattern and common options for csdfparallel
- 7499381 behavioral: emit diagram states in deterministic ID order
- a25ff20 structural: move csdfparallel from root main.go into tools/csdfparallel
- 4d73c80 behavioral: adopt cli pattern and common options for csdfevents
- 48a18f5 structural: move csdfevents logic into csdfeventscmd package
- 1980188 behavioral: adopt cli pattern and common options for csdfparse
- 00f5d5f structural: move csdfparse logic into csdfparsecmd package
- ca1a379 structural: add cli/version/slograw/slogtest/commonopts scaffolding from go-cli-template
v0.0.6
Changelog
- 3375f4f Merge pull request #10 from Kuniwak/repl
- 1c5d815 Fix REPL cursor editing
- 469a665 Add spacing after REPL input
- bc92061 Refine csdfrepl display layout
- 50a26b5 Specify display spec
- 6b4602a Add title
- d4b1296 Cover REPL prompts in golden tests
- 64cd0e8 Add golden tests for csdfrepl displays
- e38c1ed Revert CSDFREPL.puml lang change
- 249279f Implement csdfrepl
- ee30021 Merge branch 'master' into repl
- 6fd6666 Add spec for csdfrepl
- 6e4ceda Merge pull request #9 from Kuniwak/feature/parse-relaxed-events
- f98eede Support relaxed event syntax
- 3fec336 Relax event syntax
- 55e62ea Merge pull request #8 from Kuniwak/relax-syntax
- 440c0b7 Support PlantUML comments and typed state variables
- b6f4e80 tmp
- 7e28fd2 Merge pull request #7 from Kuniwak/feature/csdfparse-json-output
- b839761 [BEHAVIORAL] Emit csdfparse output as JSON
- f1da1ce Merge pull request #6 from Kuniwak/feature/csdfparse-end-edge
- 0693278 [BEHAVIORAL] Print parsed end edges
- a95d294 [STRUCTURAL] Expose csdfparse runner
- 11c48c0 [BEHAVIORAL] Preserve end-edge semantics
- d8c2fdb [STRUCTURAL] Consolidate end-edge parser tests
- 51350e5 [BEHAVIORAL] Parse CSDF end edges
- 4946415 Hello, Coding Agents
- 6e12678 Merge pull request #4 from cc-kuniwak/refactor/rename-tools-to-csdf
- 940a995 [STRUCTURAL] Rename puml-* tools to csdf* to match what they parse
- 7f5b7f7 Merge pull request #3 from cc-kuniwak/fix/goreleaser-build-paths
- 4b52049 [BEHAVIORAL] Fix tool main.go paths in .goreleaser.yaml
- 45d951c [STRUCTURAL] Migrate .goreleaser.yaml archives to v2 syntax
- 7c8491e Merge pull request #2 from cc-kuniwak/feature/puml-parse-png
- 2e15d6b [STRUCTURAL] Promote InflateBounded to a public, parameterized utility
- ccf7d46 [STRUCTURAL] Expose PNGTextChunks iterator and reduce Extract to a wrapper
- e42833c [BEHAVIORAL] Read PlantUML source from PNG metadata in pngsrc.Extract
- 9f06dd2 [STRUCTURAL] Route input through pngsrc.Extract before parsing
- e5d84f2 Merge pull request #1 from cc-kuniwak/feature/puml-parse-help
- 5ebd2bc Add -h/--help flag support to puml-parse
v0.0.4
v0.0.3
v0.0.2
v0.0.1
Changelog
- 937d6e0 Tweak goreleaser
- e5b7760 Tweak goreleaser
- 2fe4f47 Tweak goreleaser
- 0dfecfa Tweak goreleaser
- 1cddecf Update goreleaser-action
- a4e8b52 Allow all tags
- ccf141e Automated Release
- 874ead5 Update
- fb39ac9 Make lint happy
- 9467743 Add tools/events
- 7ae6749 Make lint happy
- de23951 Add Limitations
- ef8f54e Add CI
- 1c59da1 Add more tests
- c7a685f Remove unncecessary files
- ee53398 Add tests
- 07387dd Move examples
- dddcb96 Remove EndEdges for consistency
- 0ccc404 Translate to English
- 6c930da Fix bugs
- fddb391 Fix bugs
- 938a6e9 Add examples
- 21d2888 tmp
- 46498f3 tmp
- 7266f3c Thank you, Claude Code
- d38f03a Make guards and postconditions optional
- c39ffd1 Update SYNTAX.md
- 4edac32 Update syntax
- 5eb7a91 Update configs for Claude Code
- 56e2a92 Update examples
- 9ab0835 Refactoring
- 7d3f0ad Refactoring
- cab7318 Thank you, Claude Code
- 4040041 Allow [*]
- fac5662 Hello, GoLand
- 3bf031c Allow multiple line (Claude Code)
- dbe3414 Update SYNTAX.md
- 4e515fc First implementation
- 95ebc86 Add examples
- 0db3096 Allow multiple line breaks
- b0d4ce4 Add documents
- e7a0084 Hello, World!