issues
search
gts-morpher
/
gts_morpher
Tool for building GTS Morphisms and Amalgamations
MIT License
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fixed use of Pair
#55
szschaler
closed
1 year ago
0
Upgrade to latest henshin
#54
szschaler
closed
1 year ago
0
Model casts
#53
szschaler
opened
3 years ago
0
xDSML keyword
#52
szschaler
closed
3 years ago
0
Add xDSML keyword
#51
szschaler
closed
3 years ago
0
Restoring the quickfix code
#50
szschaler
closed
3 years ago
0
Make generation of auto-completions cancelable
#49
szschaler
opened
3 years ago
0
Use more efficient search-based approach for auto-completion
#48
szschaler
opened
4 years ago
0
Export amalgamation-completing morphisms
#47
szschaler
opened
4 years ago
1
Auto-completions no longer generated automatically
#46
szschaler
closed
4 years ago
0
Shifting of application conditions
#45
szschaler
opened
4 years ago
1
Revert "Shifting of application conditions"
#44
szschaler
closed
4 years ago
0
Shifting of application conditions
#43
szschaler
closed
4 years ago
1
Fix unique naming to really be unique
#42
szschaler
closed
4 years ago
2
Improve caching by replacing use of Pair throughout
#41
szschaler
closed
1 year ago
0
Explain that and how attributes and slots can be mapped
#40
szschaler
closed
4 years ago
2
Exceptions because of cyclic dependencies
#39
narudocap
opened
4 years ago
1
Attributes
#38
narudocap
closed
4 years ago
6
Sanity check @Interface annotations
#37
szschaler
opened
4 years ago
2
Rule-parameter mappings
#36
szschaler
closed
4 years ago
5
Fix converter kernel handling
#35
szschaler
closed
4 years ago
0
Save generation results even if there are warnings
#34
szschaler
closed
4 years ago
0
Auto-complete warning should not prevent weaving
#33
szschaler
closed
4 years ago
0
virtual identities
#32
narudocap
closed
4 years ago
10
Ensure names are unique
#31
szschaler
closed
4 years ago
2
unit amalgamation
#30
narudocap
opened
4 years ago
1
link deletion
#29
narudocap
closed
4 years ago
2
Unresolved name clash
#28
narudocap
closed
4 years ago
1
repeated ids
#27
narudocap
closed
4 years ago
5
rules mapped to multiple rules that get joined
#26
narudocap
opened
4 years ago
1
Fix handling of unnamed nodes
#25
szschaler
closed
4 years ago
0
Ensure no exceptions if rule elements are unnamed
#24
szschaler
closed
4 years ago
0
exception when using dontLabelNonKernelElements
#23
narudocap
closed
4 years ago
1
Weaving needs to create variables that are needed
#22
szschaler
closed
4 years ago
2
Fix extraction of rule kernels
#21
szschaler
closed
4 years ago
1
Explicitly mark up return type
#20
szschaler
closed
4 years ago
0
Ensure documentation is up-to-date
#19
szschaler
opened
5 years ago
0
Create update site
#18
szschaler
opened
5 years ago
0
Set up proper CI/CD
#17
szschaler
opened
5 years ago
0
Added license
#16
szschaler
closed
5 years ago
0
Enable inclusion-morphism auto-completion
#15
szschaler
closed
5 years ago
0
Support auto-completion of inclusions
#14
szschaler
closed
5 years ago
0
Full weaving support
#13
szschaler
closed
5 years ago
1
Support for fully flexible GTS amalgamations
#12
szschaler
closed
5 years ago
1
Refactor/rename system
#11
szschaler
closed
5 years ago
0
Consider switching to Xsemantics
#10
szschaler
opened
5 years ago
0
Rename project to reflect broader scope
#9
szschaler
closed
5 years ago
0
KAMP case study
#8
szschaler
opened
5 years ago
0
Quick fix for auto-completion doesn't seem to change the code at the moment
#7
szschaler
closed
3 years ago
0
Add suport for search-based completions of GTS family choices
#6
szschaler
opened
5 years ago
0
Next