Stephen Chung
|
b4dbc7619a
|
Add no_custom_syntax.
|
2022-07-05 22:59:03 +08:00 |
|
Stephen Chung
|
b6528bd51d
|
Reduce usage of as_ref and as_mut.
|
2022-07-05 16:26:38 +08:00 |
|
Stephen Chung
|
1abec0a8a8
|
Allow initialization of EvalState tag and separate debugger state into separate variable.
|
2022-05-21 21:44:12 +08:00 |
|
Stephen Chung
|
c3d013bddc
|
Add to_json for maps.
|
2022-04-21 12:15:21 +08:00 |
|
Stephen Chung
|
99118fe2c3
|
Minor refactors.
|
2022-03-20 21:58:43 +08:00 |
|
Stephen Chung
|
0e9a16e437
|
Add checks for is_empty.
|
2022-03-03 13:02:57 +08:00 |
|
Stephen Chung
|
83755bf936
|
Refine doc comments.
|
2022-03-01 15:34:15 +08:00 |
|
Stephen Chung
|
73f10b8adc
|
Minor housekeeping.
|
2022-02-24 10:36:20 +08:00 |
|
Stephen Chung
|
7686ca619a
|
Use .. for (_).
|
2022-02-08 09:46:14 +08:00 |
|
Stephen Chung
|
345a060672
|
Fix type name display.
|
2022-02-03 23:54:53 +08:00 |
|
Stephen Chung
|
d99953c101
|
Fixup AsRef<str> vs &str.
|
2022-01-04 15:22:48 +08:00 |
|
Stephen Chung
|
9c7ced2b80
|
Move custom syntax to api.
|
2021-12-27 22:02:34 +08:00 |
|
Stephen Chung
|
8d67c70294
|
Fix builds.
|
2021-12-17 16:55:07 +08:00 |
|
Stephen Chung
|
c7ec27acc7
|
Split AST into separate files.
|
2021-12-17 16:07:13 +08:00 |
|
Stephen Chung
|
3a5495a65c
|
Clarify custom operators.
|
2021-12-09 22:54:10 +08:00 |
|
Stephen Chung
|
7cd76c6d18
|
Add language options.
|
2021-12-03 11:16:35 +08:00 |
|
Stephen Chung
|
95dc2ad502
|
Remove fields and parameters under no_function.
|
2021-11-29 09:43:35 +08:00 |
|
Stephen Chung
|
9fa4d60336
|
Minor code and docs refactor.
|
2021-11-28 22:57:28 +08:00 |
|
Stephen Chung
|
4fc088a0f1
|
Fix feature builds.
|
2021-11-27 23:20:05 +08:00 |
|
Stephen Chung
|
280b5b405e
|
Make some new functions const.
|
2021-11-25 17:09:00 +08:00 |
|
Stephen Chung
|
90200e607c
|
Fix doc comment links.
|
2021-11-20 21:29:36 +08:00 |
|
Stephen Chung
|
344b48ad36
|
Split APIs into files.
|
2021-11-20 14:57:21 +08:00 |
|
Stephen Chung
|
64b889fb95
|
Restructure code base.
|
2021-11-13 22:36:23 +08:00 |
|