8000 Tags · ConDai/cogent · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ConDai/cogent

Tags

auto-deploy-2147

Toggle auto-deploy-2147's commit message

Unverified

No user is associated with the committer email.
Learn about vigilant mode 
doc: update README for tests

[skip c

itp_2021

Toggle itp_2021's commit message 
ITP 2021 artefact

subtyping-bench-new

Toggle subtyping-bench-new's commit message 
[impl]serial: Fix UART initialisation.

Deleted some initialisation code during cleanup, rewrite that.

cogent-2.0.8

Toggle cogent-2.0.8's commit message 
bilby fixes for kernel version 4.3.1

cogent-2.0.5

Toggle cogent-2.0.5's commit message 
bump version to 2.0.5

* update maintainer and email
* update project homepage

icfp_2016

Toggle icfp_2016's commit message 
readme: fix a broken link

itp_2016

Toggle itp_2016's commit message 
more decription of the homepage
0