Skip to content

Instantly share code, notes, and snippets.

View isubasinghe's full-sized avatar
👨‍🎓
Trying to study hard

Isitha Subasinghe isubasinghe

👨‍🎓
Trying to study hard
72 followers · 57 following
View GitHub Profile
@isubasinghe
isubasinghe / verifast_incompleteness.c
Created June 5, 2024 04:38
#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
isubasinghe / 3.4 chore deps
Created May 7, 2024 06:16
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
isubasinghe / 3.4 fixes
Created May 5, 2024 04:26
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)
@isubasinghe
isubasinghe / make_graphlang.sh
Created February 5, 2024 00:14
continue_export_cmd
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"
@isubasinghe
isubasinghe / gist:b8fb5abb5db9b6c769ad97c3e2b63866
Created February 5, 2024 00:08
continue_fail
char STRINGLITERAL[1];
typedef signed char int8_t;
typedef short int int16_t;
typedef int int32_t;
@isubasinghe
isubasinghe / hamt.c
Created December 15, 2023 11:31 — forked from robalni/hamt.c
#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
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.
{-# 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
isubasinghe / CoC.ml
Created March 27, 2023 07:04 — forked from Hirrolot/CoC.ml
How to implement dependent types in 80 lines of code
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
isubasinghe / keybase.md
Created November 9, 2022 05:35
keybase.md

Keybase proof

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:

@isubasinghe
isubasinghe / borrow_inference.md
Created November 27, 2021 12:16 — forked from paniq/borrow_inference.md
Borrow Inference

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.