Folder Path

/msc/thesis/dtp2014/talk/agda/src/PiWare/

9 directories 10 files 25 KiB total

	Name	Size	Modified
	Up
	Atom/	—	11/14/2016 11:07:43 PM +00:00
	Circuit/	—	11/14/2016 11:07:43 PM +00:00
	Gates/	—	11/14/2016 11:07:43 PM +00:00
	Patterns/	—	11/14/2016 11:07:43 PM +00:00
	Plugs/	—	11/14/2016 11:07:43 PM +00:00
	ProofSamples/	—	11/14/2016 11:07:43 PM +00:00
	Samples/	—	11/14/2016 11:07:43 PM +00:00
	Simulation/	—	11/14/2016 11:07:43 PM +00:00
	Synthesizable/	—	11/14/2016 11:07:43 PM +00:00
	Atom.lagda	591 B	11/14/2016 11:07:43 PM +00:00
	Circuit.lagda	4.1 KiB	11/14/2016 11:07:43 PM +00:00
	Correctness.lagda	3.9 KiB	11/14/2016 11:07:43 PM +00:00
	Gates.lagda	492 B	11/14/2016 11:07:43 PM +00:00
	Padding.lagda	2.7 KiB	11/14/2016 11:07:43 PM +00:00
	Patterns.lagda	1004 B	11/14/2016 11:07:43 PM +00:00
	Plugs.lagda	6.4 KiB	11/14/2016 11:07:43 PM +00:00
	Simulation.lagda	921 B	11/14/2016 11:07:43 PM +00:00
	Synthesizable.lagda	3.7 KiB	11/14/2016 11:07:43 PM +00:00
	Utils.lagda	1.5 KiB	11/14/2016 11:07:43 PM +00:00