wwu-pi muggl issues - Githubissues

wwu-pi / muggl

A Symbolic ATCG

GNU General Public License v3.0

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

MacOS Compat

#46 vvhof closed 7 years ago
0
Feature/ci integration

#45 vvhof closed 7 years ago
1
Travis builds are slow

#44 vvhof closed 7 years ago
2
Some general execution fixes

#43 Dagefoerde closed 8 years ago
0
Attempt at opening up integer instructions to other types

#42 Dagefoerde closed 7 years ago
3
Normal Execution: does not correctly handle boolean

#41 kralo closed 7 years ago
1
java.lang.IllegalStateException in getSavedProperty when java.lang.System*props is empty

#40 kralo closed 7 years ago
2
fix ACC_ABSTRACT in classfiles >= 52. Closes wwu-pi/muggl#35

#39 kralo closed 8 years ago
0
Add JUnit support

#38 Dagefoerde closed 8 years ago
0
executing instruction invokeinterface fails with java.lang.IncompatibleClassChangeError

#37 kralo closed 7 years ago
0
Loading a Local Variable of Type Double

#36 anfuchs opened 8 years ago
1
Default Interface Methods in Java 8

#35 anfuchs closed 8 years ago
0
Long Variable in Method Argument not supported via JaCoP Solver

#34 anfuchs opened 8 years ago
0
Adjusts StringCache class to support String class of Java SE 8

#33 Dagefoerde closed 8 years ago
0
Bcel

#32 vvhof closed 8 years ago
0
Merge: If single class (not jar), check for empty path name.

#31 anfuchs closed 8 years ago
0
If single class (not jar), check for empty path name.

#30 anfuchs closed 8 years ago
0
OhMaMerge

#29 vvhof closed 8 years ago
0
Unit Tests for MUGGL

#28 vvhof closed 7 years ago
1
Config Files Shenanigans

#27 vvhof opened 8 years ago
1
Improve treatment of java archives

#26 Dagefoerde closed 8 years ago
0
Classes that are at the root of a jar file cannot be found in the UI

#25 Dagefoerde closed 8 years ago
0
Remove SWT dependency from muggl-common project

#24 vvhof opened 8 years ago
1
Incomplete covered control graphs

#23 anfuchs opened 9 years ago
1
EAR support

#22 vvhof closed 8 years ago
2
Integrate the results of the master's thesis into Muggl

#21 Dagefoerde closed 8 years ago
2
Missing Objectref during DU chain generation

#20 Dagefoerde opened 9 years ago
0
Symbolic execution of a Tableswitch constraint creates invalid constraints

#19 Dagefoerde closed 8 years ago
0
Method parameter indexing has problems with `double` parameters

#18 Dagefoerde closed 8 years ago
1
Refactoring muggl

#17 Dagefoerde closed 9 years ago
0
Moved non-ui classes into core

#16 Dagefoerde closed 9 years ago
0
Two Projects instead one

#15 vvhof closed 9 years ago
0
Crash

#14 vvhof closed 7 years ago
0
Flow Coverage: Too many test cases.

#13 vvhof opened 9 years ago
1
Add additional Termination Criteria

#12 vvhof opened 9 years ago
1
Test case portfolio does not cover the DU Chains

#11 vvhof opened 9 years ago
0
Not using all DU Chains

#10 vvhof opened 9 years ago
0
classpath missing from 'Options' (class)

#9 HerbertKuchen opened 9 years ago
0
[windows] "open test case file" - does not open test case file

#8 vvhof opened 9 years ago
1
[windows] ui start with wrong directory

#7 vvhof opened 9 years ago
0
Uninitialized array positions

#6 manuelmontenegro opened 10 years ago
0
Failing test case generated when swapping the elements of an array

#5 manuelmontenegro opened 10 years ago
1
ClassCastException when receiving int instead of Integer

#4 manuelmontenegro opened 10 years ago
0
ArrayStoreException generated for println

#3 vvhof closed 7 years ago
4
Empty stack error

#2 RafaelCaballero opened 10 years ago
0
Only static methods seem to work

#1 RafaelCaballero closed 10 years ago
1