projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Adding timeout for Alloy interpreter
[satune.git]
/
src
/
ASTTransform
/
2018-12-17
Hamed Gorjiara
Edit
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Preprocess bug fix
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-12-06
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-12-06
Hamed Gorjiara
Preprocessing check
tree
|
commitdiff
2018-12-04
bdemsky
Fix knob to only ask it we will actually use knob
tree
|
commitdiff
2018-10-13
bdemsky
fix tabbing
tree
|
commitdiff
2018-10-13
Hamed Gorjiara
Boolean Variable Ordering optimizations
tree
|
commitdiff
2018-09-21
bdemsky
Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-09-20
bdemsky
bug fix
tree
|
commitdiff
2018-08-27
Hamed Gorjiara
after merge (mostly tabbing issues)
tree
|
commitdiff
2018-08-17
bdemsky
Fix tabbing
tree
|
commitdiff
2018-08-17
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-17
Hamed Gorjiara
Saving the best tuner settings + bug fixes
tree
|
commitdiff
2018-08-05
Hamed Gorjiara
Bug fix
tree
|
commitdiff
2018-07-24
Brian Demsky
fix sigs
tree
|
commitdiff
2018-07-24
bdemsky
edits
tree
|
commitdiff
2018-07-24
bdemsky
more code
tree
|
commitdiff
2018-07-23
bdemsky
remove redundant domains
tree
|
commitdiff
2018-07-23
bdemsky
add new class
tree
|
commitdiff
2018-07-20
bdemsky
bug fixes
tree
|
commitdiff
2018-01-23
Hamed Gorjiara
Resolving conflicts after merging with altgen
tree
|
commitdiff
2018-01-14
bdemsky
Edits
tree
|
commitdiff
2018-01-09
Hamed Gorjiara
commit after merge
tree
|
commitdiff
2018-01-05
Brian Demsky
Bug fixes
tree
|
commitdiff
2017-12-31
Brian Demsky
bug fixes
tree
|
commitdiff
2017-11-22
Hamed Gorjiara
Fixing the performance bug
tree
|
commitdiff
2017-10-24
bdemsky
Switch default
tree
|
commitdiff
2017-10-23
Hamed Gorjiara
After resolving conflicts ..
tree
|
commitdiff
2017-10-23
Hamed Gorjiara
After resolving conflicts
tree
|
commitdiff
2017-10-22
bdemsky
Remove print line
tree
|
commitdiff
2017-10-22
bdemsky
Bug fixes
tree
|
commitdiff
2017-10-22
bdemsky
More edits
tree
|
commitdiff
2017-10-22
bdemsky
tabbing
tree
|
commitdiff
2017-10-22
bdemsky
New Resolver Design for Decompose Order
tree
|
commitdiff
2017-10-21
bdemsky
New Resolver Strategy
tree
|
commitdiff
2017-10-21
bdemsky
edits
tree
|
commitdiff
2017-10-21
bdemsky
Fix bug regarding order translation for removed nodes
tree
|
commitdiff
2017-10-19
bdemsky
Bug fix for removing must edges...They also need to...
tree
|
commitdiff
2017-10-18
bdemsky
Fix tabbing
tree
|
commitdiff
2017-09-08
Hamed
Merging with branch master
tree
|
commitdiff
2017-09-08
bdemsky
Finish iterator class
tree
|
commitdiff
2017-09-08
bdemsky
Simplify Code
tree
|
commitdiff
2017-09-06
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-09-06
bdemsky
Improve propagation and add preprocessor pass
tree
|
commitdiff
2017-09-05
bdemsky
Revert patch to hide symptom of previous bugs
tree
|
commitdiff
2017-09-05
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-09-05
bdemsky
Tons of bugs
tree
|
commitdiff
2017-09-04
Hamed
Edit
tree
|
commitdiff
2017-09-04
Hamed
Fixing integerencoding memory leaks ...
tree
|
commitdiff
2017-09-04
Hamed
Fixing more bugs
tree
|
commitdiff
2017-09-04
bdemsky
Bug Fix
tree
|
commitdiff
2017-09-03
bdemsky
Compiles
tree
|
commitdiff
2017-09-02
bdemsky
Make integerencoding a completely separate pass......
tree
|
commitdiff
2017-09-02
bdemsky
Restructure transforms a little and run make tabbing
tree
|
commitdiff
2017-09-02
Hamed
Adding IntegerEncodingResolver ...
tree
|
commitdiff
2017-09-01
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-09-01
Hamed
Adding DecomposeOrderResolver
tree
|
commitdiff
2017-09-01
bdemsky
Bug fix
tree
|
commitdiff
2017-09-01
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-09-01
bdemsky
Fix mistakenly renamed enum element
tree
|
commitdiff
2017-08-31
Brian Demsky
Bug fixes
tree
|
commitdiff
2017-08-31
Hamed
Adding decomposeOrderTransform to transformer
tree
|
commitdiff
2017-08-31
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-08-31
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-08-31
Hamed
Merging with branch Master
tree
|
commitdiff
2017-08-31
Hamed
Fixing bug ..
tree
|
commitdiff
2017-08-31
Hamed
Adding Transformer and adding integerencoding to it...
tree
|
commitdiff
2017-08-31
bdemsky
Fix name collisions
tree
|
commitdiff
2017-08-30
bdemsky
Change dependences
tree
|
commitdiff
2017-08-30
Brian Demsky
renaming
tree
|
commitdiff
2017-08-30
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-08-30
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-08-30
Hamed
Adding support for mutableset in backend + OO-style Set
tree
|
commitdiff
2017-08-29
Hamed
Omitting tunable parameters from Transform's constructors
tree
|
commitdiff
2017-08-29
Hamed
Merging with branch master and fixing bugs
tree
|
commitdiff
2017-08-29
Hamed
Edit
tree
|
commitdiff
2017-08-29
Hamed
Fixing bugs
tree
|
commitdiff
2017-08-29
Hamed
OOP representation of Transforms
tree
|
commitdiff
2017-08-28
Brian Demsky
Bug fixes
tree
|
commitdiff
2017-08-28
bdemsky
Class renaming
tree
|
commitdiff
2017-08-28
bdemsky
edits
tree
|
commitdiff
2017-08-27
Hamed
Adding Transform object ... applying Brian's comments
tree
|
commitdiff
2017-08-27
bdemsky
Run tabbing pass
tree
|
commitdiff
2017-08-27
bdemsky
Try to fix encapsulation
tree
|
commitdiff
2017-08-26
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-08-26
bdemsky
Fully convert ordergraph to objects
tree
|
commitdiff
2017-08-26
bdemsky
More conversion to classes
tree
|
commitdiff
2017-08-26
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-08-26
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-08-26
Hamed
Fixing the Integer encoding ...
tree
|
commitdiff
2017-08-26
Hamed
Adding back the IntegerEncoding ...
tree
|
commitdiff
2017-08-25
Hamed
Merge with branch master ...
tree
|
commitdiff
2017-08-25
bdemsky
Fix bug
tree
|
commitdiff
2017-08-25
bdemsky
Reorg code
tree
|
commitdiff
2017-08-25
bdemsky
Reorg code
tree
|
commitdiff
2017-08-25
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-08-25
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-08-25
Hamed
replacing booleanOrder with booleanPredicate in Integer...
tree
|
commitdiff
2017-08-25
Hamed
Adding ASTTransform ...
tree
|
commitdiff