Skip to content

Issues: GaloisInc/saw-script

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

Clear current search query, filters, and sorts
18 Open 0 Closed
18 Open 0 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

The repository README should mention the docker images documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#2109 opened Aug 27, 2024 by sauclovian-g 2024T3
Manual: remove references to deprecated functions documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#1814 opened Feb 7, 2023 by ramsdell 2024T3
Applying a function to too few arguments produces a difficult to understand error documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation topics: error-messages Issues involving the messages SAW produces on error type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#1765 opened Nov 23, 2022 by bboston7 2024T3
@sauclovian-g
2
Document the new sequent proof mode and its operations documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#1735 opened Aug 31, 2022 by robdockins 2025T1
1
Consolidate SAW documentation documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: enhancement Issues describing an improvement to an existing feature or capability
#1723 opened Aug 8, 2022 by chameco 2025T1
1
Document refinement for method specs documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: enhancement Issues describing an improvement to an existing feature or capability
#1677 opened May 26, 2022 by robdockins 2025T1
2
Complete documentation for new JVM commands documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#1314 opened May 28, 2021 by atomb 2025T1
unify manual and automatically generated server docs documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings type: bug Issues reporting bugs or unexpected/unwanted behavior
#1121 opened Mar 11, 2021 by pnwamk 2025T1
More documentation for llvm_compositional_extract documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: enhancement Issues describing an improvement to an existing feature or capability
#1054 opened Jan 30, 2021 by brianhuffman 2025T1
miscellaneous reflections on tutorial documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#909 opened Nov 17, 2020 by kiniry 2025T1
1
Documentation for add_cryptol_defs and add_cryptol_eqs could be better better-when-documented Issues whose root causes include missing or wrong documentation documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#882 opened Oct 28, 2020 by msaaltink 2025T1
1
Undocumented SAWScript syntax documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#830 opened Aug 29, 2020 by nano-o 2025T1
@sauclovian-g
1
Goals in manual are used before being introduced documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation needs design Technical design work is needed for issue to progress type: bug Issues reporting bugs or unexpected/unwanted behavior
#748 opened Jun 16, 2020 by bboston7 2024T3
@sauclovian-g
1
Clarify use of different monads (and do-notation) in the SAW manual better-in-python Will be fixed by switching to python frontend documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior
#469 opened May 28, 2019 by danmatichuk 2024T3
1
Document/audit the semantics of primitives that map to SMT-Lib documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability
#1228 opened Aug 7, 2018 by robdockins Someday
1
CrucibleSetup documentation and use documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation type: enhancement Issues describing an improvement to an existing feature or capability
#1160 opened Jul 13, 2018 by kiniry 2025T1
Symbolic simulation failed along some paths better-when-documented Issues whose root causes include missing or wrong documentation documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation needs test Issues for which we should add a regression test subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm topics: error-handling Issues involving the way SAW responds to an error condition topics: error-messages Issues involving the messages SAW produces on error type: bug Issues reporting bugs or unexpected/unwanted behavior
#249 opened Jan 6, 2018 by jberkes 2025T1
3
Show primitives that return a specific type documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#236 opened Nov 20, 2017 by yav 2024T3
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.