Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Functorized and more #49

Merged
merged 203 commits into from
Sep 16, 2023
Merged

Functorized and more #49

merged 203 commits into from
Sep 16, 2023

Commits on Jul 27, 2023

  1. Building env and runtime env are different

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    75a134c View commit details
    Browse the repository at this point in the history

  2. Split type_id out of value

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    4c87343 View commit details
    Browse the repository at this point in the history

  3. TMP

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    cf12cc2 View commit details
    Browse the repository at this point in the history

  4. Testop

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    aaaa1b9 View commit details
    Browse the repository at this point in the history

  5. More

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c86ad50 View commit details
    Browse the repository at this point in the history

  6. If/Br_if

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2ff07ce View commit details
    Browse the repository at this point in the history

  7. Func_intf

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    87d95a9 View commit details
    Browse the repository at this point in the history

  8. Forgot file

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    491a4f2 View commit details
    Browse the repository at this point in the history

  9. add encoding

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    dd5083b View commit details
    Browse the repository at this point in the history

  10. adds encoding

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2d1cef9 View commit details
    Browse the repository at this point in the history

  11. fmt

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    921e966 View commit details
    Browse the repository at this point in the history

  12. fix examples

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    683cd55 View commit details
    Browse the repository at this point in the history

  13. func in signature

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    775bd8d View commit details
    Browse the repository at this point in the history

  14. Notes

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    30568f4 View commit details
    Browse the repository at this point in the history

  15. adds sym_value.ml

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    84d0326 View commit details
    Browse the repository at this point in the history

  16. sym_value - inner modules

    @zapashcanon
    José Santos authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7c1cd62 View commit details
    Browse the repository at this point in the history

  17. Call and return_call

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    19dd457 View commit details
    Browse the repository at this point in the history

  18. sym_value

    @zapashcanon
    José Santos authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9dff6fe View commit details
    Browse the repository at this point in the history

  19. implement concrete values

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9457990 View commit details
    Browse the repository at this point in the history

  20. Some out of bound check

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    802f680 View commit details
    Browse the repository at this point in the history

  21. clean

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    829f6cb View commit details
    Browse the repository at this point in the history

  22. Fix missing functions

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d22db09 View commit details
    Browse the repository at this point in the history

  23. Can run stuffs

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    649c0e4 View commit details
    Browse the repository at this point in the history

  24. completes bvops

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8f47418 View commit details
    Browse the repository at this point in the history

  25. adds boolean operators

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    df294fd View commit details
    Browse the repository at this point in the history

  26. Instanciate the concrete interpreter

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    6aeea95 View commit details
    Browse the repository at this point in the history

  27. updates memory signature

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ea09b00 View commit details
    Browse the repository at this point in the history

  28. update concrete memory

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7a03877 View commit details
    Browse the repository at this point in the history

  29. memory

    @zapashcanon
    José Santos authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0ca20b8 View commit details
    Browse the repository at this point in the history

  30. dune

    @zapashcanon
    José Santos authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ce3caca View commit details
    Browse the repository at this point in the history

  31. Move things aroung in functor_intf

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a941eaf View commit details
    Browse the repository at this point in the history

  32. Add Float ops

    @frediramos @zapashcanon
    frediramos authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    14335ed View commit details
    Browse the repository at this point in the history

  33. Memory_limits functor

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    edbc8cb View commit details
    Browse the repository at this point in the history

  34. Start table

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7910088 View commit details
    Browse the repository at this point in the history

  35. First 'symbolic eval'

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d10a2fc View commit details
    Browse the repository at this point in the history

  36. Split const_interp

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7532527 View commit details
    Browse the repository at this point in the history

  37. fix unused warning

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    81e1776 View commit details
    Browse the repository at this point in the history

  38. complete exec_ibinop in Interpret_functor (it's uglyyyyy)

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1ae8125 View commit details
    Browse the repository at this point in the history

  39. bring back I_trunc_f

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0c84792 View commit details
    Browse the repository at this point in the history

  40. bring back I_trunc_sat_f

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1996eaa View commit details
    Browse the repository at this point in the history

  41. Untangle func from extern_func

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    dd0904e View commit details
    Browse the repository at this point in the history

  42. Simplify to_int

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    65c0576 View commit details
    Browse the repository at this point in the history

  43. numeric evaluation for operators

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    6b7222a View commit details
    Browse the repository at this point in the history

  44. bring back F_convert_i

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a01df67 View commit details
    Browse the repository at this point in the history

  45. Start adding a thread through the interpreter

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ec99a79 View commit details
    Browse the repository at this point in the history

  46. bring back I_reinterpret_f

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    de2b447 View commit details
    Browse the repository at this point in the history

  47. bring back F32_demote_f64 and F64_promote_f32

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    666615b View commit details
    Browse the repository at this point in the history

  48. bring back F_reinterpret_i

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    abe7158 View commit details
    Browse the repository at this point in the history

  49. bring back I_extend8_s, I_extend16_s, I64_extend32_s, I32_wrap_i64 and 

    I64_extend_i32
    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2dd2260 View commit details
    Browse the repository at this point in the history

  50. Choice monad with path condition

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b1461c1 View commit details
    Browse the repository at this point in the history

  51. fixes int32 function

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    6f86068 View commit details
    Browse the repository at this point in the history

  52. remove old comments

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    64bb74d View commit details
    Browse the repository at this point in the history

  53. uncomment unimplemented GC instructions

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    82715e4 View commit details
    Browse the repository at this point in the history

  54. bring back I_load16, refactor I_load8

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5c99e44 View commit details
    Browse the repository at this point in the history

  55. Func_id

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    56562eb View commit details
    Browse the repository at this point in the history

  56. Extern_func in a separate env

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a9f83fa View commit details
    Browse the repository at this point in the history

  57. Remove link_intf

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    deda2e7 View commit details
    Browse the repository at this point in the history

  58. Start env_id

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5fe6dec View commit details
    Browse the repository at this point in the history

  59. Functions don't depend on env

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7f2df17 View commit details
    Browse the repository at this point in the history

  60. Clean func type

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    4476783 View commit details
    Browse the repository at this point in the history

  61. Clean value and stack type

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c34e11d View commit details
    Browse the repository at this point in the history

  62. Clean table and global types

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d3014a1 View commit details
    Browse the repository at this point in the history

  63. Fix examples

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e3bb8a8 View commit details
    Browse the repository at this point in the history

  64. extern_func param of env

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    19d3f1d View commit details
    Browse the repository at this point in the history

  65. Complete sym extern_func

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    180805a View commit details
    Browse the repository at this point in the history

  66. Provide "print"."i32" as extern for owi_sym

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    749dd97 View commit details
    Browse the repository at this point in the history

  67. symbolic.i32

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2d64063 View commit details
    Browse the repository at this point in the history

  68. Name list

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    901dd2b View commit details
    Browse the repository at this point in the history

  69. Doing something interesting

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    10e687a View commit details
    Browse the repository at this point in the history

  70. Some test

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    12c62be View commit details
    Browse the repository at this point in the history

  71. Unreachable

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    60b42f6 View commit details
    Browse the repository at this point in the history

  72. Fix locals

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    54d39fe View commit details
    Browse the repository at this point in the history

  73. Symbolic memory load8_s and store8

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c373c62 View commit details
    Browse the repository at this point in the history

  74. thread memory

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    3eafd35 View commit details
    Browse the repository at this point in the history

  75. Br_table

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    f74ef6e View commit details
    Browse the repository at this point in the history

  76. Some inline hint

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    88257fc View commit details
    Browse the repository at this point in the history

  77. Symbolic memory cloning

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    bd5d88d View commit details
    Browse the repository at this point in the history

  78. bring back more Load instructions

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1103e6d View commit details
    Browse the repository at this point in the history

  79. refactor Link (no more lazyness)

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1b8fb49 View commit details
    Browse the repository at this point in the history

  80. bring back F_load

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a05b07f View commit details
    Browse the repository at this point in the history

  81. bring back I_store

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a77ea7d View commit details
    Browse the repository at this point in the history

  82. bring back F_store

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    f46ab85 View commit details
    Browse the repository at this point in the history

  83. pin encoding and remove it from sources

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    969dd62 View commit details
    Browse the repository at this point in the history

  84. fmt

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e86ff5b View commit details
    Browse the repository at this point in the history

  85. bring back I64_load32

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5e275b3 View commit details
    Browse the repository at this point in the history

  86. bring back I_store16

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5405b5d View commit details
    Browse the repository at this point in the history

  87. bring back I64_store32

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e6ff204 View commit details
    Browse the repository at this point in the history

  88. remove catch call, bring back Array_new and Array_new_default

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e65c269 View commit details
    Browse the repository at this point in the history

  89. bring back Ref_is_null

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    64b0d17 View commit details
    Browse the repository at this point in the history

  90. bring back Ref_func

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c7d26dd View commit details
    Browse the repository at this point in the history

  91. pin encoding dev version

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9e2bb34 View commit details
    Browse the repository at this point in the history

  92. change type signatures and fixes symbolic store ops

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b12ff5d View commit details
    Browse the repository at this point in the history

  93. Use ToBool and OfBool instead of ITE exprs

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ec672b9 View commit details
    Browse the repository at this point in the history

  94. Greedy evaluation of symbolic floats

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9764d41 View commit details
    Browse the repository at this point in the history

  95. Adds concrete load operations in sym_memory

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    500016e View commit details
    Browse the repository at this point in the history

  96. Concrete bool op evaluations

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    10b3043 View commit details
    Browse the repository at this point in the history

  97. Simulate memory grow to pass BTree tests

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e818e7b View commit details
    Browse the repository at this point in the history

  98. bring back Memory_grow, refactor interpret_functor

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fcebf82 View commit details
    Browse the repository at this point in the history

  99. bring back Memory_fill, try to enable the new interpreter everywhere

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    4191619 View commit details
    Browse the repository at this point in the history

  100. bring back Memory_copy

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c1b275e View commit details
    Browse the repository at this point in the history

  101. Memory_init draft

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2c15c6a View commit details
    Browse the repository at this point in the history

  102. Table_set draft

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    78d7081 View commit details
    Browse the repository at this point in the history

  103. bring back Table_set and Table_size

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    6c543c4 View commit details
    Browse the repository at this point in the history

  104. fixes boolean conjunction of symbolic values

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7e4bd54 View commit details
    Browse the repository at this point in the history

  105. fixes encoding blowup

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    917baf8 View commit details
    Browse the repository at this point in the history

  106. fixes symbolic memory grow and packed load operations

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    cf2c8b8 View commit details
    Browse the repository at this point in the history

  107. fixes symbolic value I64 conversions

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0c76301 View commit details
    Browse the repository at this point in the history

  108. Fixes symb memory grow and adds extract simplifications

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e5a765c View commit details
    Browse the repository at this point in the history

  109. Unit args for extern funcs

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a6e9116 View commit details
    Browse the repository at this point in the history

  110. Path condition is available in extern functions

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0c1fefb View commit details
    Browse the repository at this point in the history

  111. Fix get_memory

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    87ed7c5 View commit details
    Browse the repository at this point in the history

  112. variable names

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    902a7d1 View commit details
    Browse the repository at this point in the history

  113. Avoid poluting the path condition with tautological statements

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fa8671d View commit details
    Browse the repository at this point in the history

  114. do not match on Invalid_argument

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b8e3a6a View commit details
    Browse the repository at this point in the history

  115. small cleaning

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2be0936 View commit details
    Browse the repository at this point in the history

  116. bring back Memory_init

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    010aee6 View commit details
    Browse the repository at this point in the history

  117. start to switch completely to the new interpreter

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c9ba732 View commit details
    Browse the repository at this point in the history

  118. incrementally solve path conditions

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    330c0d1 View commit details
    Browse the repository at this point in the history

  119. automatically set the start function for owi_sym

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0dda558 View commit details
    Browse the repository at this point in the history

  120. only set the start function automatically if there isn't already one

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    42705ba View commit details
    Browse the repository at this point in the history

  121. link stub symbolic api

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    4300f44 View commit details
    Browse the repository at this point in the history

  122. revert back to batch path condition solving

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ee61b35 View commit details
    Browse the repository at this point in the history

  123. Some small boolean/i32 simplification rules

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    bbf3314 View commit details
    Browse the repository at this point in the history

  124. Some obvious equality simplifications

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ccebdb7 View commit details
    Browse the repository at this point in the history

  125. fix link_state data type

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fb46fc8 View commit details
    Browse the repository at this point in the history

  126. update solver interface

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d3397b2 View commit details
    Browse the repository at this point in the history

  127. get data from link_env

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9aeabea View commit details
    Browse the repository at this point in the history

  128. concrete blit_string in symbolic memory

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0693f5e View commit details
    Browse the repository at this point in the history

  129. fix some concrete memory operations

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c729fa3 View commit details
    Browse the repository at this point in the history

  130. Choice_monad_intf

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a24752d View commit details
    Browse the repository at this point in the history

  131. Simplify base case for bind

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    de22c47 View commit details
    Browse the repository at this point in the history

  132. Choices everywhere

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    aac7213 View commit details
    Browse the repository at this point in the history

  133. Choice_monad.run returns seq

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    12a32d0 View commit details
    Browse the repository at this point in the history

  134. Seq choice monad

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d33d188 View commit details
    Browse the repository at this point in the history

  135. Explicit binding choice monad

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    44cea5b View commit details
    Browse the repository at this point in the history

  136. Solver time

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b56e685 View commit details
    Browse the repository at this point in the history

  137. Run up to

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5c9ad3c View commit details
    Browse the repository at this point in the history

  138. Const bool

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    3501d97 View commit details
    Browse the repository at this point in the history

  139. Start doing table init for real

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b3923c8 View commit details
    Browse the repository at this point in the history

  140. Some table state

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2695eb7 View commit details
    Browse the repository at this point in the history

  141. Base case for select_i32

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0634267 View commit details
    Browse the repository at this point in the history

  142. Id in environment

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8633e74 View commit details
    Browse the repository at this point in the history

  143. Env in state

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d2db29a View commit details
    Browse the repository at this point in the history

  144. Globals

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ecf61d3 View commit details
    Browse the repository at this point in the history

  145. Format

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7353047 View commit details
    Browse the repository at this point in the history

  146. Bool.pp

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d43e503 View commit details
    Browse the repository at this point in the history

  147. run_and_trap

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9bcf9af View commit details
    Browse the repository at this point in the history

  148. Fix memory initialisation and multi modules

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fa60b2a View commit details
    Browse the repository at this point in the history

  149. Add sym_global

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    88ab18b View commit details
    Browse the repository at this point in the history

  150. bring back table.get

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0f53b1c View commit details
    Browse the repository at this point in the history

  151. update interface with solver

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    81bfc18 View commit details
    Browse the repository at this point in the history

  152. adds some cvtops

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1a066fa View commit details
    Browse the repository at this point in the history

  153. Indirect calls

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    37b726f View commit details
    Browse the repository at this point in the history

  154. Choice_i32

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    53cf017 View commit details
    Browse the repository at this point in the history

  155. Extern "assert" "i32"

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a41d6b3 View commit details
    Browse the repository at this point in the history

  156. Fix script exec_vfunc

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e95f579 View commit details
    Browse the repository at this point in the history

  157. Fix unit external

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ccc7413 View commit details
    Browse the repository at this point in the history

  158. Assertions

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    771c548 View commit details
    Browse the repository at this point in the history

  159. Only call start when there is one

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e1e5827 View commit details
    Browse the repository at this point in the history

  160. empty alloc and free summaries

    @filipeom @zapashcanon
    filipeom authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    58c59cc View commit details
    Browse the repository at this point in the history

  161. more error handling

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8fdd544 View commit details
    Browse the repository at this point in the history

  162. fix exec_vfunc_from_outside to pass tests, raise on get_data, fix some 

    memory operations
    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a206291 View commit details
    Browse the repository at this point in the history

  163. simplify stuff

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fbd8bd2 View commit details
    Browse the repository at this point in the history

  164. Simplify checks

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a29c51c View commit details
    Browse the repository at this point in the history

  165. Can stop at first failure

    @chambart @zapashcanon
    chambart authored and zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0512c04 View commit details
    Browse the repository at this point in the history

  166. memory.fill value is stored as a byte...

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9448a59 View commit details
    Browse the repository at this point in the history

  167. fixes in the functorized interpret

    @zapashcanon
    zapashcanon committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    dd389c3 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. fmt

    @zapashcanon
    zapashcanon committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    67440af View commit details
    Browse the repository at this point in the history

  2. remove boolify which leads to wrong results in some cases

    @zapashcanon
    zapashcanon committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    35c3527 View commit details
    Browse the repository at this point in the history

  3. make fuzzer compile again

    @zapashcanon
    zapashcanon committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    dcccd94 View commit details
    Browse the repository at this point in the history

  4. bring back the optimize module

    @zapashcanon
    zapashcanon committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    addfeae View commit details
    Browse the repository at this point in the history

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

    failing tests
    @zapashcanon
    zapashcanon committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    f3d2c10 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Tail run_and_trap

    @chambart
    chambart committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    0528846 View commit details
    Browse the repository at this point in the history

  2. Avoid useless hold

    @chambart
    chambart committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    6951697 View commit details
    Browse the repository at this point in the history

  3. Format

    @chambart
    chambart committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    25754a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Use ite for select

    @chambart
    chambart committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    2ab23f9 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Faster

    @chambart
    chambart committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a9c626a View commit details
    Browse the repository at this point in the history

  2. i31.new was renamed to ref.i31

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    7d9f573 View commit details
    Browse the repository at this point in the history

  3. Call_ref expects a type id, not a block type... (this breaks the 

    implementation for now)
    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    bb407d7 View commit details
    Browse the repository at this point in the history

  4. update br_on_cast to match latest spec

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    3ae451b View commit details
    Browse the repository at this point in the history

  5. improve GC types printing

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    7597985 View commit details
    Browse the repository at this point in the history

  6. fix LICENSE

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    c8bb099 View commit details
    Browse the repository at this point in the history

  7. fix LICENSE

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    f6fb021 View commit details
    Browse the repository at this point in the history

  8. more LICENSE

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    ee3fe6e View commit details
    Browse the repository at this point in the history

  9. fix example

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    62df3cb View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into functorized

    @zapashcanon
    zapashcanon authored Sep 15, 2023
    Configuration menu
    Copy the full SHA
    d56d285 View commit details
    Browse the repository at this point in the history

  11. Stupid bug...

    @chambart
    chambart committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    0a63466 View commit details
    Browse the repository at this point in the history

  12. add missing deps

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    d88b4c5 View commit details
    Browse the repository at this point in the history

  13. improve test output

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    1f0c148 View commit details
    Browse the repository at this point in the history

  14. update .ocamlformat version

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    2c506ca View commit details
    Browse the repository at this point in the history

  15. fix memory.grow

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    00cb0d9 View commit details
    Browse the repository at this point in the history

  16. fmt

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    eb28ef3 View commit details
    Browse the repository at this point in the history

  17. fmt

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    f3a1d57 View commit details
    Browse the repository at this point in the history

  18. fix i64.load32_u

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a2183bc View commit details
    Browse the repository at this point in the history

  19. bring back table.grow

    @zapashcanon
    zapashcanon committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    6bc1b94 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2023

  1. bring back table.fill

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    d8c0dc3 View commit details
    Browse the repository at this point in the history

  2. bring back table.copy

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    4ec4b44 View commit details
    Browse the repository at this point in the history

  3. add some out of bounds checks

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    84dcb86 View commit details
    Browse the repository at this point in the history

  4. fix table.get out_of_bounds check (it's better to check before getting 

    the value...)
    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    4c76595 View commit details
    Browse the repository at this point in the history

  5. fix memory out of bounds checks

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    0a53817 View commit details
    Browse the repository at this point in the history

  6. make the fuzzer part of tests

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    84aed80 View commit details
    Browse the repository at this point in the history

  7. memory.grow shouldn't be negative

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    32228a0 View commit details
    Browse the repository at this point in the history

  8. fix more checks

    @zapashcanon
    zapashcanon committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    60c3b7b View commit details
    Browse the repository at this point in the history