Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / qaristote / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaristote%2Fliquid-fixpoint

Fork of ucsd-progsys/liquid-fixpoint
Stars: 0
Forks: 0
Open Issues: 0

License: bsd-3-clause
Language:
Repo Size: 5.24 MB
Dependencies: 71

Created: over 1 year ago
Updated: over 1 year ago
Last pushed: about 1 year ago
Last synced: about 1 year ago

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/cabal.yml actions

actions/cache v3 composite
actions/checkout v3 composite
haskell/actions/setup v2 composite
pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite

.github/workflows/hlint.yml actions

actions/checkout v3 composite
haskell/actions/hlint-run v2 composite
haskell/actions/hlint-setup v2 composite

.github/workflows/stack.yml actions

actions/cache v3 composite
actions/checkout v3 composite
haskell/actions/setup v2 composite
pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite

.github/workflows/stan.yml actions

actions/cache v2 composite
actions/checkout v2 composite
haskell/actions/setup v1 composite
pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite

liquid-fixpoint.cabal hackage