index
:
forks/wabt.git
main
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
typecheck
/
bad-if-type-mismatch.txt
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove check from binary-reader-interp.cc that the validator already catches....
Sam Clegg
2021-12-13
1
-1
/
+1
*
`wat2wasm` is no longer default TOOL for tests (#735)
Ben Smith
2018-01-25
1
-1
/
+2
*
Better type-checking errors (#662)
Ben Smith
2017-10-30
1
-1
/
+1
*
Rewrite parser as recursive descent (#591)
Ben Smith
2017-08-15
1
-1
/
+1
*
Remove BinaryErrorHandler, rename SourceErrorHandler (#553)
Ben Smith
2017-07-06
1
-1
/
+1
*
Update testsuite; various lexing/parsing fixes (#482)
Ben Smith
2017-06-07
1
-1
/
+1
*
Full typechecking for unreachable code (#302)
Ben Smith
2017-02-14
1
-10
/
+4
*
Update test/run-tests.py (#255)
Ben Smith
2017-01-05
1
-3
/
+3
*
Convert tests to new flat syntax (#227)
Kwadwo 'Que' Amankwa
2016-11-28
1
-13
/
+16
*
Update 'dump' tests for binary_0xc
Sam Clegg
2016-09-29
1
-2
/
+8
*
Fix typecheck tests
Ben Smith
2016-09-29
1
-7
/
+8
*
use post-order style if
Ben Smith
2016-04-28
1
-1
/
+1
*
simplify if blocks
Ben Smith
2016-03-19
1
-1
/
+1
*
use if/then/else instead of if/if_else
Ben Smith
2016-03-03
1
-1
/
+1
*
nicer errors for wasm-check too
Ben Smith
2016-02-26
1
-0
/
+2
*
check AST
Ben Smith
2015-12-03
1
-1
/
+1
*
add if_else keyword
Ben Smith
2015-11-09
1
-1
/
+1
*
change prefix for test file format
Ben Smith
2015-10-13
1
-2
/
+3
*
added flag to typecheck like the spec repo
Ben Smith
2015-10-08
1
-2
/
+5
*
include filename in error output
Ben Smith
2015-09-16
1
-1
/
+1
*
match new naming scheme
Ben Smith
2015-09-04
1
-1
/
+1
*
typecheck if branches more correctly
Ben Smith
2015-09-03
1
-1
/
+1
*
move typecheck tests to typecheck directory
Ben Smith
2015-09-03
1
-0
/
+5