issues
search
BoiseState-AdaptLab
/
IEGenLib
Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update CMakeLists.txt
#176
AaronStGeorge
closed
1 year ago
0
Added supports for printing out zeros in prettyPrintString
#175
tpops
closed
1 year ago
0
Added Support for codegeneration involving uninterpreted function with no tuple variables
#174
tpops
closed
1 year ago
0
Ssa schedule tree
#173
kalyanbhetwal
closed
1 year ago
0
update skeleton
#172
kalyanbhetwal
closed
1 year ago
0
Dev subset
#171
tpops
closed
1 year ago
0
Static SSA new approach
#170
kalyanbhetwal
opened
1 year ago
0
Expanding Transitive Closure Involving Constraints on Sets and Relations
#169
tpops
opened
2 years ago
1
Remove delimiters in string outputting methods
#168
riftEmber
opened
2 years ago
1
Add get symbol iterator to relation
#167
kalyanbhetwal
closed
2 years ago
3
Exclude constant return values from active out, add active out test
#166
riftEmber
closed
2 years ago
0
Active out values includes constant return values
#165
riftEmber
closed
2 years ago
0
Array access SSA phi node missing
#164
brandonneth
opened
2 years ago
0
ComputationTest.ConvertToOmega Unittest bug
#163
kalyanbhetwal
opened
2 years ago
2
Stmt macro definitions do not work properly
#162
riftEmber
opened
2 years ago
1
Function that creates a relation object to permute tuple variables ahead of codegen
#161
cathieO
opened
2 years ago
0
Updates To Union Operator in IEGenLib
#160
tpops
opened
2 years ago
1
update Relation::Intersect for relations with different output arities
#159
cathieO
opened
2 years ago
1
add getSymbolIterator() to Relation
#158
cathieO
closed
2 years ago
2
Get SolveForFactor to also work for Inequalities
#157
tpops
opened
2 years ago
0
IEGenLib CodeGen Bug
#156
tpops
opened
2 years ago
2
Make test does not compile
#155
Aaron3154518
opened
2 years ago
0
Fix Execution Schedules for Dynamically-added statements
#154
Aaron3154518
opened
2 years ago
0
Handling array declarations
#153
Aaron3154518
opened
2 years ago
0
Array unrolling/rerolling
#152
Aaron3154518
opened
2 years ago
1
Remove "&" from memory management string.
#151
Aaron3154518
opened
2 years ago
0
Change color of active out parameter
#150
Aaron3154518
opened
2 years ago
0
Store PC reduction information
#149
Aaron3154518
opened
2 years ago
0
Remove non-looplevel statements
#148
Aaron3154518
opened
2 years ago
1
Add delimiters around data spaces incoming automatically
#147
riftEmber
opened
2 years ago
2
reduce PC nodes has dangling nodes
#146
Aaron3154518
opened
2 years ago
1
Rename iteration space/execution schedule when renaming statement reads
#145
Aaron3154518
opened
2 years ago
0
Handling Structs, Classes, and User Defined Types
#144
macdonaldlowe
opened
2 years ago
0
Improve Stmt and Computation == operators
#143
riftEmber
closed
2 years ago
3
-reduce Command prompt produces a segmentation fault
#142
macdonaldlowe
opened
2 years ago
1
Limit Producer-Consumer Fusion
#141
Aaron3154518
opened
2 years ago
0
Delete Dead Statements
#140
tpops
opened
2 years ago
10
Build test for miniFluxDiv Representation
#139
macdonaldlowe
opened
2 years ago
0
Add Parameters for mini_flux_div_explain function to Computation
#138
macdonaldlowe
opened
2 years ago
1
Represent Lines 193-199 of 'miniFluxdiv-explain-serial.cpp' in SPF
#137
macdonaldlowe
opened
2 years ago
0
Represent 'mini_flux_div_explain' in the SPF
#136
macdonaldlowe
opened
2 years ago
0
Array types
#135
Aaron3154518
opened
2 years ago
2
Data spaces in iteration spaces
#134
Aaron3154518
opened
2 years ago
1
Change to Left-Right orientation
#133
Aaron3154518
opened
2 years ago
1
Dot legend
#132
Aaron3154518
opened
2 years ago
2
Parameters get written to
#131
Aaron3154518
opened
2 years ago
2
Legend for dot graphs
#130
Aaron3154518
opened
2 years ago
0
Multiple array writes
#129
Aaron3154518
opened
2 years ago
0
Debug dot nodes with no reads and/or writes
#128
Aaron3154518
opened
2 years ago
0
Handle control flow on dot graphs. - Phi Nodes
#127
Aaron3154518
opened
2 years ago
7
Next