issues
search
avanhatt
/
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Isle printer
#101
megdugan
closed
3 months ago
0
veri: use cranelift-codegen all-arch feature
#100
mmcloughlin
closed
7 months ago
0
veri: implies spec op
#99
mmcloughlin
closed
7 months ago
0
isle: printer
#98
mmcloughlin
closed
7 months ago
0
veri: set `MAX_WIDTH` to `2*REG_WIDTH`
#97
mmcloughlin
closed
8 months ago
0
WIP: ISLA-derived instruction specs
#96
mmcloughlin
opened
8 months ago
0
veri: fix bug in BVShr type inference
#95
mmcloughlin
closed
8 months ago
0
Fix tests of encoded ops
#94
avanhatt
closed
8 months ago
0
all: revive veri ci job
#93
mmcloughlin
closed
8 months ago
0
veri: fix unused argument in variadic_binop
#92
mmcloughlin
closed
8 months ago
1
"Unified" Type Inference
#91
mmcloughlin
opened
8 months ago
0
Add max width
#90
avanhatt
closed
8 months ago
0
veri_ir: delete some dead code
#89
mmcloughlin
closed
8 months ago
0
veri: remove type ids from `annotation_ir`
#88
mmcloughlin
closed
8 months ago
0
veri: disallow duplicate specs
#87
mmcloughlin
closed
8 months ago
0
veri: replace TestResult::MultiType with callback
#86
mmcloughlin
closed
10 months ago
0
veri: replace `TestResult::MultiType` with callback
#85
mmcloughlin
closed
11 months ago
1
WIP: generate signatures from CDSL
#84
mmcloughlin
opened
11 months ago
0
WIP: verus playground
#83
mmcloughlin
opened
11 months ago
0
veri: term signature instantiations in ISLE
#82
mmcloughlin
closed
10 months ago
0
WIP: share isle compilations
#81
mmcloughlin
opened
11 months ago
0
cranelift/isle/veri: handle negative constants
#80
mmcloughlin
closed
11 months ago
0
Use type models
#79
mmcloughlin
closed
11 months ago
0
Fix broken broken tests
#78
mmcloughlin
closed
11 months ago
0
Remove `isle-tmp` directory
#77
mmcloughlin
closed
11 months ago
0
veri: verify some x64 amode rules
#76
mmcloughlin
closed
11 months ago
0
veri: add bvsaddo spec operation
#75
mmcloughlin
closed
11 months ago
0
veri: cargo fmt
#74
mmcloughlin
closed
1 year ago
0
Fix type inference for enum variants
#73
mmcloughlin
closed
1 year ago
3
move udiv repro to `verify-main`
#72
avanhatt
closed
1 year ago
0
More tests: `output_reg`, `operand_size`
#71
avanhatt
closed
1 year ago
0
amode shift example
#70
avanhatt
closed
1 year ago
0
allow more complex type instantiation for uextend in tests
#69
avanhatt
closed
1 year ago
0
simple rules for `iconst`, `null`
#68
avanhatt
closed
1 year ago
0
bitselect
#67
avanhatt
closed
1 year ago
0
max, min, abs
#66
avanhatt
closed
1 year ago
0
Experiment for percent of verified rules fired during wasm tests
#65
avanhatt
closed
1 year ago
0
Rename: `assume` to `provide`, `assert` to `require`, `isleType` to `Int`
#64
avanhatt
closed
1 year ago
0
`popcnt` encoding and rules
#63
avanhatt
closed
1 year ago
0
Actual `assume` vs `assert` distinction, named rules, move to `aarch64` files
#62
avanhatt
closed
1 year ago
0
Add `or_many`, `and_many` to annotation language
#61
avanhatt
closed
11 months ago
1
Better way to annotate enum variants
#60
avanhatt
closed
11 months ago
1
finish add extend cases
#59
avanhatt
closed
1 year ago
0
`icmp` plus testing overhaul
#58
avanhatt
closed
1 year ago
0
Verify updated version of `imm12_from_negated_value`
#57
avanhatt
closed
1 year ago
0
Integrate new ISLE opcode type code
#56
avanhatt
opened
1 year ago
0
Reenable test broken fits in 16
#55
avanhatt
closed
1 year ago
0
Shifts: `ishr`, `sshr`, `ushr`
#54
avanhatt
closed
1 year ago
0
cleanup
#53
avanhatt
closed
1 year ago
0
WIP Width refactor (kill query width)
#52
avanhatt
closed
1 year ago
0
Next