Ecosyste.ms: Issues

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

GitHub / VeriFIT/mata issues and pull requests

#364 - Optimization of antichain inclusion

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

#363 - Revert inclusion regression

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

#362 - Simplify build commands with modern cmake options

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

#361 - Optimize sync iterator

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

#360 - Better unify_targets using sync. it.

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

#359 - Reserve place for tokens in `infix_to_postfix()`

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

#358 - Update nfa-bench submodule

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

#357 - Resolve discussions from previous PRs

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

#356 - raw prototype of new parser

Pull Request - State: open - Opened by martinhruska about 1 year ago

#355 - Refactoring mintermization to MintermizationDomain

Pull Request - State: open - Opened by martinhruska about 1 year ago - 2 comments

#354 - Behold, ultimate solution for the union naming problem!

Pull Request - State: closed - Opened by kilohsakul about 1 year ago - 3 comments

#353 - Simplifying get_useful_states with move iterator

Pull Request - State: closed - Opened by kilohsakul about 1 year ago - 3 comments

#352 - In-place Union

Pull Request - State: closed - Opened by vhavlena about 1 year ago - 11 comments

#351 - Fix of the performance bug in get_useful_states

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

#349 - Self-concatenating for in-place concatenation

Issue - State: closed - Opened by jurajsic about 1 year ago - 4 comments
Labels: For:library, Module:nfa, Type:bug, Priority:normal

#348 - Concat fix

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

#347 - Concat problem

Pull Request - State: closed - Opened by kilohsakul about 1 year ago - 3 comments

#346 - Refactor parser

Pull Request - State: closed - Opened by Adda0 about 1 year ago - 6 comments

#345 - Revert "Rewrite opening files to fix compilation errors"

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

#344 - Intersection speedup and refactor

Pull Request - State: closed - Opened by kilohsakul about 1 year ago - 7 comments

#343 - Intersection

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

#342 - Debordelize complement

Issue - State: closed - Opened by kilohsakul about 1 year ago - 1 comment

#341 - Dispatch in tests?

Issue - State: open - Opened by kilohsakul about 1 year ago - 1 comment

#340 - `num_of_states()` is both in nfa and delta

Issue - State: open - Opened by jurajsic about 1 year ago - 10 comments
Labels: For:library, Module:nfa

#339 - Installing mata copies everything in include directories

Issue - State: open - Opened by jurajsic about 1 year ago
Labels: Priority:low

#338 - Use `python3` and `pip3` instead of `python` and `pip`

Issue - State: open - Opened by p4l1ly about 1 year ago - 3 comments
Labels: For:binding

#337 - Remove AFA implementation

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

#336 - Rewrite opening files to fix compilation errors

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

#335 - Mata's memory usage

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:library, Type:required, Priority:normal

#334 - Extend binding with parsing

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

#332 - Refactor trim, extract function for state removal

Issue - State: open - Opened by kilohsakul about 1 year ago

#331 - Correct emplace_back for all containers

Issue - State: closed - Opened by kilohsakul about 1 year ago

#330 - Proper handling of constants (true/false)

Pull Request - State: closed - Opened by jurajsic about 1 year ago - 3 comments

#329 - Move functions between `Delta`, `Nfa`, and `mata::nfa`

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

#328 - Fix simulation reduction large vector allocation

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

#327 - Create performance tests for parsing

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:library, Type:required, Priority:normal

#326 - Fix parsing copy constructor

Pull Request - State: closed - Opened by Adda0 about 1 year ago - 4 comments

#325 - Wrapper classes StatePost, and for initial and final states sets?

Issue - State: closed - Opened by Adda0 about 1 year ago - 7 comments
Labels: For:library, Module:nfa, Type:suggestion, Priority:normal

#324 - Perf-test get_used_symbols and its variants

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:library, Module:nfa, Type:required, Priority:normal

#323 - Codecov computes base coverage for incorrect commit

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:devops, Type:required

#322 - Store compile commands

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

#321 - Measure variants of binary search and union in OrdVector

Issue - State: open - Opened by kilohsakul about 1 year ago

#320 - Little refactoring of OrdVector

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

#319 - Update Readme

Issue - State: open - Opened by jurajsic about 1 year ago

#318 - Should mata be always built as a static library?

Issue - State: open - Opened by jurajsic about 1 year ago

#317 - Update Catch2 to version 3 with built-in main

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:devops, Type:suggestion, Priority:normal

#316 - Fix some issues in bencmarking

Pull Request - State: closed - Opened by tfiedor about 1 year ago - 3 comments

#315 - Update cmake

Pull Request - State: closed - Opened by jurajsic about 1 year ago - 7 comments

