Ecosyste.ms: Issues

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

GitHub / microsoft/Trieste issues and pull requests

#46 - Minor typo fix

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

#45 - Adding prefix to fresh names.

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

#44 - Add some useful `std::move`s

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

#43 - Structural subtyping

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

#42 - Fix for Fields WF check.

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

#41 - Fixing a bug in the well-formed check

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

#40 - Remove consteval to improve compile times

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

#39 - Use the sequent calculus for type checking

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

#38 - Improve type resolution

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

#37 - Semantics of predicate patterns

Issue - State: open - Opened by EliasC over 1 year ago

#36 - Remove unnecessary `term()`

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

#35 - Refactor iteration and match parts of structure.

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

#34 - switch to RE2

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

#33 - Preparation for LLVM lowering

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

#32 - Improved error handling in WF and parsing.

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

#31 - In the WF-check, make sure we have a tree and not a DAG.

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

#30 - Partial application

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

#29 - CI

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

#28 - Non-local returns

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

#27 - Allowing direct parsing of sources

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

#26 - Removing fmt target from all

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

#25 - Treat strings in types as package descriptors.

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

#24 - Improved drop pass.

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

#23 - Add TypeTest conditionals

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

#22 - Allow custom locations when generating a synthetic AST

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

#21 - Infix sample

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

#20 - Object literals

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

#19 - Use _ to ignore a parameter or a binding

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

#18 - Autogenerate create functions

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

#17 - Emit an error on symbol table conflict

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

#16 - Lambdas as anonymous types

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

#15 - Create buildtest.yml

Pull Request - State: closed - Opened by mjp41 about 2 years ago - 1 comment

#14 - Windows

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

#13 - Variable lifetime

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

#12 - Allow type assertions after the ANF pass.

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

#11 - Add conditionals to the Verona sample.

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

#10 - Enable Trieste toolchains

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

#9 - Windows

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

#8 - Parse an AST generated by any pass

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

#7 - Updating the README to include FetchContent information

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

#6 - Updating the README to include FetchContent information

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

#5 - Declarative symbol table generation.

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

#4 - Turn on more C++ compiler warnings.

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

#3 - Windows build fixes

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

#2 - Making FetchContent compatible.

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

#1 - Fix clone directions

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