Ecosyste.ms: Issues

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

GitHub / higherorderco/kind2-archive issues and pull requests

#22 - [Bug Report] stackoverflow while type checking

Pull Request - State: open - Opened by iacore about 2 months ago

#21 - Generated JS may conflict with JS default types

Issue - State: open - Opened by mateusfccp 4 months ago

#19 - Tic tac toe

Pull Request - State: closed - Opened by vkobinski 4 months ago

#18 - remove auto formatter, fix bugs, fix book

Pull Request - State: closed - Opened by enricozb 4 months ago

#17 - Float

Pull Request - State: open - Opened by Lorenzobattistela 4 months ago

#16 - stripping extension when calling kind2

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#15 - V2 operations

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#14 - fix ascii syntax for lambda and forall

Pull Request - State: closed - Opened by NoamDev 6 months ago

#14 - fix ascii syntax for lambda and forall

Pull Request - State: closed - Opened by NoamDev 6 months ago

#13 - Ascii alternatives to forall and lambda

Pull Request - State: closed - Opened by NoamDev 6 months ago - 4 comments

#13 - Ascii alternatives to forall and lambda

Pull Request - State: closed - Opened by NoamDev 6 months ago - 4 comments

#12 - Kind2 hvm2

Pull Request - State: closed - Opened by LunaAmora 6 months ago

#11 - fix typo in equality docs

Pull Request - State: closed - Opened by Eduardogbg 7 months ago

#11 - fix typo in equality docs

Pull Request - State: closed - Opened by Eduardogbg 7 months ago

#10 - Automatic generation of constructors

Pull Request - State: open - Opened by edusporto 7 months ago

#10 - Automatic generation of constructors

Pull Request - State: open - Opened by edusporto 7 months ago

#9 - Implement `Bits` and `BMap`

Pull Request - State: closed - Opened by edusporto 8 months ago - 2 comments

#8 - Refactor book

Pull Request - State: closed - Opened by imaqtkatt 8 months ago

#8 - Refactor book

Pull Request - State: closed - Opened by imaqtkatt 8 months ago

#7 - Update kind2.hvm2 file and compilation

Pull Request - State: closed - Opened by LunaAmora 8 months ago

#7 - Update kind2.hvm2 file and compilation

Pull Request - State: closed - Opened by LunaAmora 8 months ago

#6 - Updated BBT and other functions to fit new syntax

Pull Request - State: closed - Opened by Derenash 8 months ago

#6 - Updated BBT and other functions to fit new syntax

Pull Request - State: closed - Opened by Derenash 8 months ago

#5 - Translate kind2.hs to Kind2.hvm2, improve cli

Pull Request - State: closed - Opened by LunaAmora 8 months ago

#5 - Translate kind2.hs to Kind2.hvm2, improve cli

Pull Request - State: closed - Opened by LunaAmora 8 months ago

#4 - Fix file id and error reporting

Pull Request - State: closed - Opened by LunaAmora 9 months ago

#4 - Fix file id and error reporting

Pull Request - State: closed - Opened by LunaAmora 9 months ago

#3 - Update for hvm2

Pull Request - State: closed - Opened by developedby 9 months ago

#3 - Update for hvm2

Pull Request - State: closed - Opened by developedby 9 months ago

#2 - Add Binary Balanced Tree

Pull Request - State: closed - Opened by Derenash 9 months ago

#2 - Add Binary Balanced Tree

Pull Request - State: closed - Opened by Derenash 9 months ago

#1 - Add (not working) hvm2 version of kind2

Pull Request - State: closed - Opened by developedby 9 months ago

#1 - Add (not working) hvm2 version of kind2

Pull Request - State: closed - Opened by developedby 9 months ago