spark2014

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed about 16 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 19, 2025 — Jan 19, 2026 Showing page 1 of 962 Search / Filter on:
Merge branch 'topic/1165-dross-file-test' into 'master'	Claire Dross	More...				3 days ago
Merge branch 'topic/935-dross-extended-access' into 'master'	Claire Dross	More...				3 days ago
Merge branch 'topic/1167-dross-destructors' into 'master'	Claire Dross	More...				3 days ago
Reject destructors as unsupported	Claire Dross	More...				3 days ago
Support pragma Extended_Access	Claire Dross	More...				4 days ago
Merge branch 'topic/kanig-1123-df' into 'master'	Johannes Kanig	More...				4 days ago
File test for pragma Short_Circuit_And_Or	Claire Dross	More...				4 days ago
Merge branch 'topic/kanig-1152-baselines' into 'master'	Johannes Kanig	More...				4 days ago
Monitor disk usage on most CI jobs	Johannes Kanig	More...				4 days ago
Merge branch 'topic/toom/1052-reduce-python-calls' into 'master'	Andres Toom	More...				4 days ago
Further baseline updates	Johannes Kanig	More...				5 days ago
xfail spark_book test	Johannes Kanig	More...				5 days ago
further testsuite updates	Johannes Kanig	More...				6 days ago
Merge branch 'topic/1003-clochard-unsigned-base-range' into 'master'	Martin Clochard	More...				6 days ago
Remove failed markers from tests for pre-commit checks	Johannes Kanig	More...				7 days ago
Testsuite updates for provers	Johannes Kanig	More...				7 days ago
Merge branch 'topic/toom/vscode-python-settings' into 'master'	Andres Toom	More...				7 days ago
Merge branch 'topic/kanig-1150-origin' into 'master'	Johannes Kanig	More...				7 days ago
Run basic tests in the same Python process by default	Andres Toom	More...				7 days ago
Identify test origin in test data	Johannes Kanig	More...				8 days ago
Remove obsolete check for test.cmd	Andres Toom	More...				8 days ago
Remove obsolete __init.py__ from testsuite/lib	Andres Toom	More...				8 days ago
Extend Python settings in the code workspace files	Andres Toom	More...				8 days ago
Update test outputs	Martin Clochard	More...				10 days ago
Support for Unsigned_Base_Range aspect in GNATprove	Martin Clochard	More...				10 days ago
Merge branch 'topic/toom/923-ce-diffs' into 'master'	Andres Toom	More...				11 days ago
Remove xfail and update baseline with the prover's result	Andres Toom	More...				12 days ago
Merge branch 'topic/1151-dross-array-attr' into 'master'	Claire Dross	More...				13 days ago
Merge branch 'topic/1027-dross-ghost-state' into 'master'	Claire Dross	More...				13 days ago
Accept assertion level in the grammar of Abstract_State	Claire Dross	More...				13 days ago

←
1
2
3
4
5
6
7
8
9
…
961
962
→