index
:
mrust
master
[no description]
Dyson
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
standalone_miri
/
hir_sim.hpp
Age
Commit message (
Expand
)
Author
Files
Lines
2019-08-18
Standalone MIRI - Correct handling of function types
John Hodge
1
-5
/
+27
2019-08-05
Standalone MIRI - Various improvements
John Hodge
1
-0
/
+1
2019-07-14
standalone_miri - Fix after MIR refactor
John Hodge
1
-41
/
+48
2018-06-04
All - Ensure that all files have a header comment, remove some dead code
John Hodge
1
-3
/
+7
2018-05-19
Standalone MIRI - Remove direct uses of TypeRef.wrappers
John Hodge
1
-3
/
+27
2018-05-19
Standalone MIRI - Use some more helpers
John Hodge
1
-2
/
+5
2018-05-13
Standalone MIRI - Better vtable handling, fix to offset with null pointers
John Hodge
1
-3
/
+3
2018-03-17
Standalone MIRI - size_of_val and drop_in_place
John Hodge
1
-0
/
+1
2018-03-17
Standalone MIRI - Coming along slowly.
John Hodge
1
-0
/
+2
2018-02-24
Standalone MIRI + Codegen MMIR - Drop support
John Hodge
1
-0
/
+3
2018-02-23
Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, str...
John Hodge
1
-0
/
+1
2018-02-17
Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.
John Hodge
1
-0
/
+2
2018-02-16
Standalone MIRI - Hacking along, hit a blocker that will need some refactor.
John Hodge
1
-0
/
+10
2018-02-11
Standalone MIRI - Implementation sprint, statics in process.
John Hodge
1
-0
/
+1
2018-01-26
standalone_miri - Lots of work with parser.
John Hodge
1
-0
/
+5
2018-01-24
standalone_miri - New side-tool to attempt to execute pre-monomorphised MIR
John Hodge
1
-0
/
+235