7 Commits

Author	SHA1	Message	Date
Tom Hvitved	813f5b99e7	C#: Update PrintAST query	2024-04-03 20:03:02 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	dad5166bca	C#: Print full name of type mentions in AST	2020-10-20 08:23:57 +02:00
Tamas Vajk	6c48eb8c12	C#: Add type mentions to AST	2020-10-20 08:23:56 +02:00
Tamas Vajk	5fae440a58	C#: Reverse assignment child nodes in AST	2020-10-14 12:49:08 +02:00
Tom Hvitved	b8cde180b9	C#: Order top-level elements by location in PrintAst.qll	2020-08-21 06:17:37 +02:00
Tamás Vajk	2a8ff8785a	C#: Add AST printing (#4038)	2020-08-20 14:24:43 +02:00