Skip to content

Activity

changelog

dorchardpushed 2 commits to main • 2a2e347…bcf2365 • 
25 days ago

Merge pull request #229 from granule-project/fractional

Pull request merge
dorchardpushed 85 commits to main • dfc2314…2a2e347 • 
25 days ago

tweaks

dorchardpushed 1 commit to fractional • 78b43af…f861c0d • 
25 days ago

fix typo

Pull request merge
dorchardpushed 1 commit to main • 094c905…dfc2314 • 
on Oct 17

fix example/test

Pull request merge
dorchardpushed 1 commit to main • 9896176…094c905 • 
on Oct 17

fix example/test

dorchardcreated fix-example • 74d0b72 • 
on Oct 17

Merge branch 'main' into fractional

dorchardpushed 62 commits to fractional • 66c8c04…78b43af • 
on Oct 17

Add missing output file

Pull request merge
dorchardpushed 3 commits to main • d4e11b1…9896176 • 
on May 8

Deleted branch

dorcharddeleted graded-base • 
on May 8

Add missing output file

buggymcbugfixcreated fix-LeftPad • be57723 • 
on May 8

Deleted branch

Deleted branch

dorcharddeleted usage-intervals-fix-case • 
on May 8

Deleted branch

dorcharddeleted dev-minor • 
on May 8

Quantification bug

buggymcbugfixcreated sbv-10 • 6fab0db • 
on May 8

filter out definitions with holes when trying examples

Pull request merge
buggymcbugfixpushed 6 commits to main • b0e17d8…d4e11b1 • 
on May 8

filter out definitions with holes when trying examples

Force push
buggymcbugfixforce pushed to dev-minor • 2633083…016ef4b • 
on May 3

CI: use preinstalled Stack; fix caching

Pull request merge
buggymcbugfixpushed 4 commits to main • 83bdac0…b0e17d8 • 
on May 2

filter out definitions with holes when trying examples

Force push
buggymcbugfixforce pushed to dev-minor • c137917…2633083 • 
on May 1

filter out definitions with holes when trying examples

dorchardpushed 1 commit to dev-minor • e68e624…c137917 • 
on Apr 9

Switch around who gets to be the "Normal" Set

buggymcbugfixpushed 4 commits to dev-minor • e8a9480…e68e624 • 
on Mar 18

Switch around who gets to be the "Normal" Set

Force push
buggymcbugfixforce pushed to securityCoeffect • cbc07d0…e68e624 • 
on Mar 18

Add NonInterfering semiring predicate

Force push
buggymcbugfixforce pushed to securityCoeffect • 8ff897c…cbc07d0 • 
on Mar 16

fix graded base on lambdas

dorchardpushed 1 commit to dev-minor • 577b71a…e8a9480 • 
on Mar 16

Add NonInterfering semiring predicate

Force push
buggymcbugfixforce pushed to securityCoeffect • 8690295…8ff897c • 
on Mar 11

Merge pull request #239 from granule-project/dev-minor

Pull request merge
dorchardpushed 111 commits to main • cd559b9…83bdac0 • 
on Mar 8

changelog

dorchardpushed 1 commit to dev-minor • ee6e11c…577b71a • 
on Mar 8

update tests

dorchardpushed 3 commits to dev-minor • 5f07f3d…ee6e11c • 
on Mar 8

update some tests

dorchardpushed 1 commit to dev-minor • 77f9d9d…5f07f3d • 
on Mar 8

fix cost example to be more precise

dorchardpushed 2 commits to dev-minor • e3b8898…77f9d9d • 
on Mar 8

slight naming tweak

dorchardpushed 1 commit to dev-minor • 9d89933…e3b8898 • 
on Mar 7