Skip to content

Pull requests: kth-step/HolBA

New pull request New
Clear current search query, filters, and sorts
0 Open 134 Closed
0 Open 134 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

RISC-V workflow and examples update
#183 by palmskog was merged Jul 5, 2024 Loading…
always use HolBA_HolSmtLib.Z3_ORACLE_TAC instead of bundled Z3_ORACLE_TAC
#182 by palmskog was merged Jun 12, 2024 Loading…
1
Full swap example, bspec workflow
#181 by palmskog was merged Jun 5, 2024 Loading…
Remove unused open m0_stepLib
#180 by palmskog was merged May 10, 2024 Loading…
use HOL4_Z3_EXECUTABLE in bir_smtLib to avoid requiring z3 in PATH
#179 by palmskog was merged Apr 29, 2024 Loading…
Refactoring of symbolic execution automation and application to RISC-V examples
#178 by palmskog was merged May 10, 2024 Loading…
5
Update HOL4 and Poly/ML to latest versions
#177 by didriklundberg was merged Apr 30, 2024 Loading…
6
Update riscv incr example: end-to-end proof
#176 by andreaslindner was merged Apr 26, 2024 Loading…
8
Removed Z3 dependency in main theories
#175 by didriklundberg was merged Mar 18, 2024 Loading…
1
RISC-V backlifting and examples
#174 by palmskog was merged Mar 15, 2024 Loading…
1
Update to modern syntax
#173 by didriklundberg was merged Mar 15, 2024 Loading…
12
reorganize contribution guide
#171 by palmskog was merged Mar 9, 2024 Loading…
use standard naming of documentation files in root, link from README.md
#170 by palmskog was merged Mar 9, 2024 Loading…
proper Holmakefiles for src/tools/{cfg,comp,exec}/examples
#169 by palmskog was merged Mar 9, 2024 Loading…
Add symbolic execution, and also fix some issues after the Holmakefile change, reactivated testing and testing with CI
#168 by andreaslindner was merged Mar 9, 2024 Loading…
4
add more tests to Holmakefiles
#167 by palmskog was merged Mar 6, 2024 Loading…
add some selftests to Holmakefile with test action
#166 by palmskog was merged Mar 5, 2024 Loading…
Additional opens in bir_m0_extrasScript
#165 by didriklundberg was merged Mar 5, 2024 Loading…
1
Document recommended way to depend on HolBA
#164 by palmskog was merged Feb 29, 2024 Loading…
2
README improvements and examples build
#163 by palmskog was merged Feb 23, 2024 Loading…
Holmake based build
#162 by palmskog was merged Feb 22, 2024 Loading…
Parameterize DA lifter and add RISC-V tutorial
#161 by palmskog was merged Feb 13, 2024 Loading…
2
fix problem with HolSat compilation for kananaskis-14
#160 by palmskog was merged Feb 5, 2024 Loading…
Lifter improvements
#159 by didriklundberg was merged Nov 17, 2023 Loading…
Proper generalisation of well-founded relation in program logic
#158 by didriklundberg was merged Nov 17, 2023 Loading…
4
ProTip! What’s not been updated in a month: updated:<2024-06-25.