issues
search
SDARG
/
opendse
Design Space Exploration
https://sdarg.github.io/opendse/
MIT License
12
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update Java 21 branch with deploy action
#42
michaelhglass
closed
6 months ago
0
Version Bump to Java 21 LTS
#41
lukasPfeifer
opened
6 months ago
0
Running OpenDSE Tutorial Code
#40
alxhoff
closed
2 years ago
2
provide Jacoco test report as .csv
#39
michaelhglass
closed
2 years ago
2
changed protected static methods in Common class
#38
michaelhglass
closed
2 years ago
9
Protected methods in net.sf.opendse.io.Common
#37
michaelhglass
closed
3 months ago
3
Fix for the spec reader bug which leads to errors when switching the specification.
#36
FedorSmirnov89
closed
3 years ago
0
Class file version error in DSE with SpecificationReader
#35
vrichthammer
opened
3 years ago
3
FileNotFoundException on SpecificationWriter
#34
raphaelstraub
opened
3 years ago
0
Missing optimizationfile
#33
raphaelstraub
opened
3 years ago
0
Semantic versioning (SemVer 2.0.0)
#32
michaelhglass
opened
3 years ago
0
Enable adding generic Creator-Decoder Pairs into Optimization
#31
FedorSmirnov89
opened
3 years ago
0
Feature/#29 website and deployment
#30
michaelhglass
closed
3 years ago
0
Rework website and deploy via GitHub Action
#29
michaelhglass
closed
3 years ago
0
Update README.md
#28
michaelhglass
closed
3 years ago
0
Feature/#26 ci upgrade
#27
FedorSmirnov89
closed
3 years ago
0
CI Upgrade
#26
FedorSmirnov89
closed
3 years ago
0
Opendse Optimization as a library
#25
DonjetaE
closed
3 years ago
1
Question about the operators used in the optimization in opendse
#24
Inesbenhmida
closed
4 years ago
0
compatibility of opendse with RedHat
#23
Inesbenhmida
closed
5 years ago
2
Check that opendse is compatible with Opt4J 3.2 and update the dependencies.
#22
FedorSmirnov89
closed
3 years ago
0
Refactor routing graph
#21
felixreimann
opened
5 years ago
0
implemented a parent-child relation between spec and impl
#20
FedorSmirnov89
opened
5 years ago
0
Fixed JavaDoc warnings
#19
michaelhglass
closed
5 years ago
0
Javadoc warnings across project
#18
michaelhglass
closed
5 years ago
1
Specification Writer Error with Parameters
#17
FedorSmirnov89
opened
5 years ago
6
SpecificationWriterAnonymized to export an anonymized Specification
#16
vrichthammer
closed
3 years ago
1
Gradle build error
#15
alxhoff
opened
5 years ago
2
Modular encoding wi p
#14
FedorSmirnov89
opened
5 years ago
0
opendse-manycore integration
#13
vrichthammer
closed
5 years ago
1
Changed the creation of the bounds for the SAT Variable activity
#12
FedorSmirnov89
closed
5 years ago
0
fixed parameter in call of order.indexOf() in SATCreatorDecoder.randomize()
#11
vrichthammer
closed
6 years ago
0
VariableClassOrder-Bug in SATCreatorDecoder
#10
vrichthammer
closed
6 years ago
0
Enable integration as gradle subproject
#9
JoachimFalk
closed
5 years ago
1
Created a new module intended specifically for the classes dealing wi…
#8
FedorSmirnov89
closed
5 years ago
0
Tgff import
#7
vrichthammer
closed
6 years ago
2
Task Graphs For Free (TGFF) import for application graphs
#6
vrichthammer
closed
6 years ago
3
Implemented a modular implementation encoding in a new subproject
#5
FedorSmirnov89
closed
5 years ago
2
The 'jacocoRootReport' gradle task is failing
#4
FedorSmirnov89
closed
3 years ago
0
set opt4j dependency to the git repository
#3
FedorSmirnov89
closed
6 years ago
0
Adjustment of Stagnation Restart
#2
FedorSmirnov89
closed
6 years ago
1
Build gradle task fails
#1
FedorSmirnov89
closed
6 years ago
1