Gaith Hallak
|
4c7798f84a
|
Remove location anns from contract call type
|
2023-06-09 19:58:33 +03:00 |
|
Gaith Hallak
|
3ea11105b4
|
Remove file committed by mistake
|
2023-06-09 13:38:51 +03:00 |
|
Gaith Hallak
|
34920eb467
|
Fix calldata tests
|
2023-06-09 13:34:16 +03:00 |
|
Gaith Hallak
|
1353cebc99
|
Remove the getopt dep
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
3a13840451
|
Upgrade aebytecode
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
271870b2a4
|
Update rename when a new rename comes up
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
9b9853cbfd
|
Fix pattern matching on fpat
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
4c29750c3c
|
Fix pp_fpat
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
de52ca362a
|
Upgrade aebytecode version
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
9208a5974e
|
Use FAnn instead of get_fann(Body)
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
7c67561585
|
Fix issues with pretty-printing of fexprs
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
066ff0bc96
|
Add annotations to fexpr var
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
f3398b9b8b
|
Update the lock file
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
e0dd64cd22
|
Upgrade aebytecode dep
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
55ea2caa54
|
Upgrade aebytecode dep
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
39ccb44c86
|
Fix the inability to pattern match constructors
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
ccc6d98fe9
|
Add DBG_DEF for switch pattern vars
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
f6730bd274
|
Revert "Save fresh names of pattern variables"
This reverts commit d2473f982996336131477df2b2115c04a55a62cb.
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
b69af9a499
|
Set fann for switches
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
f41e05928b
|
Implement fsplit_pat_vars for assign
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
f05c246335
|
Save fresh names of pattern variables
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
626b27ce1a
|
Add DBG_CONTRACT and DBG_LOC before DBG_DEF
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
88a1e07f13
|
Check if a var name is fresh in separate function
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
e579ea15e8
|
Add DBG_CONTRACT instruction
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
73133e39dc
|
Upgrade aebytecode: Add DBG_CONTRACT
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
49bcc48360
|
Rename env.debug to env.debug_info
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
3a40ef05fc
|
Disable tail call optimization for better debug call stack
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
61ffa8f849
|
Revert "Add DBG_CALL and DBG_RETURN"
This reverts commit c406c6feb09b6a5bb859c38d634f08208c901e5a.
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
7e3d8ea102
|
Revert "Separate the split at CALL_T and loop"
This reverts commit 4ea823a7ca798c756b20cee32f928f41092c4959.
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
bc4f3fdbbd
|
Separate the split at CALL_T and loop
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
335d91b48a
|
Add DBG_CALL and DBG_RETURN
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
45b0df8aff
|
Add dbg_loc in to_scode
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
7e8db136b2
|
Remove dbg_loc before closure
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
cdd3c514b5
|
Fix indenting
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
7a1e94c1e6
|
Fix annotations
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
c6fbaaaf75
|
Split complicated code and add comment
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
ef2bec69af
|
Make debug ops impure
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
a91ff6adbd
|
List only needed attributes
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
3ef72e9091
|
Use lookup instead of lookup_all
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
095d0f0d0a
|
Use get_value/3 to handle default
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
ed3e62b40a
|
Remove the variable-register map from debug output
|
2023-06-09 13:30:25 +03:00 |
|
Gaith Hallak
|
864189ee5e
|
Add DBG_LOC op to step at function sig
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
ee4c0eee34
|
Remove col from fann
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
9dc7ed3d97
|
Keep a single DBG_LOC instruction per line
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
ef10b39fa6
|
Add missing dbg_loc in to_scode1
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
90666d3f33
|
Remove column from DBG_LOC
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
81da836b66
|
Rename DBGLOC to DBG_LOC
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
c1bf063093
|
Fix dbg_undef for args
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
6b7bc06c38
|
Do not use DBG_DEF and DBG_UNDEF on args
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
04aed6670a
|
Do not DBG_DEF vars with % prefix
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
9619bb6071
|
Add DBG_DEF and DBG_UNDEF
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
7898ab3946
|
Upgrade aebytecode ref in rebar.config
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
3ed7e36d29
|
Wrap args of DBGLOC in immediate tuple
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
34d363f166
|
Return an empty string instead of no_file atom
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
141eea74fd
|
Include DBGLOC instructions in the compiler output
|
2023-06-09 13:24:07 +03:00 |
|
Gaith Hallak
|
793a6829f6
|
Save debug locations for child contracts
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
801231d628
|
Fill out empty fann() when possible
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
a752fa5b48
|
Remove fann() from fsplit_pat() and fpat()
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
9ddd29d63a
|
Fix dialyzer warning
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
f6beec0a7c
|
Add file to aeso_syntax:ann()
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
eb16d2f77b
|
Add file to fann()
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
db3f63529d
|
Change attributes for DBGLOC instruction
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
354e49c5d3
|
Add line to fann()
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
5ef52c0dc3
|
Rname Ann to FAnn when the type is fann()
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
683747bc38
|
Fix calldata tests
|
2023-06-09 13:23:36 +03:00 |
|
Gaith Hallak
|
694646fa3d
|
Fix compiler tests
|
2023-06-09 13:18:42 +03:00 |
|
Gaith Hallak
|
363a550402
|
Add instructions lines to the debugging result
|
2023-06-09 13:18:42 +03:00 |
|
Gaith Hallak
|
f0d6031fd5
|
Add dbgloc instruction to fate
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
116fefc244
|
Fix missing fann() in tuple fexpr()
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
835b186499
|
Add fann() to nil
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
7648732879
|
Add fann() to tuple
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
0611bcae9d
|
Add fann() to con
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
9f082b1af2
|
Add fann() to builtin
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
7abf93e0e0
|
Add fann() to lit and get_state
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
d11f3107a4
|
Add fann() to switch
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
08174e5dbf
|
Add fann() to var
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
431e983940
|
Fix the spec for compute_state_layout
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
5046c08b9f
|
Dead code removal
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
81fc1de479
|
Add missing functions specs
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
2d4e1d7026
|
Add fann() to builtin_u
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
3f129b3b04
|
Add fann() to lam
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
48136ef719
|
Add fann() to let
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
a027ac4f6a
|
Add fann() to op
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
44ec5db132
|
Add fann() to def and def_u
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
74f0b3a2db
|
Add fann() to set_proj
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
404bb33863
|
Add fann() to proj
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
b35441c40e
|
Add fann() to remote
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
dd57fd9abe
|
Add fann() to remote_u
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
1043473696
|
Add fann() to set_state
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
dc5a119bc6
|
Add fann() to closure
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
2118d82745
|
Add fann() to funcall
|
2023-06-09 13:17:04 +03:00 |
|
Gaith Hallak
|
a4d1479cc5
|
Add fann type and to_fann fun
|
2023-06-09 13:17:04 +03:00 |
|