54 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Erik Krogh Kristensen	be495b28da	add cases to the getParent relation	2021-05-27 10:12:03 +00:00
Erik Krogh Kristensen	79789e28a1	calls and inline casts	2021-05-27 10:04:20 +00:00
shati-patel	d9a7f10cfe	Add more QLDoc	2021-05-27 10:56:40 +01:00
Shati Patel	14ee979bbe	Merge pull request #10 from github/more-expressions ... Add more expressions	2021-05-27 10:44:49 +01:00
shati-patel	8f031cda5f	Add more expressions	2021-05-27 10:41:29 +01:00
Erik Krogh Kristensen	c4c0a63104	use moduleExpr in Type	2021-05-27 09:31:47 +00:00
Tom Hvitved	01d4b8a41c	Add module expressions and module aliases	2021-05-27 11:28:37 +02:00
Tom Hvitved	509e789510	Merge pull request #9 from github/dataset-measure ... Update dataset_measure.yml	2021-05-27 10:48:09 +02:00
Tom Hvitved	aaa7973906	Update dataset_measure.yml	2021-05-27 10:39:51 +02:00
Erik Krogh Kristensen	48c9e5f3b8	Merge pull request #7 from github/ast ... AST layer	2021-05-27 10:39:04 +02:00
Tom Hvitved	09d0cdbaf8	Add ModuleMember::isPrivate()	2021-05-27 10:27:57 +02:00
Erik Krogh Kristensen	ab20f8f74e	add support for aggregates	2021-05-27 08:23:15 +00:00
Erik Krogh Kristensen	fec3d745ca	make sure Literal is an Expr	2021-05-27 07:31:44 +00:00
Erik Krogh Kristensen	ee9e1914b0	literals and fixes	2021-05-26 21:35:01 +00:00
Erik Krogh Kristensen	a692794178	add types	2021-05-26 21:35:01 +00:00
Taus	ec98e8a82d	Add convenience methods for aggregates	2021-05-26 21:25:42 +00:00
Taus	4eb836ca9b	AST for quantifiers, negation	2021-05-26 21:06:04 +00:00
Erik Krogh Kristensen	3057790071	ast for imports, modules, and various fixes	2021-05-26 19:39:54 +00:00
Taus	2addbfabd0	More work on ComparisonFormula	2021-05-26 18:12:06 +00:00
Taus	eafbd15da0	Merge branch 'main' into ast	2021-05-26 17:38:44 +00:00
Taus	2443ad3314	Add body as a field of charpred	2021-05-26 17:26:15 +00:00
Taus	94c1321e43	WIP formulas and expressions ... Joint work with shati-patel.	2021-05-26 16:21:01 +00:00
Erik Krogh Kristensen	28968163e0	Merge remote-tracking branch 'origin/main' into ast	2021-05-26 15:02:23 +00:00
Erik Krogh Kristensen	7a4a4e9cdd	implement more AST cases	2021-05-26 15:01:55 +00:00
Taus	9b8acdb37f	Don't printAst ReservedWords	2021-05-26 14:28:33 +00:00
Erik Krogh Kristensen	8fa3a425a5	slightly more AST stuff	2021-05-26 14:18:25 +00:00
Erik Krogh Kristensen	cb49c1ec24	switch printAst query to use new pretty AST layer	2021-05-26 14:04:23 +00:00
Erik Krogh Kristensen	a4603a49a1	fix format (again)	2021-05-26 13:53:15 +00:00
Erik Krogh Kristensen	00b33acfe9	fix format	2021-05-26 13:50:19 +00:00
Erik Krogh Kristensen	344c19f049	extremely minimal AST layer	2021-05-26 13:48:02 +00:00
Taus	f2edd7724c	Record annotation names in the AST	2021-05-26 13:14:52 +00:00
Erik Krogh Kristensen	e469ce171d	don't print LineComment (they were disconnected from the root), and a bit of printAst performance	2021-05-26 13:12:44 +00:00
shati-patel	80b508aa03	de-ruby some more things	2021-05-26 14:09:09 +01:00
Erik Krogh Kristensen	44311e2ace	Merge pull request #5 from github/qltest-testing ... Get qlTest to work	2021-05-26 14:48:20 +02:00
Erik Krogh Kristensen	f916aa9a37	better printAst test	2021-05-26 12:44:50 +00:00
Erik Krogh Kristensen	a015b9499a	add test for the printAst query	2021-05-26 12:38:21 +00:00
Erik Krogh Kristensen	4ca756ddf9	insert placeholder (that compiles) in localDefinitions.ql	2021-05-26 12:29:12 +00:00
Erik Krogh Kristensen	3addd03c29	insert placeholder (that compiles) in localReferences.ql	2021-05-26 12:29:12 +00:00
Taus	f351100f86	Merge pull request #6 from github/support-expr-annotations ... Support expression annotations	2021-05-26 14:25:25 +02:00
Taus	0f6d6df745	Support expression annotations	2021-05-26 12:21:19 +00:00
Tom Hvitved	0c3ce12520	Update ql.qll	2021-05-26 14:00:36 +02:00
Erik Krogh Kristensen	9e5a4b9fbb	get printAst to work	2021-05-26 11:58:14 +00:00
shati-patel	041c07463f	another bit of cleanup	2021-05-26 12:38:40 +01:00
Tom Hvitved	419e69b2b5	More cleanup	2021-05-26 13:25:43 +02:00
shati-patel	5b830fdcd1	Fix commands on Windows (take 2)	2021-05-26 12:24:54 +01:00
Erik Krogh Kristensen	f04005e4ca	update dbscheme to fix capitalization	2021-05-26 11:23:22 +00:00
Erik Krogh Kristensen	ecde34fdf4	Merge pull request #4 from github/fixCap ... fix snake_casing of generated ql identifiers	2021-05-26 13:18:30 +02:00
shati-patel	d7e53bfdb3	Fix Windows commands	2021-05-26 12:12:36 +01:00
Erik Krogh Kristensen	02e1d424b2	fix snake_casing of generated ql identifiers	2021-05-26 11:12:05 +00:00
Shati Patel	021c0a03b4	Update devcontainer files	2021-05-26 10:22:53 +00:00