-
Notifications
You must be signed in to change notification settings - Fork 21
Pull requests: kth-step/HolBA
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
always use HolBA_HolSmtLib.Z3_ORACLE_TAC instead of bundled Z3_ORACLE_TAC
#182
by palmskog
was merged Jun 12, 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…
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…
fix problem with HolSat compilation for kananaskis-14
#160
by palmskog
was merged Feb 5, 2024
Loading…
Proper generalisation of well-founded relation in program logic
#158
by didriklundberg
was merged Nov 17, 2023
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.