issues
search
codespecs
/
daikon
Dynamic detection of likely invariants
http://plse.cs.washington.edu/daikon/
Other
214
stars
54
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Chicory regression regarding unmodifiable derived variables
#515
mernst
closed
7 months ago
1
Remove trailing whitespace
#514
mernst
closed
11 months ago
0
Fix typos
#513
mernst
closed
11 months ago
0
Use StringJoiner
#512
mernst
closed
11 months ago
0
Javadoc improvements
#511
mernst
closed
11 months ago
0
Add curly braces
#510
mernst
closed
11 months ago
0
Pass -Xlint:-this-escape on Java 21.
#509
smillst
closed
12 months ago
0
Daikon compilation failure (missing dependency requirements, pdf failure during compilation, etc.)
#508
cmeiklejohn
closed
4 months ago
1
need dummy initial goal for goal_name to work correctly
#507
markro49
closed
1 year ago
0
Inferring invariants with hierarchical dataflow
#506
michaelmior
opened
1 year ago
0
Improve diagnostics from test-misc.sh
#505
mernst
closed
1 year ago
0
Correct typo in Daikon FAQ
#504
jyoo980
closed
1 year ago
1
Add `@MustCall` annotation
#503
mernst
closed
1 year ago
0
Typecheck with both bundled CF and latest CF
#502
mernst
closed
1 year ago
0
Remove spurious `this != null` output
#501
mernst
closed
1 year ago
0
test confidence changes
#500
markro49
opened
1 year ago
3
Remove boilerplate comments
#499
mernst
closed
1 year ago
0
Remove suppression of false positive fixed by CF#6084
#498
kelloggm
closed
1 year ago
0
Add AGORA invariants
#497
JuanCarlosAlonsoValenzuela
opened
1 year ago
9
Postpend, don't prepend, JAVA_HOME to PATH
#496
NateLevin1
closed
1 year ago
0
Update Checker Framework
#495
mernst
closed
1 year ago
0
Use snapshot version of Checker Framework
#494
mernst
closed
1 year ago
0
`daikon.bashrc` Should Not Add JAVA_HOME to $PATH
#493
NateLevin1
closed
1 year ago
1
Adapt to RLC changes
#492
kelloggm
closed
1 year ago
0
Add Javadoc
#491
mernst
closed
1 year ago
0
Update dependencies
#490
mernst
closed
1 year ago
0
Test under JDK 20
#489
mernst
closed
1 year ago
0
Rebalance typechecking targets
#488
mernst
closed
1 year ago
0
Update goal files for Ubuntu 23.04
#487
markro49
closed
1 year ago
0
Adapt to new google-java-format formatting
#486
mernst
closed
1 year ago
0
Update the Checker Framework
#485
mernst
closed
1 year ago
0
Update the Checker Framework
#484
mernst
closed
1 year ago
0
Don't use deprecated `new URI()`
#483
mernst
closed
1 year ago
0
Sleep between attempts
#482
mernst
closed
1 year ago
0
Don't use deprecated constructor
#481
mernst
closed
1 year ago
0
Test under JDK 20
#480
mernst
closed
1 year ago
0
Update dockerfiles
#479
mernst
closed
1 year ago
0
Don't write `@UnknownSignedness` on irrelevant types
#478
mernst
closed
1 year ago
0
Notes about upgrading Error Prone
#477
mernst
closed
1 year ago
0
Update libraries in `java/lib/`
#476
mernst
closed
1 year ago
0
Adapt to google-java-format changes
#475
mernst
closed
1 year ago
0
Adapt to signedness of `hashCode()`
#474
mernst
closed
1 year ago
0
Fix lossy conversions
#472
mernst
closed
1 year ago
0
Warn about redundant annotations
#470
mernst
closed
1 year ago
0
remove redundant warning suppression
#469
kelloggm
closed
1 year ago
0
Use plume-util version 1.6.3
#468
mernst
closed
1 year ago
0
Use Checker Framework 3.29.0
#467
mernst
closed
1 year ago
0
disable rijndael comp test on Ubuntu 22.10 and JDK 19
#466
markro49
closed
1 year ago
0
Use bcel-util 1.2.1
#465
mernst
closed
1 year ago
0
update Daikon to bcel-util-1.2.0
#464
markro49
closed
1 year ago
0
Previous
Next