1
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 18 hours ago.
Jun 10, 2024 — Jun 10, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Revert CPD to v3.4 due to WSL compatibility More... 9 months ago
Add select(ref, ...) function More... 9 months ago
Merge pull request #1640 from danilovesky/gradle-v8.10 More... 9 months ago
Update Rhino v1.7.15 More... 9 months ago
Update CheckStyle v10.18.1, CDP v.3.4, JUnit v5.11 More... 9 months ago
Update to Gradle v8.10 More... 9 months ago
Merge pull request #1639 from danilovesky/optimise-workspace-window More... 9 months ago
Configurable auto-expansion of Workspace tree More... 9 months ago
Merge pull request #1637 from danilovesky/transform-mutex-protocol More... 10 months ago
Update version to v3.5.1 More... 10 months ago
Add commands for transforming mutex protocol More... 10 months ago
Add JavaScript wrapper for node selection More... 10 months ago
Add method for getting VisualComponent by math reference More... 10 months ago
Merge pull request #1635 from danilovesky/fix-bounding-box More... 10 months ago
Improve positioning when squashing circuit component More... 10 months ago
Refactor scale calculation into a separate method More... 10 months ago
Fix bounding box calc for empty label More... 10 months ago
Merge pull request #1632 from danilovesky/fix-gate-split More... 10 months ago
Correct gate splitting with proxy contacts More... 10 months ago
Merge pull request #1630 from danilovesky/add-set-utils More... 10 months ago
Improve base dialog for textual list selection More... 10 months ago
Improve visual node selection by math reference More... 10 months ago
Add set difference function More... 10 months ago
Merge pull request #1627 from IgorWiecz/master More... 10 months ago
more naming change to be consistent More... 10 months ago
Iterator used in EdgeCliqueCover utils More... 11 months ago
unused import and trailing spaces removed More... 11 months ago
typos fixed More... 11 months ago
styling More... 11 months ago
Final touches: TODO's added, messages logged More... 11 months ago