25 Commits

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