- 
                Notifications
    
You must be signed in to change notification settings  - Fork 38
 
Pull requests: semigroups/Semigroups
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
      build(deps): bump jidicula/clang-format-action from 4.15.0 to 4.16.0
        
              
                dependencies
  Pull requests that update a dependency file 
              
                github_actions
  Pull requests that update GitHub Actions code 
              
                minor
  A label for issues or PRs that are not major. 
        
      
    
        
          #1125
            opened Nov 3, 2025  by
            dependabot
            bot
        
        
            
    
  
    Loading…
 
        
        
      
    
      build(deps): bump actions/upload-artifact from 4 to 5
        
              
                dependencies
  Pull requests that update a dependency file 
              
                github_actions
  Pull requests that update GitHub Actions code 
              
                major
  A label for issues or PRs that require a major amount of work or big changes. 
        
      
    
        
          #1124
            opened Oct 27, 2025  by
            dependabot
            bot
        
        
            
    
  
    Loading…
 
        
        
      
    
      Remove some spurious Issues and PRs related to documentation 
        
      
    .tar.gz suffixes from directory names in the manual
        
              
                documentation
  
        
          #1123
            opened Sep 29, 2025  by
            wilfwilson
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      CI: further standardise the concurrency settings
        
              
                ci
  A label for issues or PRs related to the continuous integration for Semigroups 
        
      
    
        
          #1120
            opened Sep 18, 2025  by
            wilfwilson
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Merge the code for the Windows GitHub Actions job with that of the UNIX jobs
        
              
                ci
  A label for issues or PRs related to the continuous integration for Semigroups 
        
      
    
      
  
        
          #1111
            opened Sep 15, 2025  by
            wilfwilson
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Add a Valgrind GitHub Actions workflow
        
              
                ci
  A label for issues or PRs related to the continuous integration for Semigroups 
        
      
    
      
  
        
          #1104
            opened Sep 15, 2025  by
            wilfwilson
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Update test output for compatibility with upcoming pluralization and formatting changes in GAP
        
              
                do not merge
  Label for PR that should not be merged 
              
                gap-compatibility
  A label for PRs or issues that are related to compatibility with changes in GAP 
              
                tests
  For issues or PR relating to the tests 
              
                WIP
  Label for PRs that are Works In Progress (WIP) 
        
      
    
        
          #1088
            opened Sep 4, 2025  by
            wilfwilson
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      build: override bundled libsemigroups install paths
        
              
                build-system
  A label for issues or PRs related to the build system 
        
      
    
      
  
        
          #1074
            opened Jul 21, 2025  by
            jengelh
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Add preliminary support for TwistedBipartitions
        
              
                new-feature
  A label for PRs that contain new features 
        
      
    
      
  
        
          #1065
            opened Jun 18, 2025  by
            james-d-mitchell
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Libsemigroups v3.0.2
        
              
                WIP
  Label for PRs that are Works In Progress (WIP) 
        
      
    
      
  
        
          #1058
            opened Apr 8, 2025  by
            james-d-mitchell
            
        
        
            
    •
    
      Draft
    
  
        
        
      
    
      Mitsch Order
        
              
                new-feature
  A label for PRs that contain new features 
        
      
    
      
  
        
          #1024
            opened Jul 26, 2024  by
            Tianrun-Y
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Implement LeftSemigroupIdeal and RightSemigroupIdeal
        
              
                new-feature
  A label for PRs that contain new features 
        
      
    
      
  
        
          #1009
            opened Mar 26, 2024  by
            Jun2M
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Better dot
        
              
                do not merge
  Label for PR that should not be merged 
        
      
    
      
  
        
          #1007
            opened Mar 13, 2024  by
            james-d-mitchell
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Decomposition of some Completely Regular Semigroups into Strong Semilattices of Semigroups
      
    
      
  
        
          #731
            opened Jan 13, 2021  by
            tomcontileslie
            
        
        
            
    
  
    Loading…
 
        
          
   
        
      
    
      
        
      
      
  
    1 of 4 tasks
  
      Add ToddCoxeterBand method
        
              
                do not merge
  Label for PR that should not be merged 
              
                WIP
  Label for PRs that are Works In Progress (WIP) 
        
      
    
      
  
        
          #691
            opened Jul 9, 2020  by
            tomcontileslie
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Free band elements by graph representation 
        
              
                do not merge
  Label for PR that should not be merged 
              
                enhancement
  A label for issues or PRs that offer an enhancement to existing functionality 
              
                WIP
  Label for PRs that are Works In Progress (WIP) 
        
      
    
        
          #689
            opened Jul 7, 2020  by
            reiniscirpons
            
        
        
            
    
  
    Loading…
 
        
          
   
        
      
    
      
        
      
      
  
    12 of 25 tasks
  
  
  ProTip!
  What’s not been updated in a month: updated:<2025-10-04.