builds.sr.ht

~remexre

Minneapolis

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

Embeddable badge for this view:

Markdown

[![builds.sr.ht status](https://builds.sr.ht/~remexre/sylvan/commits/trunk/freebsd.yml.svg)](https://builds.sr.ht/~remexre/sylvan/commits/trunk/freebsd.yml?)

~remexre/sylvan/commits/trunk/freebsd.yml

#1380810 ~remexre/sylvan/commits/trunk/freebsd.yml 5 days ago timeout

ed513bd — Nathan Ringo

App solving

install-ocaml-deps build

timeout 5 days ago

#1380061 ~remexre/sylvan/commits/trunk/freebsd.yml 6 days ago failed

da1dee3 — Nathan Ringo

Split App and CurryApp.

install-ocaml-deps build

failed 6 days ago

#1379968 ~remexre/sylvan/commits/trunk/freebsd.yml 6 days ago timeout

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

install-ocaml-deps build

timeout 6 days ago

#1379265 ~remexre/sylvan/commits/trunk/freebsd.yml 7 days ago timeout

4964a4e — Nathan Ringo

Save contexts with holes.

install-ocaml-deps build

timeout 7 days ago

#1379230 ~remexre/sylvan/commits/trunk/freebsd.yml 7 days ago timeout

c360945 — Nathan Ringo

Start of the solver.

install-ocaml-deps build

timeout 7 days ago

#1379091 ~remexre/sylvan/commits/trunk/freebsd.yml 7 days ago timeout

20a65c4 — Nathan Ringo

Beginning of the new kind-checker. To the point where we need the solver.

install-ocaml-deps build

timeout 7 days ago

#1375084 ~remexre/sylvan/commits/trunk/freebsd.yml 13 days ago timeout

fa2ed0b — Nathan Ringo

Fully tear out the old type-checker.

install-ocaml-deps build

timeout 13 days ago

#1365154 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago timeout

1431138 — Nathan Ringo

Rearrange Tyck_common to minimize the amount of weird stuff that happens because of its letrec.

install-ocaml-deps build

timeout a month ago

#1362061 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago timeout

a1fc734 — Nathan Ringo

more generic structures

install-ocaml-deps build

timeout a month ago

#1361127 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago timeout

ceb6840 — Nathan Ringo

Adds missing static.

install-ocaml-deps build

timeout a month ago

#1360487 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago timeout

b59e36d — Nathan Ringo

Adds GC experiment.

install-ocaml-deps build

timeout a month ago

#1351435 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago failed

7ae693f — Nathan Ringo

A big uncommitted chunk of tyck refactor.

install-ocaml-deps build

failed a month ago

#1349898 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago failed

50489d1 — Nathan Ringo

Moves metabot to its own repo.

install-ocaml-deps build

failed a month ago

#1349638 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago failed

f4b8c24 — Nathan Ringo

Move metabot library to a subdirectory.

install-ocaml-deps build

failed a month ago

#1349632 ~remexre/sylvan/commits/trunk/freebsd.yml a month ago failed

a63867b — Nathan Ringo

Mostly finish LJ foundations.

install-ocaml-deps build

failed a month ago

1 / 12