I hereby claim:
- I am isubasinghe on github.
- I am isubasinghe (https://keybase.io/isubasinghe) on keybase.
- I have a public key whose fingerprint is 5A0D F516 F669 AD89 6CEB E47B F0C5 A132 3C0A 0C9C
To claim this, I am signing this object:
Isitha Subasinghe isubasinghe
isubasinghe
/ verifast_incompleteness.c
Created
June 5, 2024 04:38
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdint.h> | |
| #include <stdbool.h> | |
| #include <stdlib.h> | |
| #define CONFIG_L1_CACHE_LINE_SIZE_BITS 64 | |
| #define DRIVER 0 | |
| #define CLIENT_CH 1 | |
| #define NUM_CLIENTS 3 | |
| #define NET_BUFFER_SIZE 2048 | |
| #define RING_SIZE 512 |
isubasinghe
/ 3.4 chore deps
Created
May 7, 2024 06:16
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 6923cc837 chore(deps): bump github.com/minio/minio-go/v7 from 7.0.52 to 7.0.55 (#11145) | |
| 760299ff9 chore(deps): bump github.com/minio/minio-go/v7 from 7.0.55 to 7.0.56 (#11169) | |
| f3c948a04 chore(deps): bump github.com/itchyny/gojq from 0.12.12 to 0.12.13 (#11170) | |
| 572641f9c chore(deps): bump github.com/prometheus/client_golang from 1.15.1 to 1.16.0 (#11227) | |
| d2091a710 chore(deps): bump react-datepicker from 4.12.0 to 4.14.0 in /ui (#11231) | |
| 8089f41bd chore(deps): bump github.com/minio/minio-go/v7 from 7.0.56 to 7.0.58 (#11261) | |
| f180335b3 chore(deps): bump react-datepicker from 4.14.0 to 4.14.1 in /ui (#11263) | |
| 476eca40f chore(deps): bump cloud.google.com/go/storage from 1.30.1 to 1.31.0 (#11284) | |
| 6dfe5d49e chore(deps): bump github.com/minio/minio-go/v7 from 7.0.58 to 7.0.59 (#11285) | |
| 75e462af2 chore(deps): bump dependabot/fetch-metadata from 1.5.1 to 1.6.0 (#11287) |
isubasinghe
/ 3.4 fixes
Created
May 5, 2024 04:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2016078c0 fix: add space to fix release action issue (#11160) | |
| ac9161ce1 fix: Workflow list page crashes for workflow rows without labels (#11195) | |
| fdb3ec03f fix: Live workflow takes precedence during merge to correctly display in the UI (#11336) | |
| 97b6fa844 fix: Modify broken ui by archived col (#11366) | |
| 5b31ca18b fix: persist archived workflows with `Persisted` label (#11367) (#11413) | |
| 5cb75d91a fix: add query string to workflow detail page(#11371) (#11373) | |
| f5d41f8c9 fix: make archived logs more human friendly in UI (#11420) | |
| f8a34a3b5 fix: Devcontainer resets /etc/hosts (#11439) (#11440) | |
| 1f6b19f3a fix: add guard against NodeStatus. Fixes #11102 (#11451) | |
| 61a4ac45c fix: Ignore failed read of exit code. Fixes #11490 (#11496) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| theory "tmp" | |
| imports | |
| "CParser.CTranslation" | |
| "AsmRefine.GlobalsSwap" | |
| "AsmRefine.SimplExport" | |
| begin | |
| declare [[populate_globals=true]] | |
| typedecl machine_state | |
| typedecl cghost_state | |
| install_C_file "input.c" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| char STRINGLITERAL[1]; | |
| typedef signed char int8_t; | |
| typedef short int int16_t; | |
| typedef int int32_t; | |
isubasinghe
/ hamt.c
Created
December 15, 2023 11:31
— forked from robalni/hamt.c
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdio.h> | |
| #include <string.h> | |
| #include <stdint.h> | |
| static uint64_t hash_str(char *data) { | |
| uint64_t prime = 0x100000001b3; | |
| uint64_t hash = 0xcbf29ce484222325; | |
| for (size_t i = 0; data[i]; i++) { | |
| hash ^= (unsigned char)data[i]; | |
| hash *= prime; |
isubasinghe
/ WellTyped.hs
Created
August 24, 2023 10:48
— forked from AndrasKovacs/WellTyped.hs
Well-typed interpreter from the Idris tutorial (http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf) in Haskell.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE | |
| LambdaCase, GADTs, TypeOperators, TypeFamilies, DataKinds #-} | |
| data Type = TInt | TBool | Type :=> Type | |
| -- Needs GHC >= 7.8 | |
| type family Interp (t :: Type) where | |
| Interp TInt = Int | |
| Interp TBool = Bool | |
| Interp (a :=> b) = Interp a -> Interp b |
isubasinghe
/ CoC.ml
Created
March 27, 2023 07:04
— forked from hirrolot/CoC.ml
How to implement dependent types in 80 lines of code
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type term = | |
| | Lam of (term -> term) | |
| | Pi of term * (term -> term) | |
| | Appl of term * term | |
| | Ann of term * term | |
| | FreeVar of int | |
| | Star | |
| | Box | |
| let unfurl lvl f = f (FreeVar lvl) |
isubasinghe
/ borrow_inference.md
Created
November 27, 2021 12:16
— forked from paniq/borrow_inference.md
Borrow Inference
by Leonard Ritter, Duangle GbR
This document has only historical significance and does not describe the borrow checker as it is now implemented. Please see this document for a more recent description.
This is a description of borrow inference, an alternative to borrow checking that requires no declarative annotations to support proper management of unique values and borrowed references at compile time.
NewerOlder