Pierre

Pierre created branch symbolic in Pierre/woi

2023-09-11 06:43:05 +02:00

Pierre pushed to symbolic at Pierre/woi

2023-09-11 06:43:05 +02:00

0528846a01 Tail run_and_trap

f3d2c10141 catch unhandled exception in the test suite to get a proper number of

addfeae5b3 bring back the optimize module

dcccd94cd4 make fuzzer compile again

35c352753c remove boolify which leads to wrong results in some cases

Compare 10 commits »

Pierre pushed to main at zapashcanon/workshop-ocaml-2023-wasocaml

2023-07-13 18:24:40 +02:00

38fbe45183 Conclusion

Pierre pushed to main at zapashcanon/workshop-ocaml-2023-wasocaml

2023-07-13 17:47:36 +02:00

e2f674f595 Un peu plus

Pierre pushed to main at zapashcanon/workshop-ocaml-2023-wasocaml

2023-07-13 16:50:15 +02:00

08f041a883 Plop

Pierre pushed to main at zapashcanon/workshop-ocaml-2023-wasocaml

2023-07-13 15:48:19 +02:00

7f1820d84c Section compilation

Pierre pushed to main at Pierre/workshop-ocaml-2023-wasocaml

2023-07-13 15:36:12 +02:00

7f1820d84c Section compilation

Pierre created pull request zapashcanon/workshop-ocaml-2023-wasocaml#1

2023-07-12 23:52:53 +02:00

main

Pierre pushed to main at Pierre/workshop-ocaml-2023-wasocaml

2023-07-12 23:52:30 +02:00

2c9947ed7e Makefile

Pierre pushed to main at Pierre/workshop-ocaml-2023-wasocaml

2023-07-12 23:51:23 +02:00

47c4aef6c6 Stuffs

Pierre created repository Pierre/workshop-ocaml-2023-wasocaml

2023-07-12 23:51:02 +02:00

Pierre pushed to master at Pierre/woi

2022-11-29 19:16:23 +01:00

bf14716ca7 Repush after br_if

9f5b572531 Some more checks in br_table ?

f0f8644b0e Something

f1c2f00e1c Return types are not subtypes

3148481c18 Format

Compare 11 commits »

Pierre pushed to master at Pierre/woi

2022-11-29 17:54:13 +01:00

8ae9ba60b5 Remove continue

fb72aade0f Remove state type

b2e378134e Remove stop

ec84fba747 Format

5fdd8d3cd6 consume stack when unreachable

Compare 5 commits »

Pierre pushed to master at Pierre/woi

2022-11-29 17:40:44 +01:00

568345b2b6 Stuffs with return type

50b3495092 tmp

6ce2ea3d46 improve typechecker

938351948b improve typechecking

543a2ea9df fix typechecker bug

Compare 18 commits »

Pierre created pull request zapashcanon/woi#6

2022-11-07 16:51:01 +01:00

Global.get

Pierre pushed to master at Pierre/woi

2022-11-04 17:24:40 +01:00

c4ca8a194b Global.get

49fef91491 clean code

3db53aecdd meh

f76d3ec6cd typecheck more stuff

97de9ea82a fix Pierre (<3)

Compare 160 commits »

Pierre created pull request zapashcanon/woi#5

2022-10-24 19:30:17 +02:00

Import typecheck file

Pierre pushed to typecheck at Pierre/woi

2022-10-24 19:27:48 +02:00

40b7b46f93 Import typecheck file

Pierre created branch typecheck in Pierre/woi

2022-10-24 19:27:46 +02:00

Pierre pushed to split_fields at Pierre/woi

2022-10-12 19:10:40 +02:00

0881228378 Handle invalid result arity

f7f000b3fd Handle duplicate local

7c68087336 Better error, handle duplicate func

680860b185 Start typechecking

a7eddabe96 Remove prints

Compare 5 commits »