Commits

History for

Commits on Feb 10, 2022

coq/parsing: Add notations for array operations
cpitclaudel
committedFeb 10, 2022

Commits on Apr 15, 2021

coq: Update for 8.12, 8.13 compatibility
cpitclaudel
committedApr 15, 2021

Commits on Aug 18, 2020

coq/parsing: Switch the implementation of guard() around
cpitclaudel
committedAug 18, 2020

Commits on Jun 4, 2020

coq: Change the record and enum syntax for compatibility with 8.11
cpitclaudel
committedJun 4, 2020

Commits on Mar 31, 2020

coq/parsing: Fix a precedence bug
cpitclaudel
committedMar 31, 2020

Commits on Mar 25, 2020

coq/parsing: Allow empty struct initializers
cpitclaudel
committedMar 25, 2020

Commits on Mar 24, 2020

coq: Add spaces in notation definition
math-fehr
committedMar 24, 2020

Commits on Mar 23, 2020

coq: Add notation for unsigned multiplication
math-fehr
committedMar 23, 2020

Commits on Feb 26, 2020

coq: Make it easier to combine programs using different ext_fn_t types
cpitclaudel
committedFeb 26, 2020

Commits on Feb 13, 2020

coq: Adjust imports and exports for Coq 8.11
cpitclaudel
committedFeb 13, 2020

Commits on Jan 22, 2020

coq, ocaml: Add function calls in typed AST
cpitclaudel
committedJan 22, 2020

Commits on Jan 14, 2020

coq: Finalize split of Circuits.v and remove redundant 'uscheduler'
cpitclaudel
committedJan 14, 2020
coq: Unify treatment of circuit signatures and typed signatures
cpitclaudel
committedJan 14, 2020

Commits on Dec 12, 2019

coq, ocaml: Make != a primitive
cpitclaudel
committedDec 12, 2019

Commits on Dec 2, 2019

parser: Recognize !=
cpitclaudel
committedDec 2, 2019

Commits on Nov 25, 2019

all: Add documentation headers in preparation for the release
cpitclaudel
committedNov 25, 2019

Commits on Nov 21, 2019

coq/parsing: Add a notation for ignore()
cpitclaudel
committedNov 21, 2019

Commits on Nov 18, 2019

std: Use the native sext instead of a custom recursive implementation
cpitclaudel
committedNov 18, 2019

Commits on Nov 16, 2019

coq: Clean up imports
cpitclaudel
committedNov 16, 2019
coq: Open list_scope in all files
cpitclaudel
committedNov 16, 2019

Commits on Nov 15, 2019

coq: Fix parsing priority error
Thomas Bourgeat
committedNov 15, 2019

Commits on Nov 13, 2019

all: Rename "Part" into "Slice".
cpitclaudel
committedNov 13, 2019

Commits on Nov 8, 2019

coq: Remove app in parsing bits
Thomas Bourgeat
committedNov 8, 2019
coq/parsing: Add getbits and substbits
cpitclaudel
committedNov 8, 2019

Commits on Nov 7, 2019

coq: Generalize pack notation to allow enums as well
cpitclaudel
committedNov 7, 2019
Merge branch 'master' of github.mit.edu:plv/koika
Thomas Bourgeat
committedNov 7, 2019
coq: Add pack and unpack notation and two unit tests.
Thomas Bourgeat
committedNov 7, 2019
coq, ocaml: Add an arithmetic right shift
cpitclaudel
committedNov 7, 2019

Commits on Nov 6, 2019

coq: More two demos to separate files in ‘tests/’
cpitclaudel
committedNov 6, 2019

Commits on Nov 5, 2019

coq: Remove parenthesis with space to call a method.
Thomas Bourgeat
committedNov 5, 2019
coq: Fix bug in notation bits
Thomas Bourgeat
committedNov 5, 2019

Commits on Nov 4, 2019

coq: Remove True and False.
Thomas Bourgeat
committedNov 4, 2019

Commits on Oct 31, 2019

examples: Add rv draft
Thomas Bourgeat
committedOct 31, 2019
coq, std: Proper function call in notations; fixes in std
Thomas Bourgeat
committedOct 31, 2019
coq: Remove two coercions (USugar and type_sz) to avoid subtle issues
cpitclaudel
committedOct 31, 2019