Search results

Coq 8.6 Support

enhancement

Status: Open.

#104 In gmalecha/mirror-core;

· gmalecha opened on Sep 18, 2017

Parsing patterns should do reduction to hnf.

enhancement

Status: Open.

#103 In gmalecha/mirror-core;

· gmalecha opened on Dec 17, 2016

Reify.v invalidates valid syntax

Status: Open.

#100 In gmalecha/mirror-core;

· jesper-bengtson opened on Dec 10, 2016

General cleanup

refactor

Status: Open.

#99 In gmalecha/mirror-core;

· gmalecha opened on Dec 6, 2016

Common-code elimination

enhancement

refactor

Status: Open.

#94 In gmalecha/mirror-core;

· gmalecha opened on Oct 12, 2016

·  

Release 1.1

Try out Coq-style type classes

performance

question

Status: Open.

#93 In gmalecha/mirror-core;

· gmalecha opened on Oct 11, 2016

Modular Types + Symbols

Status: Open.

#92 In gmalecha/mirror-core;

· gmalecha opened on Oct 9, 2016

Clean up the Types Language

refactor

Status: Open.

#91 In gmalecha/mirror-core;

· gmalecha opened on Oct 9, 2016

·  

Release 1.1

Clean up the Hoare example

documentation

Status: Open.

#86 In gmalecha/mirror-core;

· gmalecha opened on Apr 28, 2016

·  

Release 1.1

Clean up Auto example

documentation

Status: Open.

#85 In gmalecha/mirror-core;

· gmalecha opened on Apr 28, 2016

·  

Release 1.1

Make rtac and rtacK "opaque-ish"

Status: Open.

#75 In gmalecha/mirror-core;

· gmalecha opened on Oct 13, 2015

Optimize APPLY

enhancement

performance

Status: Open.

#67 In gmalecha/mirror-core;

· gmalecha opened on Feb 5, 2015