diff options
| author | Robert Norton | 2018-03-27 15:57:28 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-03-27 15:58:53 +0100 |
| commit | a1127a39d7a49e6cb1cf50f5cc528628669b4725 (patch) | |
| tree | 35269cd9dc8590f091b83ee2caf13af0ea8c4fc1 /mips/prelude.sail | |
| parent | 8ada249efc7ae202c4a70af396ce5c771acd3de4 (diff) | |
print IPS after running cheri model.
Diffstat (limited to 'mips/prelude.sail')
| -rw-r--r-- | mips/prelude.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/prelude.sail b/mips/prelude.sail index 5a7f1351..cf44f6de 100644 --- a/mips/prelude.sail +++ b/mips/prelude.sail @@ -395,3 +395,5 @@ overload vector_update_subrange = {vector_update_subrange_dec, vector_update_sub val mask : forall 'm 'n , 'm >= 'n > 0 . bits('m) -> bits('n) function mask bs = bs['n - 1 .. 0] + +val "get_time_ns" : unit -> int |