-
Notifications
You must be signed in to change notification settings - Fork 6
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
Reference the true interface file (.resi, rei) when an implementation fails to implement its contract #46
base: 4.06.1+BS
Are you sure you want to change the base?
Commits on Mar 18, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 31ad47b - Browse repository at this point
Copy the full SHA 31ad47bView commit details
Commits on Mar 19, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 2458ccb - Browse repository at this point
Copy the full SHA 2458ccbView commit details
Commits on Mar 21, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 2c9f893 - Browse repository at this point
Copy the full SHA 2c9f893View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8cea5fc - Browse repository at this point
Copy the full SHA 8cea5fcView commit details
Commits on Mar 24, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 4992e82 - Browse repository at this point
Copy the full SHA 4992e82View commit details
Commits on Mar 26, 2020
-
Configuration menu - View commit details
-
Copy full SHA for a1c7197 - Browse repository at this point
Copy the full SHA a1c7197View commit details -
Fix edge cases of
Some ()
andSome (x : unit)
Note that `Some ()` goes to constant branch For constant branch, we pretty much know it is. undefined or not while `Some (x : unit)` goes to type based analysis For type based, if it is predefined unit, done, otherwise need check its constructor description
Configuration menu - View commit details
-
Copy full SHA for b5c26d2 - Browse repository at this point
Copy the full SHA b5c26d2View commit details
Commits on Apr 8, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 87a4be2 - Browse repository at this point
Copy the full SHA 87a4be2View commit details
Commits on Apr 11, 2020
-
Configuration menu - View commit details
-
Copy full SHA for a9a38ec - Browse repository at this point
Copy the full SHA a9a38ecView commit details
Commits on Apr 15, 2020
-
Configuration menu - View commit details
-
Copy full SHA for cb9326f - Browse repository at this point
Copy the full SHA cb9326fView commit details
Commits on Apr 16, 2020
-
add Fld_vairant and Fld_extension
turn Fld_na to Fld_na of string for debugging
Configuration menu - View commit details
-
Copy full SHA for 1c6861c - Browse repository at this point
Copy the full SHA 1c6861cView commit details
Commits on Apr 17, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 4293aec - Browse repository at this point
Copy the full SHA 4293aecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6233e80 - Browse repository at this point
Copy the full SHA 6233e80View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1764288 - Browse repository at this point
Copy the full SHA 1764288View commit details
Commits on Apr 26, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 119c8e8 - Browse repository at this point
Copy the full SHA 119c8e8View commit details
Commits on Apr 30, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 807eed0 - Browse repository at this point
Copy the full SHA 807eed0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4b6ebf3 - Browse repository at this point
Copy the full SHA 4b6ebf3View commit details -
specialize extension comparison
- transl_extension_path will be a temporary thing, it is a string in BS - in native, for non-const, it compares (Fld 0) with `transl_extension_path`, for const, it use itself to compare against `transl_extension_path` - for bs, in both cases, it calls `extension_slot_eq exn transl_extension_path`
Configuration menu - View commit details
-
Copy full SHA for b1ef1de - Browse repository at this point
Copy the full SHA b1ef1deView commit details
Commits on May 6, 2020
-
Configuration menu - View commit details
-
Copy full SHA for b3f5325 - Browse repository at this point
Copy the full SHA b3f5325View commit details
Commits on May 10, 2020
-
Configuration menu - View commit details
-
Copy full SHA for b8004f4 - Browse repository at this point
Copy the full SHA b8004f4View commit details
Commits on May 18, 2020
-
add IRRELEVANT comments to unused tag_info, provide separate primitiv…
…e sets per backend
Configuration menu - View commit details
-
Copy full SHA for 539f904 - Browse repository at this point
Copy the full SHA 539f904View commit details -
Configuration menu - View commit details
-
Copy full SHA for 77318c3 - Browse repository at this point
Copy the full SHA 77318c3View commit details
Commits on May 19, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 42ad0ab - Browse repository at this point
Copy the full SHA 42ad0abView commit details
Commits on May 20, 2020
-
Configuration menu - View commit details
-
Copy full SHA for a020fc6 - Browse repository at this point
Copy the full SHA a020fc6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4579368 - Browse repository at this point
Copy the full SHA 4579368View commit details -
Configuration menu - View commit details
-
Copy full SHA for a410ff7 - Browse repository at this point
Copy the full SHA a410ff7View commit details -
Configuration menu - View commit details
-
Copy full SHA for c553931 - Browse repository at this point
Copy the full SHA c553931View commit details
Commits on May 27, 2020
-
Configuration menu - View commit details
-
Copy full SHA for dfc68f5 - Browse repository at this point
Copy the full SHA dfc68f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 018a24a - Browse repository at this point
Copy the full SHA 018a24aView commit details
Commits on Jun 16, 2020
-
Configuration menu - View commit details
-
Copy full SHA for e3d0a9b - Browse repository at this point
Copy the full SHA e3d0a9bView commit details
Commits on Jul 11, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 2de236d - Browse repository at this point
Copy the full SHA 2de236dView commit details
Commits on Jul 17, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 87396e7 - Browse repository at this point
Copy the full SHA 87396e7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0aabcc8 - Browse repository at this point
Copy the full SHA 0aabcc8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b68c41 - Browse repository at this point
Copy the full SHA 5b68c41View commit details
Commits on Jul 19, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 8e0f7c9 - Browse repository at this point
Copy the full SHA 8e0f7c9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0855869 - Browse repository at this point
Copy the full SHA 0855869View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ff3edc - Browse repository at this point
Copy the full SHA 4ff3edcView commit details
Commits on Jul 21, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 270ab07 - Browse repository at this point
Copy the full SHA 270ab07View commit details
Commits on Jul 23, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 2de9e2f - Browse repository at this point
Copy the full SHA 2de9e2fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7abc1c4 - Browse repository at this point
Copy the full SHA 7abc1c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for b0092d0 - Browse repository at this point
Copy the full SHA b0092d0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7573959 - Browse repository at this point
Copy the full SHA 7573959View commit details -
Configuration menu - View commit details
-
Copy full SHA for 92e58be - Browse repository at this point
Copy the full SHA 92e58beView commit details
Commits on Aug 9, 2020
-
Configuration menu - View commit details
-
Copy full SHA for f6900f7 - Browse repository at this point
Copy the full SHA f6900f7View commit details
Commits on Sep 28, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 47ab980 - Browse repository at this point
Copy the full SHA 47ab980View commit details -
Configuration menu - View commit details
-
Copy full SHA for f16cac1 - Browse repository at this point
Copy the full SHA f16cac1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 332544c - Browse repository at this point
Copy the full SHA 332544cView commit details -
Configuration menu - View commit details
-
Copy full SHA for f2e0195 - Browse repository at this point
Copy the full SHA f2e0195View commit details -
Configuration menu - View commit details
-
Copy full SHA for 05ba9ae - Browse repository at this point
Copy the full SHA 05ba9aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for d93a23e - Browse repository at this point
Copy the full SHA d93a23eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e7dcbb - Browse repository at this point
Copy the full SHA 1e7dcbbView commit details -
Configuration menu - View commit details
-
Copy full SHA for b7abd5f - Browse repository at this point
Copy the full SHA b7abd5fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 13c08d0 - Browse repository at this point
Copy the full SHA 13c08d0View commit details
Commits on Nov 16, 2020
-
Configuration menu - View commit details
-
Copy full SHA for b7bc2ac - Browse repository at this point
Copy the full SHA b7bc2acView commit details
Commits on Dec 17, 2020
-
Configuration menu - View commit details
-
Copy full SHA for bc2625f - Browse repository at this point
Copy the full SHA bc2625fView commit details
Commits on Feb 4, 2021
-
Reference the true interface file (.resi, rei) when an implementation…
… fails to implement its contract
Michael Weichert committedFeb 4, 2021 Configuration menu - View commit details
-
Copy full SHA for 1299d75 - Browse repository at this point
Copy the full SHA 1299d75View commit details