runtimeverification llvm-backend issues

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Alloc refactor

#1164 stevenmeker opened 7 hours ago
0
try to delete some probably unneeded bitcasts

#1163 dwightguth opened 1 day ago
0
fix ordinals not being applied to return types of symbols

#1162 dwightguth closed 2 weeks ago
0
Make global/static variables thread_local; use mmap() for managing memory

#1161 stevenmeker opened 3 weeks ago
0
Adding support for MInt{128}

#1160 Robertorosmaninho closed 3 weeks ago
0
Make global/static variables thread_local; use mmap() for managing memory

#1159 stevenmeker closed 3 weeks ago
0
Make global/static variables thread_local; use mmap() for managing memory

#1158 stevenmeker closed 4 weeks ago
0
a few minor fixes to support the ULM better

#1157 dwightguth closed 1 month ago
0
Making `proof_trace_parser` and `llvm_rewrite_trace_iterator` use a shared_ptr of `kore_header`

#1156 Robertorosmaninho closed 1 month ago
0
Only emitting side_conditions if all occurrences of the same variable are equal

#1155 Robertorosmaninho closed 4 weeks ago
0
Fixes for MInt serialization into the proof trace

#1154 theo25 closed 1 month ago
0
disable proof hint generation during call to get_exit_code

#1153 dwightguth closed 1 month ago
0
Fixes for MInt serialization into the proof trace

#1152 theo25 closed 1 month ago
1
A few minor bug fixes related to Geth Integration

#1151 dwightguth closed 1 month ago
0
No proof hint events for unit/elememt collection hooks

#1150 theo25 closed 1 month ago
1
Fix `--statistics` flag by calling `get_steps()` instead of trying to access the `steps` global variable

#1149 Robertorosmaninho closed 1 month ago
0
Exposing `llvm_pattern_matching_failure_event` to Python Bindings

#1148 Robertorosmaninho closed 1 month ago
1
Split proof hint trace into multiple files

#1147 theo25 closed 1 month ago
0
optimize how we check whether gc should happen

#1146 dwightguth closed 2 months ago
0
Verify ir during CI

#1145 dwightguth closed 2 months ago
0
make llvm backend do better dce and dae

#1144 dwightguth closed 2 months ago
0
Add pattern matching support for list random access patterns

#1143 dwightguth closed 2 months ago
0
Callback-based subclass for the proof trace writer

#1142 theo25 closed 2 months ago
0
Introducing new arena and function that allows an object to be ignored by GC

#1141 Robertorosmaninho closed 2 months ago
2
Un-nest proof hint events for arguments of functions/hooks

#1140 theo25 closed 2 months ago
2
Print print intermediate configurations after some function events in `kore-proof-trace`

#1139 Robertorosmaninho closed 1 month ago
1
Equality function on mint

#1138 dwightguth closed 2 months ago
0
Add missing hash and equality cases for mint

#1137 dwightguth closed 2 months ago
0
Abstract proof trace writer at event level

#1136 theo25 closed 2 months ago
0
disable tail call on return values of MInt of >192 bits

#1135 dwightguth closed 2 months ago
0
Introducing new `llvm_pattern_matching_failure_event` to Proof Events

#1134 Robertorosmaninho closed 2 months ago
1
Introducing new `llvm_pattern_matching_failure_event` to Proof Events

#1133 Robertorosmaninho closed 3 months ago
0
Removing shared memory proof trace reader/writer

#1132 theo25 closed 3 months ago
0
Adding Time Hooks for measuring semantics performance

#1131 Robertorosmaninho closed 3 months ago
0
Disabling shared memory proof trace tests on macos

#1130 theo25 closed 3 months ago
0
Update KElem names in kgdb

#1129 gtrepta closed 3 months ago
0
Improvements to MINT hooks

#1128 dwightguth closed 3 months ago
0
Buffered reads/writes for hint generation with shared memory

#1127 theo25 closed 3 months ago
0
Updating `StringPattern` to return its contents as Python Bytes

#1126 Robertorosmaninho closed 3 months ago
1
merge allocations in same basic block up to a size bound

#1125 dwightguth closed 3 months ago
0
kore-proof-trace should print the rules from domains.md, as well

#1124 dlucanu opened 3 months ago
0
Refactoring remaining naming issues in `kgdb.py` and `klldb.py`

#1123 Robertorosmaninho closed 3 months ago
2
Shared memory writer for proof hints

#1122 theo25 closed 3 months ago
0
Better inlining for alloc.cpp

#1121 dwightguth closed 3 months ago
0
Fixing debugger scripts

#1120 Robertorosmaninho closed 3 months ago
0
Remove references to my contact details from repo

#1119 Baltoli closed 3 months ago
0
Abstract proof hints writer

#1118 theo25 closed 3 months ago
1
Add interactive testing shell for Nix builds

#1117 Baltoli closed 3 months ago
0
Fix tautological comparison error

#1116 Baltoli closed 3 months ago
4
Suboptimal type for kore_definition_syntax?

#1115 0cjs closed 3 months ago
1