gabrieldosreis/ipr issues and pull requests

#100 - Consolidate factory functions for New

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#100 - Consolidate factory functions for New

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#99 - Clarify the role of phantom.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#99 - Clarify the role of phantom.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#98 - Add missing character types.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#98 - Add missing character types.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#97 - Size of types should be queryable in interface

Issue - State: open - Opened by d-winsor about 4 years ago - 3 comments

#97 - Size of types should be queryable in interface

Issue - State: open - Opened by d-winsor about 4 years ago - 3 comments

#96 - Make it possible to create empty shell for Do/While/Switch

Issue - State: closed - Opened by Xazax-hun about 4 years ago

#96 - Make it possible to create empty shell for Do/While/Switch

Issue - State: closed - Opened by Xazax-hun about 4 years ago

#95 - Discuss how to create nullptr's type.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 2 comments

#95 - Discuss how to create nullptr's type.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 2 comments

#94 - Add nullptr_t type so nullptr literal can be created.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#94 - Add nullptr_t type so nullptr literal can be created.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#93 - Use Optional more often

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#93 - Use Optional more often

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#92 - Simplify sequences of unique_decl

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#92 - Simplify sequences of unique_decl

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#91 - Commonalize unique_decl::decl_set overrider

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#91 - Commonalize unique_decl::decl_set overrider

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#90 - Add accessor for empty String

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago - 1 comment

#90 - Add accessor for empty String

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago - 1 comment

#89 - Remove Node::node_id

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#89 - Remove Node::node_id

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#88 - Detach the type of continue and break from their parents. Fixes #87.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#88 - Detach the type of continue and break from their parents. Fixes #87.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago

#87 - Types of While, Break, Continue, etc

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 3 comments

#87 - Types of While, Break, Continue, etc

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 3 comments

#86 - Template declarations with no definition.

Issue - State: open - Opened by d-winsor about 4 years ago - 3 comments

#86 - Template declarations with no definition.

Issue - State: open - Opened by d-winsor about 4 years ago - 3 comments

#85 - Add result types to expr_factory. Fixes #1.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 4 comments

#85 - Add result types to expr_factory. Fixes #1.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 4 comments

#84 - Add more documentation to Classic

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#84 - Add more documentation to Classic

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 1 comment

#83 - Overloadable operators

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 5 comments

#83 - Overloadable operators

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 5 comments

#82 - Add category to Parameter_list and Primitive.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 3 comments

#82 - Add category to Parameter_list and Primitive.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 3 comments

#81 - Empty_stmt feels unnatural, Expr/Stmt relationship flipped?

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 4 comments

#81 - Empty_stmt feels unnatural, Expr/Stmt relationship flipped?

Issue - State: closed - Opened by Xazax-hun about 4 years ago - 4 comments

#80 - Make Handler accept a Parameter. Fixes #23

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 6 comments

#80 - Make Handler accept a Parameter. Fixes #23

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 6 comments

#79 - [WIP] Add static_assert node.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 6 comments

#79 - [WIP] Add static_assert node.

Pull Request - State: closed - Opened by Xazax-hun about 4 years ago - 6 comments

#78 - Simplify ipr::Decl a bit

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#78 - Simplify ipr::Decl a bit

Pull Request - State: closed - Opened by GabrielDosReis about 4 years ago

#77 - Made CMake variable relative

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

#77 - Made CMake variable relative

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

#76 - Rename Named_map to Template

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

#76 - Rename Named_map to Template

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

#75 - Owner of home scope of a type declaration

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

#75 - Owner of home scope of a type declaration

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

#74 - Support fold expressions

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

#74 - Support fold expressions

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

#73 - Rename type `Template` to `Forall`

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

#73 - Rename type `Template` to `Forall`

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

#72 - Fix build break

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

#72 - Fix build break

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

#71 - Should the As_type::expr() of a built-ins point to itself?

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

#71 - Should the As_type::expr() of a built-ins point to itself?

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

#70 - Typedecl::membership() should be optional because of 'local classes'

Issue - State: closed - Opened by d-winsor over 4 years ago - 4 comments

#70 - Typedecl::membership() should be optional because of 'local classes'

Issue - State: closed - Opened by d-winsor over 4 years ago - 4 comments

#69 - Add test infra using doctest.

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

#69 - Add test infra using doctest.

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

#68 - Infinite recursion when printing XPR?

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

#68 - Infinite recursion when printing XPR?

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

#67 - Move Name out of Expr hierarchy

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

#67 - Move Name out of Expr hierarchy

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

#66 - Update the ipr Name sub-hierarchy

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

#66 - Update the ipr Name sub-hierarchy

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

#65 - Remove Type_id and Base_type

Issue - State: closed - Opened by GabrielDosReis over 4 years ago - 3 comments

#65 - Remove Type_id and Base_type

Issue - State: closed - Opened by GabrielDosReis over 4 years ago - 3 comments

#64 - impl::Empty_stmt need its type set

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

#64 - impl::Empty_stmt need its type set

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

#63 - Id_expr does not belong to Name hierarchy

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

#63 - Id_expr does not belong to Name hierarchy

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

#62 - Parallel build in CI

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

#62 - Parallel build in CI

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

#61 - Representation for user defined literals: operator"" _km?

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

#61 - Representation for user defined literals: operator"" _km?

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

#60 - Id_expr: Should it be Expr, not a Name?

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

#60 - Id_expr: Should it be Expr, not a Name?

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

#59 - Scope_ref: Should it be an Expr, not a Name?

Issue - State: closed - Opened by GorNishanov over 4 years ago - 1 comment

#59 - Scope_ref: Should it be an Expr, not a Name?

Issue - State: closed - Opened by GorNishanov over 4 years ago - 1 comment

#58 - Add optional test infrastructure

Pull Request - State: closed - Opened by Xazax-hun over 4 years ago - 20 comments

#58 - Add optional test infrastructure

Pull Request - State: closed - Opened by Xazax-hun over 4 years ago - 20 comments

#57 - ::make_empty_stmt() has a phantom with no type set.

Issue - State: closed - Opened by d-winsor over 4 years ago

#57 - ::make_empty_stmt() has a phantom with no type set.

Issue - State: closed - Opened by d-winsor over 4 years ago

#56 - Add a clang-format configuration file

Pull Request - State: closed - Opened by Xazax-hun over 4 years ago - 3 comments

#56 - Add a clang-format configuration file

Pull Request - State: closed - Opened by Xazax-hun over 4 years ago - 3 comments

#55 - Reformat source files

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

#55 - Reformat source files

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

#54 - Dependency management

Issue - State: open - Opened by Xazax-hun over 4 years ago - 15 comments

#54 - Dependency management

Issue - State: open - Opened by Xazax-hun over 4 years ago - 15 comments

#53 - Doc builder only builds doc target

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

#53 - Doc builder only builds doc target

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

#52 - Add mac builder.

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

#52 - Add mac builder.

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

#51 - If_then_else set constraint to void in impl

Issue - State: closed - Opened by d-winsor over 4 years ago - 1 comment
Labels: wontfix

#51 - If_then_else set constraint to void in impl

Issue - State: closed - Opened by d-winsor over 4 years ago - 1 comment
Labels: wontfix

GitHub / gabrieldosreis/ipr issues and pull requests