#314 - Rename `SynchronizedIterator` to `SynchronizedAdvancer`

Issue - State: open - Opened by Adda0 about 1 year ago - 4 comments
Labels: For:library, Module:nfa, Type:required, Priority:normal

#313 - Create a naming convention for iterator variables

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:library, Type:discussion, Priority:low

#312 - Rename all custom iterators to adhere to `PascalCase` naming convention for classes?

Issue - State: open - Opened by Adda0 about 1 year ago
Labels: For:library, Type:discussion, Priority:normal

#311 - Fix examples to use header files from project root, not the system installed ones

Issue - State: closed - Opened by Adda0 about 1 year ago
Labels: For:library, Type:bug, Priority:normal

#310 - Remove number predicate

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

#309 - Use snake_case for namespace names

Pull Request - State: closed - Opened by Adda0 about 1 year ago - 4 comments

#308 - Create script to uninstall Mata installed with `make install`

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

#307 - Refactor Transitions and Moves

Pull Request - State: closed - Opened by Adda0 about 1 year ago - 7 comments

#306 - Extend the benchmarking possibilities of libmata

Pull Request - State: closed - Opened by tfiedor about 1 year ago - 3 comments

#305 - Fix bugs in tests-integration sources

Pull Request - State: closed - Opened by tfiedor about 1 year ago - 4 comments

#304 - Issue with checkouting base ref in GitHub action

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

#303 - Remove annoying little b**** Makefile

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

#302 - Bug in mintermising automata in tests-performance

Issue - State: closed - Opened by kilohsakul over 1 year ago - 3 comments
Labels: Type:bug

#301 - Get all one symbol words from NFA

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

#300 - Some automata seem to spawn satan

Issue - State: open - Opened by tfiedor over 1 year ago - 1 comment
Labels: For:library, Type:bug

#299 - Refactor types and names

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#298 - performance makefile changes to make it work on MacOS

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

#297 - Inclusion: optimizations

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 5 comments

#296 - OuNion OrdVectoru merge inplace

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

#295 - Update perftest infrastructure

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 2 comments

#294 - Intersection: minor optimization

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 2 comments

#293 - General post

Issue - State: open - Opened by kilohsakul over 1 year ago
Labels: Module:nfa, Type:suggestion

#292 - Refactor delta and delta iterators

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 4 comments

#291 - Rename `construct()` functions

Issue - State: open - Opened by Adda0 over 1 year ago
Labels: For:library, Module:afa, Module:nfa, Type:suggestion, Priority:normal

#290 - `get_useful_states`: bug fixing

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 3 comments

#289 - Testing environment fixes

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 6 comments

#288 - Extending the `NFA-bits` Format for Multiple Targets?

Issue - State: open - Opened by vhavlena over 1 year ago - 1 comment
Labels: Type:bug

#287 - Fix minor issues in binding

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

#286 - Migrate from setuptools/distutils + setup.py to something new.

Issue - State: open - Opened by tfiedor over 1 year ago
Labels: For:binding, Priority:low

#284 - StateSet (OrdVector) methods cleanup

Issue - State: closed - Opened by jurajsic over 1 year ago

#283 - Remove NFA types

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 7 comments

#282 - Add minimal example to Cython binding readme

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 2 comments

#281 - Add support for local coverage

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 2 comments

#280 - Bump CMake version to get rid of deprecation warning

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

#279 - Fix badges in readme

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

#278 - Proposal: Add codacy integration

Issue - State: closed - Opened by tfiedor over 1 year ago - 3 comments
Labels: For:devops, Type:discussion, Priority:low

#277 - Discussion on refactoring of some things, only comments, not intended for merge.

Pull Request - State: open - Opened by kilohsakul over 1 year ago - 1 comment

#276 - Comprehensive discussion about libmata refactoring

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

#275 - Add codecov integration

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 6 comments
Labels: For:devops

#274 - Perform a summer cleaning: removing obsolete stuff

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 10 comments
Labels: For:library, For:binding, For:devops

#273 - Useful states fixing

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 12 comments

#272 - Perform Summer Cleaning

Issue - State: closed - Opened by tfiedor over 1 year ago
Labels: For:library, For:devops, Status:in_progress

#271 - Remove class methods from Nfa

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

#270 - Parse NFAs from Mata format easily

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 3 comments

#269 - Bug in `Mata::Nfa::reduce`

Issue - State: closed - Opened by vhavlena over 1 year ago - 1 comment
Labels: Type:bug

#268 - Add brief documentation of Cython binding and contribution guidelines

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 11 comments

#267 - Fix minor issue with pypi

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

#266 - Speed-up the building of python binding

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 5 comments

#265 - Resurresction of jupyter notebook

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