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

#146 - Add support for removing shapes from WF specifications

Pull Request - State: closed - Opened by EliasC 3 days ago - 1 comment

#145 - Remove target from shrubbery sample's CMake file

Pull Request - State: closed - Opened by EliasC 4 days ago

#144 - Add an all-checks CI task

Pull Request - State: closed - Opened by mjp41 7 days ago

#143 - yaml_fuzz_reader CI failure

Issue - State: open - Opened by mjp41 7 days ago

#142 - Support for Reapply effect

Pull Request - State: closed - Opened by EliasC 7 days ago - 3 comments

#141 - `Node->set_location()` silently fails

Issue - State: open - Opened by xFrednet 12 days ago

#139 - A case for immediately matching on inserted nodes

Issue - State: closed - Opened by EliasC 17 days ago

#138 - Error in the Infix tutorial

Issue - State: open - Opened by EliasC 18 days ago

#137 - Fixing some YAML corner cases

Pull Request - State: closed - Opened by matajoh 19 days ago

#135 - Add tooling to debug pattern matching.

Pull Request - State: open - Opened by xFrednet about 1 month ago - 2 comments

#134 - Trieste reference

Pull Request - State: open - Opened by EliasC about 1 month ago - 1 comment

#133 - Trieste segfaults, when no passes are defined

Issue - State: open - Opened by xFrednet about 1 month ago - 1 comment

#132 - Generalized recursion-safe intrusive_ptr destructor

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

#131 - Fix intrusive_ptr test breakage in dependencies

Pull Request - State: closed - Opened by fhackett about 2 months ago - 5 comments

#130 - Capability for serializing and deserializing well-formedness definitions

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

#129 - Make parent() return a Node

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

#128 - Use intrusive reference counting

Pull Request - State: closed - Opened by fhackett 2 months ago

#127 - Let Location::str() handle `\r` correctly

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

#126 - Tuple for Infix sample language

Pull Request - State: open - Opened by fhackett 3 months ago - 1 comment

#125 - Fuzzer failure: segfault in yaml_fuzz_to_json, seed 1597729744

Issue - State: open - Opened by fhackett 3 months ago - 5 comments

#124 - Binary size improvements related to #115

Pull Request - State: closed - Opened by fhackett 3 months ago - 3 comments

#123 - Dealing with large files

Pull Request - State: closed - Opened by matajoh 3 months ago - 1 comment

#122 - Fix for large JSON files

Pull Request - State: closed - Opened by matajoh 3 months ago - 1 comment

#121 - Fix #120 by commenting out the GIT_SHALLOW TRUE

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

#120 - CMake can't check out snmalloc on first run

Issue - State: closed - Opened by fhackett 4 months ago - 1 comment

#119 - Large file validity check.

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

#118 - Removing stray semicolons

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

#117 - Make snmalloc optional

Pull Request - State: closed - Opened by mjp41 4 months ago - 1 comment

#116 - Flag to disable snmalloc

Issue - State: closed - Opened by matajoh 4 months ago - 1 comment

#115 - Large binary sizes

Issue - State: open - Opened by matajoh 4 months ago - 8 comments

#114 - Adding the `Fuzzer`class, `NodeRange` -> `span`, and WF contexts.

Pull Request - State: closed - Opened by matajoh 4 months ago - 1 comment

#113 - Adding a flag to enable cleaning the install directory

Pull Request - State: closed - Opened by matajoh 5 months ago

#112 - Updated uses of FetchContent

Pull Request - State: closed - Opened by mjp41 5 months ago - 2 comments

#111 - do not purge install prefix (microsoft#96)

Pull Request - State: closed - Opened by dariuskl 5 months ago - 1 comment

#110 - Added Shrubbery parser as a sample

Pull Request - State: closed - Opened by EliasC 5 months ago - 5 comments

#109 - Systematic testing should not check wf when errors produced

Pull Request - State: closed - Opened by mjp41 5 months ago

#108 - Small fixes

Pull Request - State: closed - Opened by mjp41 5 months ago

#107 - Prevent WF checking on terms with errors.

