issues
search
SpriMoon
/
alloy4eclipse
Automatically exported from code.google.com/p/alloy4eclipse
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Not Intuitive Behavior: Run command don't react to saved changes.
#63
GoogleCodeExporter
opened
9 years ago
1
Use quick fix to improve Alloy 3 to Alloy 4 move
#62
GoogleCodeExporter
opened
9 years ago
4
Signature members are not available in code completion
#61
GoogleCodeExporter
closed
9 years ago
1
Cannot Load Alloy Wizard : Upon Creating New Alloy Project
#60
GoogleCodeExporter
closed
9 years ago
11
Improve syntax coloring
#59
GoogleCodeExporter
closed
9 years ago
2
Provide occurrence highlightning as in JDT
#58
GoogleCodeExporter
closed
9 years ago
1
Improve code completion proposals
#57
GoogleCodeExporter
closed
9 years ago
2
Process are not properly killed by Eclipse cancel action
#56
GoogleCodeExporter
closed
9 years ago
5
Support non-workspace *.als resources in IALSFile
#55
GoogleCodeExporter
closed
9 years ago
5
Added keyboard accelerator to A4E actions
#54
GoogleCodeExporter
closed
9 years ago
2
Get rid off DOT dependency?
#53
GoogleCodeExporter
closed
9 years ago
5
Graph-friendly instance navigation/query
#52
GoogleCodeExporter
opened
9 years ago
2
A4E & domain-specific property view
#51
GoogleCodeExporter
opened
9 years ago
2
A4E Property View
#50
GoogleCodeExporter
opened
9 years ago
2
Better Window management for VizView
#49
GoogleCodeExporter
opened
9 years ago
1
Uses Albireo project for AWT/SWT integration.
#48
GoogleCodeExporter
opened
9 years ago
1
Caret does not display properly in evaluator console
#47
GoogleCodeExporter
opened
9 years ago
1
A4E answer viewer needs to wait until A4 viz has actually displayed the graph before accessing it
#46
GoogleCodeExporter
opened
9 years ago
0
No access to solver MiniSat with UnSat Core via JNI.
#45
GoogleCodeExporter
closed
9 years ago
3
A4E not loaded
#44
GoogleCodeExporter
closed
9 years ago
2
Outline in Alloy Perspective not working
#43
GoogleCodeExporter
closed
9 years ago
5
Show by default A4 wizards in New contextual menu
#42
GoogleCodeExporter
opened
9 years ago
6
Error (NPE) occuring when creating a new file
#41
GoogleCodeExporter
closed
9 years ago
2
Update A4E with new private keyword available in A4 RC15
#40
GoogleCodeExporter
closed
9 years ago
5
Add browse buttons in preference page
#39
GoogleCodeExporter
closed
9 years ago
1
Allow dynamic code completion
#38
GoogleCodeExporter
closed
9 years ago
2
provide an evaluator for a given instance
#37
GoogleCodeExporter
closed
9 years ago
3
Add the possibility to go to next model
#36
GoogleCodeExporter
closed
9 years ago
4
Should we remove old viz panel when an assertion has no longer a counter example?
#35
GoogleCodeExporter
closed
9 years ago
5
Viz panel should show up when a command is launched.
#34
GoogleCodeExporter
closed
9 years ago
1
CTRL F11 not working is commands are launched from the outline view
#33
GoogleCodeExporter
closed
9 years ago
2
Allow browsing A4 sample models
#32
GoogleCodeExporter
closed
9 years ago
6
Alloy feedback in Console tab
#31
GoogleCodeExporter
closed
9 years ago
3
Make folders within Alloy Project to appear as Java package
#30
GoogleCodeExporter
opened
9 years ago
7
Add close all models view to Alloy Outline view
#29
GoogleCodeExporter
closed
9 years ago
5
A4E editor & jface interaction
#28
GoogleCodeExporter
closed
9 years ago
2
A4E 0.2.5 fails to show counter example
#27
GoogleCodeExporter
closed
9 years ago
3
A4E Execute All Commands
#26
GoogleCodeExporter
closed
9 years ago
1
A4E Show Metamodel
#25
GoogleCodeExporter
closed
9 years ago
2
Allow easy access to underlying A4 version
#24
GoogleCodeExporter
closed
9 years ago
7
Build an AST the Eclipse way for the Alloy language
#23
GoogleCodeExporter
closed
9 years ago
2
Alloy simple refactoring in the editor
#22
GoogleCodeExporter
closed
9 years ago
5
Allow code folding in Alloy editor
#21
GoogleCodeExporter
closed
9 years ago
2
A4 viz graph is "black" (win32 only)
#20
GoogleCodeExporter
closed
9 years ago
6
Add new actions to visualization menu
#19
GoogleCodeExporter
closed
9 years ago
2
Remove dependency to emf
#18
GoogleCodeExporter
closed
9 years ago
1
Applying a visualization theme
#17
GoogleCodeExporter
closed
9 years ago
13
Update to RC9 with unsat core feature
#16
GoogleCodeExporter
closed
9 years ago
6
Add an icon to Alloy 4 feature
#15
GoogleCodeExporter
closed
9 years ago
1
Alloy solutions to be visualized in an eclipse XML editor
#14
GoogleCodeExporter
opened
9 years ago
6
Previous
Next