Issues

• Integrate examples of scan circuits in "Samples"

  enhancement
  joaopizani/piware-agda#44 · Filter by author joaopizani opened on Jun 8, 2015
  

• Memoize "delay"

  bug
  joaopizani/piware-agda#43 · Filter by author joaopizani opened on May 30, 2015 · working-lib
  

• Integrate Victor's rewrite library for congruence generation

  enhancement
  joaopizani/piware-agda#38 · Filter by author joaopizani opened on Apr 5, 2015 · proof-automation
  

• Proof combinators based on connection patterns

  enhancement
  joaopizani/piware-agda#37 · Filter by author joaopizani opened on Apr 5, 2015 · proof-combinators
  

• Revamp connection patterns

  enhancement
  joaopizani/piware-agda#36 · Filter by author joaopizani opened on Apr 5, 2015 · proof-combinators
  

• Develop basic seq/par correctness combinators

  essential
  joaopizani/piware-agda#35 · Filter by author joaopizani opened on Apr 5, 2015 · proof-combinators
  

• Suggest "indexed relations" framework for upstream stdlib

  investigation
  joaopizani/piware-agda#34 · Filter by author joaopizani opened on Apr 5, 2015
  

• Generalize "compositional congruence" beyond circuits

  enhancement
  joaopizani/piware-agda#33 · Filter by author joaopizani opened on Apr 5, 2015 · proof-combinators
  

• Integrate "compositional congruence" of circuits

  essential
  joaopizani/piware-agda#32 · Filter by author joaopizani opened on Apr 5, 2015 · proof-combinators
  

• Give universally-quantified proof from collection of all test cases of a finite set

  enhancement
  joaopizani/piware-agda#31 · Filter by author joaopizani opened on Apr 5, 2015 · testing
  

• Indexed Monoid solver

  enhancementinvestigation
  joaopizani/piware-agda#30 · Filter by author joaopizani opened on Apr 5, 2015 · proof-automation
  

• Pack up _⟫_ and _∥_ in indexed Monoid structure

  enhancement
  joaopizani/piware-agda#29 · Filter by author joaopizani opened on Apr 5, 2015 · proof-automation
  

• Boolean-valued "check" function assuming input Stream

  essential
  joaopizani/piware-agda#28 · Filter by author joaopizani opened on Apr 5, 2015 · testing
  

• Include optional names in Circuit datatypes

  enhancement
  joaopizani/piware-agda#23 · Filter by author joaopizani opened on Apr 5, 2015 · working-lib
  

• Make "unused" proof arguments irrelevant

  enhancement
  joaopizani/piware-agda#18 · Filter by author joaopizani opened on Apr 4, 2015
  

• Prove some properties regarding the sample adder

  example
  joaopizani/piware-agda#17 · Filter by author joaopizani opened on Apr 4, 2015 · working-lib
  

• Include proof of bijection in ⇓W⇑ class

  enhancement
  joaopizani/piware-agda#14 · Filter by author joaopizani opened on Apr 4, 2015
  2

  

• Model n-bit register

  example
  joaopizani/piware-agda#7 · Filter by author joaopizani opened on Apr 4, 2015 · working-lib
  2

  

• Desirable examples of sequential circuits

  example
  joaopizani/piware-agda#3 · Filter by author joaopizani opened on Apr 4, 2015
  4