|
|
075245f4c2
|
get list of unknowns
|
2021-01-27 16:00:06 +08:00 |
|
|
|
7d06c903e3
|
added get_expression_unknowns
|
2021-01-15 15:19:41 +08:00 |
|
|
|
5fce6cf069
|
updated lifetime
|
2021-01-15 14:37:55 +08:00 |
|
|
|
d466b7bc2b
|
simplified lifetime
|
2021-01-11 11:12:37 +08:00 |
|
|
|
b6e4e68587
|
started adding error types
* converted to string to avoid breaking interface, would be fixed later
* tests would not check error messages now, as messages are not
finalized
|
2021-01-11 10:40:32 +08:00 |
|
|
|
3ecf57a588
|
fixed bugs
|
2021-01-08 16:54:34 +08:00 |
|
|
|
ebe1027ffa
|
added resolve signature
|
2021-01-08 16:24:25 +08:00 |
|
|
|
7c6349520c
|
started getting signatures
|
2021-01-08 14:52:48 +08:00 |
|
|
|
04f121403a
|
moved type check code to submodule
|
2021-01-08 12:58:33 +08:00 |
|
|
|
b51168a5ab
|
added statement tests
|
2021-01-05 13:35:44 +08:00 |
|
|
|
007843c1ef
|
added aug assign for primitives
|
2021-01-05 13:21:39 +08:00 |
|
|
|
ff41cdb000
|
implemented statement check
|
2021-01-05 12:17:45 +08:00 |
|
|
|
e1efb47ad2
|
statement inference: assignment
|
2021-01-04 17:07:14 +08:00 |
|
|
|
4902f9f645
|
added expression_inference tests
|
2021-01-04 14:55:11 +08:00 |
|
|
|
24d512c30f
|
added expression_inference
|
2021-01-04 14:54:57 +08:00 |
|
|
|
5b5e9ce04f
|
added magic methods
|
2021-01-04 14:53:52 +08:00 |
|
|
|
6824b9c4d3
|
added inference_core tests
|
2021-01-04 14:53:33 +08:00 |
|
|
|
7c9e80cc1b
|
added inference core
|
2021-01-04 14:52:50 +08:00 |
|
|
|
bde52f7ad3
|
added primitives
|
2021-01-04 14:52:00 +08:00 |
|
|
|
04e9f9c077
|
added inference context
|
2021-01-04 14:51:43 +08:00 |
|
|
|
7523b43a08
|
added top level context
|
2021-01-04 14:51:25 +08:00 |
|
|
|
7eb40e25dd
|
added typedef
|
2021-01-04 14:49:48 +08:00 |
|
|
|
96317686af
|
enabled clippy
|
2021-01-04 14:49:14 +08:00 |
|
|
|
703059adab
|
nac3standalone: renames
|
2020-12-18 22:35:59 +08:00 |
|
|
|
947a528656
|
libnac3 -> nac3core
|
2020-12-18 10:18:21 +08:00 |
|
