70844 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
REDMOND\brodes	c91f7f4918	Altering exists predicate ordering to be clearer.	2024-09-30 11:07:09 -04:00
REDMOND\brodes	31324fc778	Altering ordering for exists statement to be clearer.	2024-09-30 11:05:38 -04:00
REDMOND\brodes	51e787b316	Switching to looking for explicit declaration of unsigned char, to avoid cases where unsigned char is the default char width for char.	2024-09-30 11:02:43 -04:00
REDMOND\brodes	c4737c7fbb	Changing from hasIntermediateType to getABaseType.	2024-09-30 10:58:45 -04:00
Tom Hvitved	70b4ecf0a5	Merge pull request #17624 from github/aibaars/rust-comments ... Rust: extract comments	2024-09-30 16:58:25 +02:00
REDMOND\brodes	338ab96593	Correct comment.	2024-09-30 10:46:39 -04:00
Tom Hvitved	938e962d79	Merge remote-tracking branch 'upstream/main' into aibaars/rust-comments	2024-09-30 16:42:22 +02:00
Anders Schack-Mulligen	d0831ebd5a	Merge pull request #17625 from aschackmull/java/collection-neutrals ... Java: Minor model tweak and comment fix.	2024-09-30 16:29:54 +02:00
Anders Schack-Mulligen	5c4b4d644a	C#: Accept test changes.	2024-09-30 16:27:50 +02:00
Tom Hvitved	52894f5b6a	Merge pull request #17627 from hvitved/rust/accept-cfg-inconsistencies	2024-09-30 16:00:58 +02:00
Anders Schack-Mulligen	222ae6ad2d	Java: Add a neutral for Comparable.compareTo	2024-09-30 15:51:48 +02:00
Anders Schack-Mulligen	fcb677e84d	Java: Add a neutral for Collection.remove.	2024-09-30 15:46:43 +02:00
Anders Schack-Mulligen	38818f3cd2	Java: Adjust Set.clear model to apply to overrides.	2024-09-30 15:46:42 +02:00
Tom Hvitved	2018b6361d	Rust: Accept CFG inconsistencies	2024-09-30 15:45:15 +02:00
Arthur Baars	d3c50727ed	Rust: exclude Comment nodes from lines of code counts	2024-09-30 15:39:00 +02:00
Arthur Baars	45d3d381f5	Rust: test cases for comments	2024-09-30 15:38:59 +02:00
Arthur Baars	ef3f730d32	Rust: extract comment tokens	2024-09-30 15:38:58 +02:00
Arthur Baars	fd459be165	Rust: add Comment to schema	2024-09-30 15:38:54 +02:00
Tom Hvitved	3a210b77f9	Merge pull request #17626 from hvitved/rust/more-cfg-tests	2024-09-30 15:37:55 +02:00
Tom Hvitved	c3311e52a6	Merge pull request #17623 from hvitved/rust/labelled-block	2024-09-30 15:33:55 +02:00
Anders Schack-Mulligen	a8f55d93cb	C#: Add overrides to the interpretation of neutral MaD models.	2024-09-30 15:23:27 +02:00
Anders Schack-Mulligen	0459d136d3	Java: Remove neutral model for Object.toString.	2024-09-30 15:17:21 +02:00
Tom Hvitved	2e7e26b638	Rust: Add more CFG tests	2024-09-30 15:15:14 +02:00
Anders Schack-Mulligen	1f95fa10fb	Java: Fix comment re. neutrals and WithoutElement. ... The remove methods should not have been in this section, as they're plain neutrals.	2024-09-30 15:08:56 +02:00
Tom Hvitved	5ae669937c	Rust: Add labelled block example	2024-09-30 14:47:13 +02:00
Tamás Vajk	752502ba76	Merge pull request #17619 from tamasvajk/text-file-archiving-warning ... C#: reduce extraction message severity for missing text files	2024-09-30 14:07:45 +02:00
Anders Schack-Mulligen	ec0bd4494c	Java: Add overrides to the interpretation of neutral MaD models.	2024-09-30 13:11:49 +02:00
Tamas Vajk	29948e4c0b	C#: reduce extraction message severity for missing text files	2024-09-30 12:31:07 +02:00
Michael Nebel	6f74387600	Merge pull request #17521 from michaelnebel/modelgen/moreimprovements ... C#/Java: Content based model generation improvements.	2024-09-30 11:22:30 +02:00
Tom Hvitved	4513643a0f	Merge pull request #17617 from hvitved/rust/extraction-consistency ... Rust: Add extraction error consistency query	2024-09-30 11:06:34 +02:00
Tom Hvitved	3e77dd8b6b	Rust: Fix extraction errors	2024-09-30 10:36:56 +02:00
Tom Hvitved	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +02:00
Anders Schack-Mulligen	a017f92b78	Merge pull request #17579 from aschackmull/java/type-sanitizers ... Java: Add more type-based sanitizers.	2024-09-30 10:07:06 +02:00
Tom Hvitved	8a1b4501dd	Merge pull request #17602 from hvitved/rust/cfg-prune-bool-literal ... Rust: Prune CFG for obviously impossible `true/false` edges	2024-09-30 10:05:03 +02:00
Anders Schack-Mulligen	b0ed47c277	Merge pull request #17605 from aschackmull/java/stringbuilder-neutrals ... Java: Add a couple of neutrals	2024-09-30 10:03:41 +02:00
Michael Nebel	baae8d0bb2	Shared: Address model generator review comments.	2024-09-30 09:12:30 +02:00
Jeroen Ketema	e73d1c7b76	C++: Add more macro expansion tests	2024-09-28 22:32:36 +02:00
Owen Mansel-Chan	654d97013f	Merge pull request #17607 from owen-mc/go/add-comments-about-interface-methods-from-embedded-interfaces ... Go: Add comments noting methods from embedded interfaces are already included	2024-09-28 13:49:50 +01:00
Chris Smowton	ca68aaa0de	Remove test code	2024-09-27 19:07:00 +01:00
REDMOND\brodes	b73fe0ba0a	Adding change log	2024-09-27 12:41:45 -04:00
REDMOND\brodes	92c8d39ba3	Updating expected file, false positives now resolved.	2024-09-27 12:39:50 -04:00
REDMOND\brodes	cc24f1ed9f	Modifications to the query to address false positives.	2024-09-27 12:38:22 -04:00
REDMOND\brodes	26e58532ee	Adding tests and updated expected file with false positives to correct.	2024-09-27 12:37:09 -04:00
Owen Mansel-Chan	796db77104	Add comments noting methods from embedded interfaces are already included	2024-09-27 15:03:09 +01:00
Anders Schack-Mulligen	fb630d266e	Java: Add a couple of neutrals	2024-09-27 15:24:06 +02:00
Tom Hvitved	90a8bef64c	Rust: Run codegen	2024-09-27 13:39:15 +02:00
Ian Lynagh	7de1182f92	Merge pull request #17599 from igfoo/igfoo/constrs ... Kotlin: Fix the return type for lambda constructors	2024-09-27 12:38:50 +01:00
Tom Hvitved	dc4160b24a	Rust: Prune CFG for impossible true/false edges	2024-09-27 13:37:29 +02:00
Tom Hvitved	bf58bdd2bd	Rust: Update CFG tests	2024-09-27 13:35:14 +02:00
Tom Hvitved	431b33a274	Rust: Implement LiteralExpr::toString()	2024-09-27 13:33:25 +02:00