google-code-export alloy4eclipse issues

google-code-export / 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

Eclipse freezes on opening the Graphical View

#113 GoogleCodeExporter opened 9 years ago
4
Add search for references feature

#112 GoogleCodeExporter closed 9 years ago
1
Put "javadoc" comment in hover instead of basic EObject type

#111 GoogleCodeExporter closed 9 years ago
1
Allow an optional "exactly" when creating run and check commands

#110 GoogleCodeExporter opened 9 years ago
0
A4E for Eclipse Modeling Indigo (from marketplace)

#109 GoogleCodeExporter opened 9 years ago
9
Declaration of attributes in a signature not linked if followed by ,

#108 GoogleCodeExporter opened 9 years ago
3
Content assist icons should be similar to outline view ones

#107 GoogleCodeExporter closed 9 years ago
2
A4E wiki should include a step by step tutorial (file system for instance) to demo 0.3.0 functionalities

#106 GoogleCodeExporter closed 9 years ago
2
Should be able to include util/integer in Xtext path without using an open statement in the model

#105 GoogleCodeExporter closed 9 years ago
2
Lost branding when moving to 0.2.X to 0.3.X

#104 GoogleCodeExporter closed 9 years ago
2
Nice new feature request: automatic command generation on predicates and assertions

#103 GoogleCodeExporter closed 9 years ago
2
content assist provides more than predicate names for autocompletion

#102 GoogleCodeExporter closed 9 years ago
1
Associate run as Alloy Specification with a command

#101 GoogleCodeExporter opened 9 years ago
1
Find a way to include sat4j when running the solver on a new JVM

#100 GoogleCodeExporter closed 9 years ago
2
Cleanup old code import for 0.2.X release no longer needed in 0.3.X release

#99 GoogleCodeExporter opened 9 years ago
0
runa and check commands not seen as "launch command" in 0.3.0 release

#98 GoogleCodeExporter closed 9 years ago
1
Add a run overlay on run and check commands

#97 GoogleCodeExporter closed 9 years ago
1
run and check commands in outline view should appear more precisely

#96 GoogleCodeExporter closed 9 years ago
1
Should share models library accross projects

#95 GoogleCodeExporter closed 9 years ago
7
Can only execute commands when predicate or assertion name is selected in the editor

#94 GoogleCodeExporter closed 9 years ago
1
Alloy 4 Xtext has two preference page: we need to merge them

#93 GoogleCodeExporter closed 9 years ago
4
Error message displayed when creating a new Alloy Project

#92 GoogleCodeExporter closed 9 years ago
3
Semantical errors (Xtext errors) do not appear when loading a file

#91 GoogleCodeExporter closed 9 years ago
3
Outline icons do not appear in A4E release

#90 GoogleCodeExporter closed 9 years ago
2
let statement are not navigable

#89 GoogleCodeExporter closed 9 years ago
1
Use simple click to navigate through the source code using the outline view

#88 GoogleCodeExporter closed 9 years ago
1
Uses the version of SAT4J that ships with Eclipse instead of the one that ships with A4

#87 GoogleCodeExporter closed 9 years ago
2
Evaluator no longer works

#86 GoogleCodeExporter closed 9 years ago
6
NPE when opening a text file without extension

#85 GoogleCodeExporter closed 9 years ago
2
A4Solution ans is null when answer is unsat

#84 GoogleCodeExporter opened 9 years ago
2
[deleted issue]

#83 GoogleCodeExporter closed 9 years ago
0
Allow hyperlink navigation in editor

#82 GoogleCodeExporter closed 9 years ago
1
Update A4E to run with A4 from MIT's SVN repository

#81 GoogleCodeExporter closed 9 years ago
6
Provide an option to sort the outline view alphabetically

#80 GoogleCodeExporter closed 9 years ago
1
Another SWT/AWT problem under Linux GTK2?

#79 GoogleCodeExporter opened 9 years ago
4
Problems with A4's WorkerEngine with A4E installed in eclipse ganymede SR1

#78 GoogleCodeExporter closed 9 years ago
8
Missing plugin.properties

#77 GoogleCodeExporter closed 9 years ago
3
Next solution does not work any longer

#76 GoogleCodeExporter opened 9 years ago
4
Provide sources for alloy4.jar in fr.univartois.cril.alloyplugin.launch

#75 GoogleCodeExporter closed 9 years ago
1
Resuming the computer from sleep can induce NPE in A4E Visualization windows

#74 GoogleCodeExporter closed 9 years ago
3
Implement subJVM run of KK and SAT solving.

#73 GoogleCodeExporter closed 9 years ago
2
Evaluator console cannot be cancelled

#72 GoogleCodeExporter opened 9 years ago
0
Allow command history in evaluator

#71 GoogleCodeExporter opened 9 years ago
0
Preferences with path must be improved

#70 GoogleCodeExporter closed 9 years ago
1
Evaluator does not show up if the graph view is maximized

#69 GoogleCodeExporter opened 9 years ago
0
Alloy evaluator not properly updated when rerunning a command

#68 GoogleCodeExporter closed 9 years ago
1
Set "Show example or counter example" by default

#67 GoogleCodeExporter closed 9 years ago
1
Allow power user to have access to temporary generated files

#66 GoogleCodeExporter opened 9 years ago
1
A4E 4.1.9 doesn't have the sources of A4.jar

#65 GoogleCodeExporter opened 9 years ago
4
"Due to your theme settings, every atom is hidden" message does not give enough info.

#64 GoogleCodeExporter closed 9 years ago
2