issues
search
kris701
/
MARMA
MIT License
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Missing space in zenotravel
#192
jmdha
closed
11 months ago
0
Remade testing sets
#191
kris701
closed
11 months ago
0
Formalise the concept of a "weak" meta action
#190
kris701
closed
11 months ago
0
Handle invalid meta actions
#189
jmdha
closed
11 months ago
0
Graph updates and bug fixes
#188
kris701
closed
11 months ago
0
Precondition meta actions
#187
kris701
closed
11 months ago
0
Updated all training sets
#186
kris701
closed
11 months ago
0
Large Graphs update
#185
kris701
closed
11 months ago
0
feat: print individual domains
#184
jmdha
closed
11 months ago
0
Predicate meta action generation
#183
kris701
closed
11 months ago
0
Verification timeout
#182
kris701
closed
11 months ago
0
Added more domains
#181
kris701
closed
11 months ago
0
New meta actions by setting predicates to true/false
#180
jmdha
closed
11 months ago
0
Export number of macros found by iterative apporach
#179
jmdha
closed
11 months ago
0
Redefine what a valid meta replacement is
#178
jmdha
closed
11 months ago
1
Add number of generated macros, meta actoins, etc to report
#177
jmdha
closed
11 months ago
0
Figure out some way to represent the complexity of meta actions
#176
jmdha
closed
11 months ago
0
Table with used macros, total macros, unique macros
#175
jmdha
closed
11 months ago
0
Fix captions in report to something not placeholder
#174
jmdha
closed
11 months ago
0
Add timeout for meta action verification
#173
kris701
closed
11 months ago
0
Remove constants from objects in problem
#172
jmdha
closed
11 months ago
0
Add the name `meta_lifted_iterative` to the graph generation
#171
kris701
closed
11 months ago
1
Add units to graphs
#170
kris701
closed
11 months ago
0
New meta actions based on removing random preconditions in existing actions
#169
kris701
closed
11 months ago
0
Updated the graphs to handle the new format
#168
kris701
closed
11 months ago
0
Add operator count vs meta actions in plan graph
#167
jmdha
closed
11 months ago
0
Iterative cache
#166
jmdha
closed
11 months ago
0
Move to fully lifted representation and other stuff
#165
jmdha
closed
11 months ago
0
Invalid replacement on satellite
#164
jmdha
closed
11 months ago
2
Find more domains to run
#163
kris701
closed
11 months ago
0
Generate manual meta actions
#162
kris701
closed
11 months ago
0
Make the scatterplots use shapes as well as colors
#161
kris701
closed
11 months ago
0
Even more graphs
#160
kris701
closed
11 months ago
0
Make graphs for new fields
#159
kris701
closed
11 months ago
0
Stats
#158
jmdha
closed
11 months ago
0
Cleanups
#157
kris701
closed
12 months ago
0
More testing sets
#156
kris701
closed
12 months ago
0
Check whether an unsolved problem is caused by an unreplaceable meta action
#155
jmdha
closed
11 months ago
0
Limit candidates
#154
jmdha
closed
12 months ago
0
Formalise the reconstruction method
#153
kris701
closed
12 months ago
0
Remake testing sets without the usefulness check
#152
kris701
closed
12 months ago
0
Add reconstruction time to cluster output
#151
jmdha
closed
11 months ago
0
Updated graphs
#150
kris701
closed
12 months ago
0
feat: adds handling of constants
#149
jmdha
closed
12 months ago
0
Add replacements found by fast downward to cache
#148
jmdha
closed
11 months ago
0
Added a simple IPC score graph (maybe we will make more with this later)
#147
kris701
closed
12 months ago
0
IPC Score graphs
#146
kris701
closed
12 months ago
0
Updated graphs
#145
kris701
closed
12 months ago
0
Check which replacements are used, then remove those that are not
#144
jmdha
closed
12 months ago
0
Remove noise from cluster results
#143
jmdha
closed
12 months ago
0
Previous
Next