Fix Rust to Heapster type translation for functions with no return value#1445

Merged

eddywestbrook merged 10 commits intomasterfrom heapster-rust-no-return-value

Sep 3, 2021

+21-10

Commits on Aug 31, 2021

fixed the IRT description generation to match the recent change that made the translation of bitvector permissions to just be bitvectors
Eddy Westbrook
committed
Merge branch 'heapster-fix-memcpy-bug' into heapster-bugfix-bitvector-irts
Eddy Westbrook
committed
Merge branch 'master' into heapster-bugfix-bitvector-irts
Eddy Westbrook
committed

Commits on Sep 1, 2021

updated xor_swap_rust example to use the Rust type in the SAW script
Eddy Westbrook
committed
added a case to the Rust to Heapster translator to handle function types with no return value
Eddy Westbrook
committed
whoops, forgot to update the bitcode file for xor_swap_rust
Eddy Westbrook
committed
bugfix in the Rust to Heapster translator: empty return types need to be converted to unit, not to the empty struct
Eddy Westbrook
committed
tweaked the error message for when Rust types do not translate correctly to the expected LLVM type
Eddy Westbrook
committed

Commits on Sep 3, 2021

Merge branch 'master' into heapster-rust-no-return-value
Eddy Westbrook
authored
Merge branch 'master' into heapster-rust-no-return-value
Eddy Westbrook
authored