Giters

SoftwareFoundationGroupAtKyotoU / consort-public

This is NOT a development repository for Consort; it is provided as a snapshot of our ESOP 2020 work on Consort for other interested researchers.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ConSORT 2020 Snapshot (Obsolete)

⚠️ This repository is obsolete. See https://github.com/SoftwareFoundationGroupAtKyotoU/consort for the latest development.

This is NOT a development repository for Consort; it is provided as a snapshot of our ESOP 2020 work on Consort for interested researchers.

About

This is NOT a development repository for Consort; it is provided as a snapshot of our ESOP 2020 work on Consort for other interested researchers.

Languages

Language:OCaml 94.1%Language:Java 3.3%Language:Emacs Lisp 1.1%Language:SMT 0.7%Language:Shell 0.5%Language:Python 0.2%Language:Makefile 0.1%