-
Notifications
You must be signed in to change notification settings - Fork 245
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Sanity checking FLINT #2085
Open
albinahlback
wants to merge
114
commits into
flintlib:main
Choose a base branch
from
albinahlback:syntax_option
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Sanity checking FLINT #2085
Commits on Oct 8, 2024
-
Add configure option for sanity check
Adds a lot of compiler warnings, and turns warnings into errors. Maintainer-level only.
Configuration menu - View commit details
-
Copy full SHA for b2a518d - Browse repository at this point
Copy the full SHA b2a518dView commit details -
Configuration menu - View commit details
-
Copy full SHA for ed16203 - Browse repository at this point
Copy the full SHA ed16203View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3f85860 - Browse repository at this point
Copy the full SHA 3f85860View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb23003 - Browse repository at this point
Copy the full SHA cb23003View commit details -
Configuration menu - View commit details
-
Copy full SHA for b79f504 - Browse repository at this point
Copy the full SHA b79f504View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1840d9b - Browse repository at this point
Copy the full SHA 1840d9bView commit details
Commits on Oct 9, 2024
-
Set TESTCFLAGS for sanity check
Removes -Wsign-compare, -Wmissing-prototypes and -Wmissing-declarations.
Configuration menu - View commit details
-
Copy full SHA for e3a2262 - Browse repository at this point
Copy the full SHA e3a2262View commit details -
Configuration menu - View commit details
-
Copy full SHA for bb4f76c - Browse repository at this point
Copy the full SHA bb4f76cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b213b3 - Browse repository at this point
Copy the full SHA 7b213b3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8cee534 - Browse repository at this point
Copy the full SHA 8cee534View commit details -
Configuration menu - View commit details
-
Copy full SHA for d868a78 - Browse repository at this point
Copy the full SHA d868a78View commit details -
Configuration menu - View commit details
-
Copy full SHA for 850bc57 - Browse repository at this point
Copy the full SHA 850bc57View commit details -
Configuration menu - View commit details
-
Copy full SHA for e4412c4 - Browse repository at this point
Copy the full SHA e4412c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 93c38ce - Browse repository at this point
Copy the full SHA 93c38ceView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1bc100e - Browse repository at this point
Copy the full SHA 1bc100eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3df7efa - Browse repository at this point
Copy the full SHA 3df7efaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ad0dfb - Browse repository at this point
Copy the full SHA 9ad0dfbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 90e57a1 - Browse repository at this point
Copy the full SHA 90e57a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for b4adc40 - Browse repository at this point
Copy the full SHA b4adc40View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2a6aad4 - Browse repository at this point
Copy the full SHA 2a6aad4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 442a106 - Browse repository at this point
Copy the full SHA 442a106View commit details -
Configuration menu - View commit details
-
Copy full SHA for 36cf1e0 - Browse repository at this point
Copy the full SHA 36cf1e0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d4ad4f - Browse repository at this point
Copy the full SHA 2d4ad4fView commit details -
Configuration menu - View commit details
-
Copy full SHA for c0703c6 - Browse repository at this point
Copy the full SHA c0703c6View commit details -
Configuration menu - View commit details
-
Copy full SHA for d46cc5c - Browse repository at this point
Copy the full SHA d46cc5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for c10ee22 - Browse repository at this point
Copy the full SHA c10ee22View commit details -
Configuration menu - View commit details
-
Copy full SHA for 95900ae - Browse repository at this point
Copy the full SHA 95900aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4bc69e3 - Browse repository at this point
Copy the full SHA 4bc69e3View commit details -
Configuration menu - View commit details
-
Copy full SHA for b9256d9 - Browse repository at this point
Copy the full SHA b9256d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 27c9e7e - Browse repository at this point
Copy the full SHA 27c9e7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6d726dd - Browse repository at this point
Copy the full SHA 6d726ddView commit details -
Configuration menu - View commit details
-
Copy full SHA for 91d9124 - Browse repository at this point
Copy the full SHA 91d9124View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3617997 - Browse repository at this point
Copy the full SHA 3617997View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0508c4b - Browse repository at this point
Copy the full SHA 0508c4bView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc07303 - Browse repository at this point
Copy the full SHA dc07303View commit details -
Configuration menu - View commit details
-
Copy full SHA for 09408ee - Browse repository at this point
Copy the full SHA 09408eeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b06100 - Browse repository at this point
Copy the full SHA 8b06100View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d6901e - Browse repository at this point
Copy the full SHA 8d6901eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ee27cb - Browse repository at this point
Copy the full SHA 4ee27cbView commit details -
Configuration menu - View commit details
-
Copy full SHA for ff6c5ae - Browse repository at this point
Copy the full SHA ff6c5aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for ec124bb - Browse repository at this point
Copy the full SHA ec124bbView commit details -
Configuration menu - View commit details
-
Copy full SHA for f9fb156 - Browse repository at this point
Copy the full SHA f9fb156View commit details -
Configuration menu - View commit details
-
Copy full SHA for b648337 - Browse repository at this point
Copy the full SHA b648337View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1423e65 - Browse repository at this point
Copy the full SHA 1423e65View commit details -
Configuration menu - View commit details
-
Copy full SHA for b0c9f2d - Browse repository at this point
Copy the full SHA b0c9f2dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7425f80 - Browse repository at this point
Copy the full SHA 7425f80View commit details -
Configuration menu - View commit details
-
Copy full SHA for d5ad46e - Browse repository at this point
Copy the full SHA d5ad46eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ec812e - Browse repository at this point
Copy the full SHA 5ec812eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 75dbb2e - Browse repository at this point
Copy the full SHA 75dbb2eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 57a1240 - Browse repository at this point
Copy the full SHA 57a1240View commit details -
Configuration menu - View commit details
-
Copy full SHA for b48774d - Browse repository at this point
Copy the full SHA b48774dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a70c65 - Browse repository at this point
Copy the full SHA 6a70c65View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3784cbf - Browse repository at this point
Copy the full SHA 3784cbfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 43a604d - Browse repository at this point
Copy the full SHA 43a604dView commit details -
Configuration menu - View commit details
-
Copy full SHA for e1043cd - Browse repository at this point
Copy the full SHA e1043cdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7483f30 - Browse repository at this point
Copy the full SHA 7483f30View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c48701 - Browse repository at this point
Copy the full SHA 6c48701View commit details -
Configuration menu - View commit details
-
Copy full SHA for ed9f778 - Browse repository at this point
Copy the full SHA ed9f778View commit details -
Configuration menu - View commit details
-
Copy full SHA for db5f8c3 - Browse repository at this point
Copy the full SHA db5f8c3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3e4c10b - Browse repository at this point
Copy the full SHA 3e4c10bView commit details -
Configuration menu - View commit details
-
Copy full SHA for e9cae31 - Browse repository at this point
Copy the full SHA e9cae31View commit details -
Configuration menu - View commit details
-
Copy full SHA for afae44c - Browse repository at this point
Copy the full SHA afae44cView commit details -
Configuration menu - View commit details
-
Copy full SHA for da3f9d0 - Browse repository at this point
Copy the full SHA da3f9d0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3d17ec6 - Browse repository at this point
Copy the full SHA 3d17ec6View commit details -
Configuration menu - View commit details
-
Copy full SHA for a2fbe4a - Browse repository at this point
Copy the full SHA a2fbe4aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 59527c4 - Browse repository at this point
Copy the full SHA 59527c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1eade77 - Browse repository at this point
Copy the full SHA 1eade77View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e9c656 - Browse repository at this point
Copy the full SHA 1e9c656View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf45f1c - Browse repository at this point
Copy the full SHA bf45f1cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 83d1fa2 - Browse repository at this point
Copy the full SHA 83d1fa2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 89e641c - Browse repository at this point
Copy the full SHA 89e641cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 56af5a9 - Browse repository at this point
Copy the full SHA 56af5a9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9cf3951 - Browse repository at this point
Copy the full SHA 9cf3951View commit details -
Configuration menu - View commit details
-
Copy full SHA for 750149a - Browse repository at this point
Copy the full SHA 750149aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 73f6d6b - Browse repository at this point
Copy the full SHA 73f6d6bView commit details -
Configuration menu - View commit details
-
Copy full SHA for a3e08b1 - Browse repository at this point
Copy the full SHA a3e08b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for f7be657 - Browse repository at this point
Copy the full SHA f7be657View commit details -
Configuration menu - View commit details
-
Copy full SHA for df27e38 - Browse repository at this point
Copy the full SHA df27e38View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4c51e01 - Browse repository at this point
Copy the full SHA 4c51e01View commit details -
Configuration menu - View commit details
-
Copy full SHA for e4dbbc9 - Browse repository at this point
Copy the full SHA e4dbbc9View commit details -
Configuration menu - View commit details
-
Copy full SHA for df651f3 - Browse repository at this point
Copy the full SHA df651f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for fd1ad12 - Browse repository at this point
Copy the full SHA fd1ad12View commit details -
Configuration menu - View commit details
-
Copy full SHA for f78d869 - Browse repository at this point
Copy the full SHA f78d869View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5eab58a - Browse repository at this point
Copy the full SHA 5eab58aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 74ac4d9 - Browse repository at this point
Copy the full SHA 74ac4d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 058e498 - Browse repository at this point
Copy the full SHA 058e498View commit details -
Configuration menu - View commit details
-
Copy full SHA for 71da249 - Browse repository at this point
Copy the full SHA 71da249View commit details -
Configuration menu - View commit details
-
Copy full SHA for d3764a5 - Browse repository at this point
Copy the full SHA d3764a5View commit details -
Configuration menu - View commit details
-
Copy full SHA for f7dd7b0 - Browse repository at this point
Copy the full SHA f7dd7b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f67aaa - Browse repository at this point
Copy the full SHA 1f67aaaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a02da2 - Browse repository at this point
Copy the full SHA 1a02da2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 838a5cf - Browse repository at this point
Copy the full SHA 838a5cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for ada84b9 - Browse repository at this point
Copy the full SHA ada84b9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8a6d57d - Browse repository at this point
Copy the full SHA 8a6d57dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 86bcdc5 - Browse repository at this point
Copy the full SHA 86bcdc5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 090df2b - Browse repository at this point
Copy the full SHA 090df2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 81676fb - Browse repository at this point
Copy the full SHA 81676fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc317a0 - Browse repository at this point
Copy the full SHA dc317a0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 882e879 - Browse repository at this point
Copy the full SHA 882e879View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5294c81 - Browse repository at this point
Copy the full SHA 5294c81View commit details -
Configuration menu - View commit details
-
Copy full SHA for eed843e - Browse repository at this point
Copy the full SHA eed843eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0efac5e - Browse repository at this point
Copy the full SHA 0efac5eView commit details -
Configuration menu - View commit details
-
Copy full SHA for fa6adb3 - Browse repository at this point
Copy the full SHA fa6adb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for dd7c9bf - Browse repository at this point
Copy the full SHA dd7c9bfView commit details -
Configuration menu - View commit details
-
Copy full SHA for a30910c - Browse repository at this point
Copy the full SHA a30910cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 82a954d - Browse repository at this point
Copy the full SHA 82a954dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 01765b5 - Browse repository at this point
Copy the full SHA 01765b5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 77e1fd0 - Browse repository at this point
Copy the full SHA 77e1fd0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d49390 - Browse repository at this point
Copy the full SHA 8d49390View commit details -
Configuration menu - View commit details
-
Copy full SHA for fd0a8d2 - Browse repository at this point
Copy the full SHA fd0a8d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for d63713b - Browse repository at this point
Copy the full SHA d63713bView commit details -
Configuration menu - View commit details
-
Copy full SHA for ab33d2c - Browse repository at this point
Copy the full SHA ab33d2cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 77dabaa - Browse repository at this point
Copy the full SHA 77dabaaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 46738f2 - Browse repository at this point
Copy the full SHA 46738f2View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.