repo.or.cz
/
PathExplorer.git
/
log
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
shortlog
|
fulllog
|
first
·
prev
·
next
PathExplorer.git
2014-01-28
Ta Thanh D
i
n
h
Still cannot know why it does not work
master
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-27
Ta Thanh D
i
n
h
Note that REP instructions are also branches.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-27
Ta Th
a
nh Dinh
instrumen WSA functions
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-26
Ta
T
h
a
n
h Dinh
instrument socket functions
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-26
T
a Thanh Dinh
instrument recv and recvfrom (what about WSA ??)
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-26
Ta Thanh Dinh
instrument winsock functions
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-25
Ta Thanh
D
inh
Windows version
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-25
Ta
T
hanh Din
h
Find ideal checkpoints
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-21
Ta Tha
n
h Din
h
Find ideal checkpoints
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
Ta Thanh Din
h
implement determine_jumping_bridges
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
Ta Thanh D
i
nh
bridges detection
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
Ta
T
h
a
nh D
i
nh
using bridges (more flexible for fast_execution)
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
Ta Thanh Dinh
move_forward explanation
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
T
a
T
h
a
nh Dinh
move_forward explanation
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-13
T
a
Tha
n
h Dinh
move_forward explanation
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
T
a Thanh Dinh
maybe move_forward is a dual of move_backward
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
Ta Than
h
D
in
h
the combined (move + modify/restore) functions are...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
T
a
Thanh
Dinh
using debug_enabled flag to separate debugged running...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
T
a
T
hanh Din
h
set_first_focused_cbranch_execorder semantics
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
Ta Thanh
D
i
nh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
Ta Thanh Din
h
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
T
a T
h
anh
Dinh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-12
Ta Thanh Dinh
Using functional approach for cbranch_instruction_callb...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-11
Ta T
h
a
n
h
Dinh
focused_oldtaken_branch_handler semantics
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-11
Ta Tha
n
h Dinh
modify indirectBrOrCall_instruction_callback semantics.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-11
Ta Thanh Dinh
focused_oldtaken_branch_handler semantics
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
Ta
T
hanh Dinh
focused_oldtaken_branch_handler semantics
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
Ta Thanh Dinh
focused_newtaken_branch_handler semantics
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
Ta Thanh Dinh
unfocused_newtaken_branch_handler semantics.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
T
a
Thanh
Dinh
save_current_input: the branch uses this function to...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
T
a
Thanh Dinh
cbranch_instruction_callback
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-10
Ta Thanh Dinh
cbranch_instruction_callback
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-09
Ta Thanh Dinh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-09
Ta Th
a
nh Dinh
cbranch_instruction_callback
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-09
Ta Tha
n
h Dinh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-09
Ta Than
h
Dinh
cbranch_instruction_callback
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
T
a
T
h
a
n
h
Dinh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
T
a Th
a
nh
Dinh
minor modification
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
Ta
Thanh Dinh
indirectBrOrCall_instruction_callback
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
Ta
Tha
n
h Dinh
move_forward/backward with input modification/restoring.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
Ta Than
h
D
inh
add random number generator.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
Ta Than
h
Dinh
trace_resolver
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-08
T
a
Th
a
nh Dinh
indirectBrOrCall semantics.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta T
h
anh
Dinh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Thanh D
i
nh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Tha
n
h D
i
nh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Tha
n
h
D
i
nh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta
Thanh Dinh
low overhead approach for go_forward.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Thanh
Dinh
update move_forward semantics.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
T
a
T
h
anh Dinh
add the set of outerface for each execution order.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Thanh Dinh
fast execution engine.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Thanh Dinh
add the function current_outerface into the class dataf...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Than
h
Dinh
fast execution engine.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-07
Ta Th
a
nh Dinh
clear unused parameters in callbacks.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Than
h
Dinh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Thanh D
i
nh
Periodical commit.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
T
a
T
h
a
nh Dinh
fast execution engine.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Thanh Dinh
update the duration field while propagating data-flow.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Thanh Dinh
the source operands of each inserted instruction (which...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Thanh Dinh
add a duration field into the instruction_operand class...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta Thanh Dinh
using liveness.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-06
Ta
Than
h
Dinh
use shared_ptr for the set of source/target operands...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-05
Ta Thanh Din
h
create "terminal" instruction operand.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
Ta Thanh
D
inh
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
Ta Thanh Din
h
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
Ta T
h
anh
D
inh
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
Ta Than
h
Dinh
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
Ta Tha
n
h
D
inh
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-04
T
a Thanh
D
i
n
h
determine jumping points.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-03
Ta Thanh D
i
nh
remove some CMakeLists.txt
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-03
Ta
T
h
anh Din
h
calculate the dependence between each branch and checkp...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-03
Ta Thanh Dinh
calculate the dependence between each branch and checkp...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta
Thanh Dinh
calculate the dependence between each branch and checkp...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Dinh
rename some global variables.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Dinh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta
T
hanh
Dinh
rename some global variables.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh D
i
nh
modify some callbacks.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Di
n
h
main.h as global variable declaration
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta
T
hanh Dinh
add main.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Dinh
remove main
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
T
a Th
a
nh Dinh
move previous version
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Dinh
move previous version
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta
T
han
h
Dinh
move previous version
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-02
Ta Thanh Dinh
move previous version
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-01
Ta Thanh Dinh
add main
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-01
Ta Than
h
Di
n
h
analyze executed instructions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2014-01-01
T
a
Thanh
D
i
nh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta Thanh
Dinh
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta
Than
h
D
i
nh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta Thanh Dinh
minor modification.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta
Thanh
Dinh
add switch state function.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta Thanh Dinh
add trace resolver class.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-31
Ta
T
h
a
nh D
i
nh
add checkpoint storing.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
Ta Tha
n
h Dinh
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
T
a
T
hanh
Dinh
add conditional branch class.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
Ta Thanh Di
n
h
add some callback functions and derived conditional...
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
Ta Thanh
D
inh
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
T
a
Thanh Din
h
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
T
a
T
h
anh Dinh
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
2013-12-30
Ta T
h
an
h
Dinh
add some callback functions.
commit
|
commitdiff
|
tree
|
snapshot (
tar.gz
zip
)
next