Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / imdea-software/htt issues and pull requests

#30 - removing obsolete templates

Pull Request - State: closed - Opened by aleksnanevski about 1 month ago

#29 - make coq-htt package depend on coq-htt-core

Pull Request - State: closed - Opened by palmskog about 1 month ago - 5 comments

#28 - coq-htt as package depending on coq-htt-core

Issue - State: closed - Opened by palmskog about 1 month ago - 7 comments

#27 - v2.0

Pull Request - State: closed - Opened by aleksnanevski about 2 months ago - 1 comment

#26 - v2.0

Pull Request - State: closed - Opened by aleksnanevski about 2 months ago

#25 - V2.0

Pull Request - State: closed - Opened by aleksnanevski about 2 months ago - 1 comment

#24 - port the counter example

Pull Request - State: closed - Opened by clayrat over 1 year ago

#23 - Use dune to package a stripped down version of HTT for OPAM release

Pull Request - State: closed - Opened by clayrat over 1 year ago

#22 - use slice library & add quicksort

Pull Request - State: closed - Opened by clayrat almost 2 years ago

#21 - Separate packaging of htt and examples

Issue - State: closed - Opened by palmskog almost 2 years ago - 2 comments

#20 - Bubble sort

Pull Request - State: closed - Opened by clayrat about 2 years ago

#19 - add binary tree examples

Pull Request - State: closed - Opened by clayrat about 2 years ago

#18 - add GCD & cyclic buffer examples

Pull Request - State: closed - Opened by clayrat over 2 years ago

#17 - Automate frame + pull fully

Issue - State: closed - Opened by clayrat over 2 years ago - 2 comments

#16 - comment examples and expand automation

Pull Request - State: closed - Opened by clayrat almost 3 years ago

#15 - isolate model in a module

Pull Request - State: closed - Opened by clayrat almost 3 years ago

#13 - refactor the semantic model

Pull Request - State: closed - Opened by clayrat almost 3 years ago

#12 - Port the congprog example

Issue - State: closed - Opened by clayrat about 3 years ago - 1 comment

#11 - gh_ex only accepts a single argument

Issue - State: closed - Opened by clayrat about 3 years ago - 1 comment

#10 - port examples from congruence closure

Pull Request - State: closed - Opened by clayrat over 3 years ago

#9 - WIP port to fcsl-pcm 1.4

Pull Request - State: closed - Opened by clayrat over 3 years ago

#8 - Update and merge examples from "congruence closure" development

Issue - State: closed - Opened by clayrat over 4 years ago

#7 - Fix compilation for SSReflect 1.11 + warnings

Pull Request - State: closed - Opened by clayrat over 4 years ago

#6 - Merge changes from the zip artifact

Issue - State: closed - Opened by clayrat over 4 years ago - 2 comments

#5 - Update README

Pull Request - State: closed - Opened by clayrat over 4 years ago - 1 comment

#4 - Update README.md

Issue - State: closed - Opened by germanD over 4 years ago

#3 - Update modules to support latest versions of Coq and MathComp

Pull Request - State: closed - Opened by yasunariw over 4 years ago - 2 comments

#2 - Make library installation and packaging friendly

Pull Request - State: closed - Opened by palmskog over 6 years ago - 8 comments

#1 - SSR 1.5 alt

Pull Request - State: closed - Opened by germanD almost 9 years ago