Skip to content

Issues: codespecs/daikon

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 77 Closed
24 Open 77 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Best practice to find class-level invariants for c++ classes
#567 opened Oct 17, 2024 by ChuyueSun
java.lang.RuntimeException: Can't find parent variable
#554 opened Jul 8, 2024 by elizabethdinella
1
Daikon crash on some benchmarks in NJR dataset
#549 opened Jun 25, 2024 by nimakarimipour
@mernst
2
Daikon Failed to Execute when Using runcluster.pl with kmeans Option
#537 opened Mar 27, 2024 by yuan-xia
Inferring invariants with hierarchical dataflow
#506 opened Aug 16, 2023 by michaelmior
Trouble terminating when running 'runcluster.pl' and help with inputs for daikon
#365 opened Oct 18, 2021 by Albli001348
1
Java: invariant masked by overflow condition (no exceptions) ? unreproducible
#290 opened Nov 18, 2020 by wilsondy
4
Cannot run LogicalCompare to completion
#264 opened Jul 11, 2020 by JChen677
7
Annotate adds \old environment to non-static fields with JML format
#263 opened Jul 10, 2020 by GualterP
Annotate output missing invariant visibility with JML format
#262 opened Jul 10, 2020 by GualterP
1
java.lang.AssertionError: not comparable
#203 opened Oct 7, 2019 by boyang9602
The --noequality flag doesn't work
#109 opened Oct 23, 2017 by billy-mosse
1
Avoid calling pure methods in client code enhancement Priority-Low
#83 opened Mar 24, 2017 by mernst
rtc violation precondition : args[..].toString == []
#73 opened Aug 30, 2016 by markro49
@markro49
1
rtc failure of CursorList
#72 opened Aug 30, 2016 by markro49
@markro49
null pointer exception running logical compare (orig variables)
#70 opened Aug 26, 2016 by markro49
@markro49
1
kvasir-tests failures on Fedora 24
#69 opened Aug 26, 2016 by markro49
@markro49
Daikon error on .dtrace file from Celeriac (C#)
#59 opened Jun 16, 2016 by markro49
Incorrect contracts involving derived array splices (C# format) Priority-Medium Type-Defect
#42 opened Jun 14, 2015 by mernst
1
Tests failing post-merge with main Daikon tree (C# format) Priority-Medium Type-Defect
#41 opened Jun 14, 2015 by mernst
1
not_ordered flag for sequences should also disable intra-sequence comparsions, such as collection sort Priority-Medium Type-Defect
#8 opened Jun 14, 2015 by mernst
Daikon doesn't respect not_ordered flag Priority-Medium Type-Defect
#7 opened Jun 14, 2015 by mernst
Can't merge multiple dyncomp runs Priority-Medium Type-Defect
#3 opened Jun 14, 2015 by mernst
Daikon.Daikon crashes in presence of shutdown hooks Priority-Medium Type-Defect
#1 opened Jun 14, 2015 by mernst
ProTip! Exclude everything labeled bug with -label:bug.