endjin/Z3.Linq issues and pull requests

#40 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.6 in build.ps1

Pull Request - State: open - Opened by dependjinbot[bot] 5 months ago - 1 comment
Labels: no_release

#39 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.0 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] 6 months ago - 1 comment
Labels: no_release

#38 - Add MathJax to Linear Algebra examples

Pull Request - State: closed - Opened by idg10 7 months ago - 1 comment
Labels: documentation

#37 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.4 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] 9 months ago - 2 comments
Labels: no_release

#36 - Cannot use expressions in place of variables

Issue - State: open - Opened by VelizarHristov 9 months ago

#35 - Update from .NET 6 to .NET 8

Pull Request - State: closed - Opened by WhitWaldo 10 months ago - 1 comment

#34 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.5.0 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] 10 months ago - 1 comment
Labels: no_release

#33 - Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] 11 months ago - 1 comment
Labels: no_release

#32 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.4.0 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] 11 months ago - 1 comment
Labels: no_release

#31 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.11 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] about 1 year ago - 1 comment
Labels: no_release

#30 - Update build for breaking change in reusable workflow

Pull Request - State: closed - Opened by MikeEvansLarah about 1 year ago - 1 comment
Labels: no_release

#29 - Other improvements available

Issue - State: open - Opened by jsboige about 1 year ago - 11 comments

#28 - Checking for unsatisfiability when using ValueTuple

Issue - State: open - Opened by NickRedwood about 1 year ago - 2 comments

#27 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.10 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] about 1 year ago - 1 comment
Labels: no_release

#26 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.0 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] about 1 year ago - 1 comment
Labels: no_release

#25 - Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment
Labels: no_release

#24 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment
Labels: no_release

#23 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.5 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#22 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.4 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#22 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.4 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#21 - Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#21 - Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#20 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#19 - Bump Endjin.IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#18 - Bump IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#18 - Bump IMM.OpenChain from 1.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#17 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.1 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#17 - Bump Endjin.RecommendedPractices.Build from 1.0.0 to 1.3.1 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#16 - Bump Endjin.RecommendedPractices.Build from 1.2.3 to 1.3.0 in build.ps1

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#15 - Bump IMM.OpenChain from 0.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#15 - Bump IMM.OpenChain from 0.0.0 to 1.1.1 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#14 - Bump IMM.OpenChain from 0.0.0 to 0.0.0 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#14 - Bump IMM.OpenChain from 0.0.0 to 0.0.0 in imm.yaml

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 2 comments

#13 - Migrate to shared workflow build pipeline

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

#13 - Migrate to shared workflow build pipeline

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

#12 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#12 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.8 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 1 year ago - 1 comment

#11 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.7 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] almost 2 years ago

#11 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.7 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] almost 2 years ago

#10 - Approach advice requested

Issue - State: open - Opened by WhitWaldo about 2 years ago - 4 comments

#9 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.6 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 2 years ago

#9 - Bump Endjin.PRAutoflow from 0.0.0 to 0.1.6 in .github/workflows

Pull Request - State: closed - Opened by dependjinbot[bot] over 2 years ago

#8 - Add Minimising Shipping Costs example to notebook

Pull Request - State: closed - Opened by HowardvanRooijen over 2 years ago

#7 - Feature/big tuples

Pull Request - State: closed - Opened by HowardvanRooijen over 2 years ago

#7 - Feature/big tuples

Pull Request - State: closed - Opened by HowardvanRooijen over 2 years ago

#6 - Circular decimal last char ‘?’ cannot parse decimal or double

Issue - State: open - Opened by JavaScript-zt over 2 years ago - 5 comments

#5 - Basics to get OrderBy working again

Pull Request - State: closed - Opened by bartdesmet almost 3 years ago

#4 - Configure repo to use 'pr-autoflow'

Pull Request - State: closed - Opened by JamesDawson almost 3 years ago

#3 - Implement VisitParameter in ExpressionVisitor

Issue - State: open - Opened by HowardvanRooijen almost 3 years ago

#2 - Investigate full support for record types.

Issue - State: open - Opened by HowardvanRooijen almost 3 years ago

#1 - Initial Commit of Z3.Linq

Pull Request - State: closed - Opened by HowardvanRooijen almost 3 years ago

GitHub / endjin/Z3.Linq issues and pull requests