Skip to content

release Gdansk #27

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.

Sign up for GitHub

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

Jump to bottom
Merged
tomooda merged 116 commits into from
Dec 24, 2025
Merged

release Gdansk #27

tomooda merged 116 commits into from
Dec 24, 2025

Conversation

@tomooda
Copy link
Owner

@tomooda tomooda commented Dec 24, 2025

No description provided.

tomooda added 30 commits April 2, 2025 11:44
@tomooda
new nowhere
0d93d34
@tomooda
add profiler for operation calls and variable read/write accesses
4b7d2db
@tomooda
add exceptions for accessing act/rd/wr data in profiler
a305c37
@tomooda
add utility class method
c35ccf9
@tomooda
add default action to profiling exception
02224e6
@tomooda
add act expressions in unit testing
099d1a8
@tomooda
fix animation on refactoring browser
0700442
@tomooda
initialize before running a test
de9ae86
@tomooda
Merge pull request #23 from tomooda/main
57d4769 
merge from main
@tomooda
Merge pull request #24 from tomooda/main
4b35d9d 
fix animation on refactoring browser
@tomooda
add rd and wr in unit testing
aad1a8d
@tomooda
add git merge (wip)
85669a2
@tomooda
add changes merger UI (wip)
a8a050a
@tomooda
use ViennaVDMParser current instead of new
aff8701
@tomooda
implement change merger (wip)
dafd7c2
@tomooda
add git merge
cc76e0d
@tomooda
fix gitMerge
411b44e
@tomooda
add typecheck for pre_ and post_ functions
ee57612
@tomooda
fix typechecking pre_/post_ functions
776758c
@tomooda
add updating git page as background task
28e20b9
@tomooda
add mutation testing
2b81e41
@tomooda
revert typechecking
29b344d
@tomooda
add pre/post function handling
956935b
@tomooda
fix add-one mutation and negate mutation (avoid mutating left-hand side)
a9af7bd
@tomooda
refactor test drivers
ffa9a7f
@tomooda
add UI for mutation testing (wip)
cf62037
@tomooda
add mutation testing UI
a9d39e6
@tomooda
fix history expression profiler
06361f8
@tomooda
remove contextual closure from Hi-De-Ho UI
c6e4b77
@tomooda
add testModule/testTargetModule
ab4387e
tomooda added 28 commits September 6, 2025 14:39
@tomooda
minor fixes
fd30315
@tomooda
The source pane on the Refactoring Browser uses the font specified by…
ba16c1f 
… ViennaTalk's settings.
@tomooda
formatter does not emit extra emplty lines between top-level definitions
07a689a
@tomooda
add subexpression: to ViennaExpressionNode (wip)
3e51c25
@tomooda
fix LibGit handling of UTF-8 strings
f9d3387
@tomooda
progress isPureExpression/isTransparentExpression (wip)
f7f6be1
@tomooda
add purity checking and transparency checking
9440708
@tomooda
re-organize semantic error
5f28421
@tomooda
fix tests
c551be0
@tomooda
add semantic checking (transparency and purity) to the refactoring br…
1730883 
…owser
@tomooda
add assert and time label on execution traces (wip)
71b0c99
@tomooda
minor fixes
574ba0d
@tomooda
minor fix on git interface
af4603e
@tomooda
equivalence between execution trace events
ddfc450
@tomooda
equivalence between events
b85e499
@tomooda
add operation call/return equivalence and call tree equivalence
0008812
@tomooda
add save to csv to execution trace event viewer
89504c1
@tomooda
remove dependency to ZincHTTPComponents
e5c7562
@tomooda
add execution trace event recorder
db1ab76
@tomooda
minor fix
216f485
@tomooda
minor fix
96879cd
@tomooda
remove unnecessary menu items (sequence it and state it)
6e517f0
@tomooda
re-organize packages
7cc3887
@tomooda
Fix typo in package requirement from 'Vlaue' to 'Value'
6a724ab
@tomooda
resolve cyclic dependency
97fdb6c
@tomooda
resolve cyclic dependency between ViennaTalk-Browser-Core and ViennaT…
8b665c2 
…alk-Launcher-Core
@tomooda
Merge 8b665c2
cff7bc5
@tomooda
Delete repository/ViennaTalk-Transpiler-ExecutionTrace directory
90aab23
@tomooda tomooda merged commit 4682f74 into main Dec 24, 2025
2 checks passed
@tomooda tomooda deleted the pre branch December 24, 2025 05:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@tomooda