Pull Request - State: closed - Opened by mjp41 5 months ago

#106 - Prevent rewriting a term that contains an error.

Pull Request - State: closed - Opened by mjp41 5 months ago - 2 comments

#105 - Two small changes to the ast

Pull Request - State: closed - Opened by mjp41 5 months ago

#104 - Add source_location to help with debugging.

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

#103 - Documentation update

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

#102 - Error improvements for Verona

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

#101 - Modified error message model

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

#100 - Fix Reader to take a directory

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

#99 - Minor changes needed by Verona

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

#98 - Adding Reader, Writer, and Rewriter to Trieste.

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

#97 - Restore ability to indent NodeDef::str()

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

#96 - Trieste clears the install directory

Issue - State: closed - Opened by dariuskl 6 months ago

#95 - Fix to #309

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

#94 - Fix recursive stack depth problems.

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

#93 - YAML 1.2 parser

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

#92 - Adding a JSON parser based on Trieste

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

#91 - Fix for "assuming cast" compiler error on comparison to std::endl.

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

#90 - Added parser support for checking parent of current group

Pull Request - State: closed - Opened by EliasC 10 months ago - 2 comments

#89 - The `++` pattern is too greedy?

Issue - State: open - Opened by EliasC 10 months ago - 3 comments

#88 - Write the output file even if there has been an error.

Pull Request - State: closed - Opened by sylvanc 11 months ago

#87 - Add test for nullptr.

Pull Request - State: closed - Opened by mjp41 11 months ago

#86 - Minor

Pull Request - State: closed - Opened by mjp41 11 months ago

#85 - updated infix tutorial

Pull Request - State: closed - Opened by matteB10 11 months ago - 1 comment

#84 - Fix for https://github.com/actions/runner-images/issues/8659

Pull Request - State: closed - Opened by mjp41 11 months ago

#83 - Refactor driver

Pull Request - State: closed - Opened by mjp41 12 months ago

#82 - Missing clone in infix example

Pull Request - State: closed - Opened by mjp41 12 months ago

#81 - Improvements to logging

Pull Request - State: closed - Opened by mjp41 12 months ago

#80 - Logging in Trieste

Pull Request - State: closed - Opened by mjp41 12 months ago

#79 - Run add_flags on the correct node

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

#78 - Don't reset a parent pointer if the child isn't owned

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

#77 - change driver to put pass names and WF in the PassDef

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

#76 - Optimisation again

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

#75 - Addressing a warning

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

#74 - Optimisations again

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

#73 - Revert change in evaluation.

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

#72 - Fix error nodes.

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

#71 - Codegen quality: match_children

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

#70 - allow empty range captures

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

#69 - Tracking lift and error nodes.

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

#68 - add cbegin/cend and crbegin/crend, expose token regex matching

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

#67 - Adding optional usage of C++ 17

Pull Request - State: closed - Opened by matajoh about 1 year ago - 2 comments

#66 - Optimisation

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

#65 - Issue with `Node&` allowing parent circumvention

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

#64 - Convert `apply` to be iterative.

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

#63 - Fixing GCC errors + CMake Presets

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

#62 - Allow comparing nodes to tokens.

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

#61 - fix pre/post change counting

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

#60 - Allow any combination of ErrorMsg and other AST nodes in an Error

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

#59 - NodeDef::equals checks location equivalence for flag::print node types

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

#58 - Add pre and post that are run only once, even if the pass is repeated

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

#57 - Add an operator for removing elements from a WF choice

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

#56 - Disable override on Windows.

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

#55 - Fix compile error on xoroshiro and libcpp rand on OSX ventura

Pull Request - State: closed - Opened by sblessing about 1 year ago

#54 - Attempt to allow `const Node&` for creating `WFLookup` objects

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

#53 - Move the Verona compiler to microsoft/verona

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

#52 - Type predicates

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

#51 - Guided sampling for generator.

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

#50 - Update to latest snmalloc.

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

#49 - Removing some unreachable code

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

#48 - Exporting CMake dependencies.

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

#47 - Adding const qualifier for path arguments

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