Ecosyste.ms: Issues

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

GitHub / HigherOrderCO/FormCoreJS issues and pull requests

#13 - Create FmcToCoq.js

Pull Request - State: open - Opened by acorrenson over 2 years ago

#12 - Fix bitwise string to boolean comparison

Pull Request - State: open - Opened by brecert about 3 years ago

#11 - Add get_random action and remove duplicated get_time

Pull Request - State: open - Opened by caotic123 over 3 years ago

#10 - Add math.random and remove duplicated get_time

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

#9 - Add new F64 functions

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

#8 - Fix references from Formality to Kind

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

#7 - fix U64.div and U256.div

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

#6 - F64 hotfix

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

#5 - optimize some of the new numbers

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

#4 - fix I32.neg

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

#3 - optimize I32 + bugfixes

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

#2 - optimize I32

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

#1 - add 'put_string' as a compiler primitive

Pull Request - State: closed - Opened by emturner almost 4 years ago - 4 comments