projects
/
repair.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Options to print prettier graphs...
[repair.git]
/
Repair
/
2005-02-04
bdemsky
Options to print prettier graphs...
tree
|
commitdiff
2005-01-24
bdemsky
Committing pretty printer fix.
tree
|
commitdiff
2004-12-09
bdemsky
update readme
tree
|
commitdiff
2004-12-09
bdemsky
add simple file benchmark for users.
tree
|
commitdiff
2004-11-10
bdemsky
1) Fixed some bugs in the redblack tree implementation...
tree
|
commitdiff
2004-11-09
bdemsky
Fixed some bugs...
tree
|
commitdiff
2004-11-09
bdemsky
Forgot to do the replacement
tree
|
commitdiff
2004-11-09
bdemsky
Adding Daikon related stuff.
tree
|
commitdiff
2004-11-09
bdemsky
Added support for dynamically allocated arrays.
tree
|
commitdiff
2004-11-09
bdemsky
Updates to check in.
tree
|
commitdiff
2004-11-08
bdemsky
Improved termination analysis so that daikon generated...
tree
|
commitdiff
2004-11-07
bdemsky
Some embarrassing erros. The DNF conversion for negati...
tree
|
commitdiff
2004-11-02
bdemsky
Fix grammar and Sum bug.
tree
|
commitdiff
2004-11-02
bdemsky
Generalize definition of SumExpr a little...Lets sum...
tree
|
commitdiff
2004-11-01
bdemsky
Fixed a memory leak in the runtime...Print neater text.
tree
|
commitdiff
2004-11-01
bdemsky
bug..forgot to return value
tree
|
commitdiff
2004-11-01
bdemsky
Various bug fixes related to the C switch.
tree
|
commitdiff
2004-10-30
bdemsky
Accidentally checked this file in...removing it now.
tree
|
commitdiff
2004-10-30
bdemsky
Completed support for generating C code.
tree
|
commitdiff
2004-10-30
bdemsky
Checking in changes that:
tree
|
commitdiff
2004-10-28
bdemsky
revert runtime file.
tree
|
commitdiff
2004-10-28
bdemsky
Revert changes.
tree
|
commitdiff
2004-10-28
bdemsky
Accidentally checked in code.
tree
|
commitdiff
2004-10-28
bdemsky
Checking in C runtime.
tree
|
commitdiff
2004-10-28
bdemsky
New C Runtime.
tree
|
commitdiff
2004-10-27
bdemsky
Generate code to compute the sum.
tree
|
commitdiff
2004-10-27
bdemsky
Bug fixes for parsing sum expressions.
tree
|
commitdiff
2004-10-27
bdemsky
Adding support for sum expressions.
tree
|
commitdiff
2004-10-25
bdemsky
Had a bug in our implementation. If the list empties...
tree
|
commitdiff
2004-10-25
bdemsky
Want to zero next "next" pointer, not the one we just...
tree
|
commitdiff
2004-10-24
bdemsky
Make recursion a command line option.
tree
|
commitdiff
2004-10-01
bdemsky
Hack grammar to add unary minus.
tree
|
commitdiff
2004-09-30
bdemsky
Checking in various changes...
tree
|
commitdiff
2004-08-17
bdemsky
Bug in the freeciv spec.
tree
|
commitdiff
2004-08-16
bdemsky
Bug with time instrumentation code.
tree
|
commitdiff
2004-08-16
bdemsky
Change to the spec...missed a consistency property...
tree
|
commitdiff
2004-08-16
bdemsky
Oops..need a cast here.
tree
|
commitdiff
2004-08-16
bdemsky
oops...freeVars can return null.
tree
|
commitdiff
2004-08-16
bdemsky
Record that we allocated a new object.
tree
|
commitdiff
2004-08-16
bdemsky
Oops...forgot the grammar changes...
tree
|
commitdiff
2004-08-15
bdemsky
Make sure we create a reasonable large array...and...
tree
|
commitdiff
2004-08-15
bdemsky
Improve precision of interference analysis. Allow...
tree
|
commitdiff
2004-08-15
bdemsky
Abiword specification
tree
|
commitdiff
2004-08-14
bdemsky
Add additional functionality to Simplehash.
tree
|
commitdiff
2004-08-14
bdemsky
Update virtual pointers for C++ code...Various fixes...
tree
|
commitdiff
2004-08-13
bdemsky
Adding the -cplusplus option. This option writes virua...
tree
|
commitdiff
2004-08-12
bdemsky
Improved precision of computation of maximum set sizes...
tree
|
commitdiff
2004-08-10
bdemsky
Fixed some analysis problems...
tree
|
commitdiff
2004-08-09
bdemsky
Removing various deprecated pieces of code...Fixed...
tree
|
commitdiff
2004-08-04
bdemsky
More fixes
tree
|
commitdiff
2004-08-03
bdemsky
...
tree
|
commitdiff
2004-08-02
bdemsky
Fixed some errors in the Repair Generator code.
tree
|
commitdiff
2004-08-02
bdemsky
Updates to allow discovering of partial functions
tree
|
commitdiff
2004-07-29
bdemsky
Updates to allow repairing backpointers.
tree
|
commitdiff
2004-07-29
bdemsky
Updating size computation class.`
tree
|
commitdiff
2004-07-28
bdemsky
Added new file.
tree
|
commitdiff
2004-07-27
bdemsky
Bug fix...
tree
|
commitdiff
2004-07-27
bdemsky
Add updates...
tree
|
commitdiff
2004-07-21
bdemsky
Update to analysis.
tree
|
commitdiff
2004-07-20
bdemsky
Added needed comments, reorganized some code...
tree
|
commitdiff
2004-07-20
bdemsky
Simplify logic
tree
|
commitdiff
2004-07-20
bdemsky
Adding readme files
tree
|
commitdiff
2004-07-20
bdemsky
Remove old file
tree
|
commitdiff
2004-07-20
bdemsky
remove obselete file
tree
|
commitdiff
2004-07-20
bdemsky
This checkin eliminates cases in which the repair algor...
tree
|
commitdiff
2004-07-19
bdemsky
Remove two files that were never actually used.
tree
|
commitdiff
2004-07-19
bdemsky
Allows creation of subgraphs of the dependency graph...
tree
|
commitdiff
2004-07-18
bdemsky
More checkins...
tree
|
commitdiff
2004-07-14
bdemsky
Changes:
tree
|
commitdiff
2004-07-13
bdemsky
Allow list of important structs
tree
|
commitdiff
2004-07-13
bdemsky
Update to add padding at the end of structs.
tree
|
commitdiff
2004-07-13
bdemsky
fixes to size computation.
tree
|
commitdiff
2004-07-13
bdemsky
Fixed arrays some more...
tree
|
commitdiff
2004-07-13
bdemsky
improved structure layout generation
tree
|
commitdiff
2004-07-10
bdemsky
structure extraction tool...works on binaries with...
tree
|
commitdiff
2004-07-08
bdemsky
Calculate correst size for subclass subtyping.
tree
|
commitdiff
2004-07-08
bdemsky
Updates to grammar...
tree
|
commitdiff
2004-07-08
bdemsky
Invariant Value class
tree
|
commitdiff
2004-05-31
bdemsky
This should make Cristian a happy person... We do...
tree
|
commitdiff
2004-05-31
bdemsky
1) Instrumentation code to count model rebuilds, etc...
tree
|
commitdiff
2004-05-19
bdemsky
Fixed inteferes bug, improved precision of other analys...
tree
|
commitdiff
2004-05-19
bdemsky
Worklist items from a previous model build stay in...
tree
|
commitdiff
2004-05-19
bdemsky
This one is Dan's. He misparses OR's as AND's for...
tree
|
commitdiff
2004-05-18
bdemsky
Bugs with generating ands and ors...ahh.
tree
|
commitdiff
2004-05-18
bdemsky
Debug flag bug
tree
|
commitdiff
2004-05-18
bdemsky
C interface to the instrument interface
tree
|
commitdiff
2004-05-18
bdemsky
Need {} around case statements because we define variab...
tree
|
commitdiff
2004-05-18
bdemsky
Bugs:
tree
|
commitdiff
2004-05-18
bdemsky
Freeciv spec
tree
|
commitdiff
2004-05-18
bdemsky
Filesystem benchmark
tree
|
commitdiff
2004-05-17
bdemsky
Enable quiet output...
tree
|
commitdiff
2004-05-17
bdemsky
getrelation2 can return 0 in cases of a relation that...
tree
|
commitdiff
2004-05-17
bdemsky
Fixed a variety of bugs...
tree
|
commitdiff
2004-05-12
bdemsky
More bugs...
tree
|
commitdiff
2004-05-12
bdemsky
More bug fixes...and debug flags
tree
|
commitdiff
2004-05-11
bdemsky
Code to improve search by pruning certain types of...
tree
|
commitdiff
2004-05-11
bdemsky
Various bug fixes.
tree
|
commitdiff
2004-05-11
bdemsky
Forgot to implement this method.
tree
|
commitdiff
2004-05-11
bdemsky
1) Further updates to specifications.
tree
|
commitdiff
2004-05-10
bdemsky
Improved search....Updated filesystem model. Added...
tree
|
commitdiff
next