Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
João Pizani
piware-agda
Repository
Branches
Overview
Active
Stale
All
slides-dtp2014
06a3f402
·
adding Makefile
·
Aug 21, 2014
vienna-talk-code
06a3f402
·
adding Makefile
·
Aug 21, 2014
report-include-changes
c18292a0
·
patch commands in Makefile not outputting rejects and statuses ignored
·
Aug 25, 2014
slides-thesis-defense
dc4f4b7b
·
Formatted reg-test for defense slides
·
Aug 25, 2014
testing-framework
b0a808b2
·
simplest circuit example with a testing-framework "proof" (exhaustive test)
·
Sep 10, 2014
synthesis-netlists
c5667bdb
·
tying Atom and Gates typeclass instances to VHDL constructs
·
Sep 22, 2014
slides-nl-fpday-2015
5e5d8aee
·
sectioning small part of Synth
·
Jan 08, 2015
combseq
9d9eeab0
·
Use Circuit with CombSeq everywhere
·
Jan 16, 2015
slides-types2015
241e9dcc
·
using sections
·
May 17, 2015
marcell-work
4be5d56d
·
Modularised and literated StreamIntro for LaTeX
·
Nov 30, 2015
integration-marcel
1a427415
·
Move out ProofSamples completely, some to general lemma modules
·
Feb 22, 2016
paper-2015
0fd10566
·
Fixities of ℂ constructors a bit crammed
·
Oct 21, 2016
master
default
0a755747
·
Ignoring emacs temp files (~)
·
May 23, 2023