ConstraintSolver.jl
ConstraintSolver.jl copied to clipboard
Wikunia
Releases
Registration pull request created: JuliaRegistries/General/12233
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.0 -m "<description of version>" 8d54146e0f9d476cad9c24520167d08e6ed9f64c
git push origin v0.1.0
Registration pull request updated: JuliaRegistries/General/12233
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.0 -m "<description of version>" 461f0ba052ac59d716c946e4d12e533ab61e1223
git push origin v0.1.0
Registration pull request created: JuliaRegistries/General/13013
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.1 -m "<description of version>" 7da0766c3930f3263f5ccf9cc7af71c8d1f97f7d
git push origin v0.1.1
Registration pull request created: JuliaRegistries/General/13721
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.2 -m "<description of version>" c004f51487f03ab29f008b31b04499c157e90cc9
git push origin v0.1.2
Registration pull request created: JuliaRegistries/General/14133
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.3 -m "<description of version>" 1f775318ec0c6c18124747446e2dda9b104ac903
git push origin v0.1.3
Registration pull request created: JuliaRegistries/General/14251
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.4 -m "<description of version>" 0bad1a0a8e4d508e6e0a8930f48f5f9a641f2fd9
git push origin v0.1.4
Registration pull request created: JuliaRegistries/General/14279
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.5 -m "<description of version>" bb98581924aae24f5a67c95e11103f26878d2fcf
git push origin v0.1.5
Error while trying to register: "Tag with name v0.1.5 already exists and points to a different commit"
Registration pull request created: JuliaRegistries/General/14569
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.6 -m "<description of version>" 8a8cc9c58fa430203ce5d19d409122975019a129
git push origin v0.1.6
Registration pull request created: JuliaRegistries/General/15162
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.7 -m "<description of version>" 25e4dc2925ad35a658768aa43231f3e472241251
git push origin v0.1.7
Registration pull request created: JuliaRegistries/General/16409
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.8 -m "<description of version>" 587dbc85038935ad04ce164a02077a6afbe48619
git push origin v0.1.8
Registration pull request created: JuliaRegistries/General/16512
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.2.0 -m "<description of version>" 62f6b659cbe46834c73e1800b9698e1f3bb11051
git push origin v0.2.0
Registration pull request created: JuliaRegistries/General/17017
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.2.1 -m "<description of version>" 709d5e56ddb77fdf8489393811d27b26cb7f6871
git push origin v0.2.1
Registration pull request created: JuliaRegistries/General/17037
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.2.2 -m "<description of version>" c09cd5cb90cbd342a766d4880ce46580871fa89d
git push origin v0.2.2
Registration pull request created: JuliaRegistries/General/17782
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.3.0 -m "<description of version>" bd330d26989cc2106bd53f6e0ae6576edbccea4f
git push origin v0.3.0
Registration pull request created: JuliaRegistries/General/24735
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.3.1 -m "<description of version>" a00f013a7c19158dbf5751b60baea76395bdc162
git push origin v0.3.1
Registration pull request created: JuliaRegistries/General/25479
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.4.0 -m "<description of version>" 824fc93a9e1cde74d9a6ba7ab51255d89aca5f9e
git push origin v0.4.0
Registration pull request created: JuliaRegistries/General/26050
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.4.1 -m "<description of version>" 59134e4d237ed1e23fe8bcbf57b6345b5f8690fa
git push origin v0.4.1
Registration pull request created: JuliaRegistries/General/26073
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.5.0 -m "<description of version>" fb1d4d4a3b9ba836c0974f6dac7375e137341adc
git push origin v0.5.0
Registration pull request created: JuliaRegistries/General/26171
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.5.1 -m "<description of version>" 7055b7de70f643e65dc5f6fd95fbad228c80bac7
git push origin v0.5.1
Registration pull request created: JuliaRegistries/General/26228
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.5.2 -m "<description of version>" 07ae7c80cdcbd5ea3ada1af76b6c125976f0bb8f
git push origin v0.5.2
Registration pull request created: JuliaRegistries/General/26293
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.5.3 -m "<description of version>" ef535954d3081a6395254fb11a5bbd01c55041a8
git push origin v0.5.3
Registration pull request created: JuliaRegistries/General/26430
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.0 -m "<description of version>" 20449b251972596b8cd565ec82ed751bb7b7b0e4
git push origin v0.6.0
Registration pull request updated: JuliaRegistries/General/26430
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.0 -m "<description of version>" 10288bb193833d1d4ae721f6165e9db37c3c6130
git push origin v0.6.0
Registration pull request created: JuliaRegistries/General/28005
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.1 -m "<description of version>" 8bd71c9121e5459f5cc560496c40f103a00e4e6a
git push origin v0.6.1
Registration pull request created: JuliaRegistries/General/28076
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.2 -m "<description of version>" 531e48e1f43bf9fe513c41eab65373432b9044bf
git push origin v0.6.2
Registration pull request created: JuliaRegistries/General/28116
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.3 -m "<description of version>" fe603b577dd68df3d22b3e4af65624a6b189703c
git push origin v0.6.3
Registration pull request created: JuliaRegistries/General/30011
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.4 -m "<description of version>" a279216660b3aff4e94155c4e953ec6b5e215409
git push origin v0.6.4
Registration pull request created: JuliaRegistries/General/30120
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.5 -m "<description of version>" 873373ccb4991ef83175aeaf03574f1f458e69f8
git push origin v0.6.5
Registration pull request created: JuliaRegistries/General/31487
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.6 -m "<description of version>" feec0320d9c26e16c2ced59bf11877ac7141ce8a
git push origin v0.6.6
Registration pull request created: JuliaRegistries/General/32293
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.7 -m "<description of version>" 1a8b3975346c7c3159d8c1ee700050fedccb5586
git push origin v0.6.7
Registration pull request created: JuliaRegistries/General/38803
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.8 -m "<description of version>" 2fe410a0d51295982f7f06ff2ab0d34db9ee4db4
git push origin v0.6.8
Registration pull request created: JuliaRegistries/General/41067
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.9 -m "<description of version>" 3e11d24965f0a9cd4e662767eb4fbd11d0ee8d4f
git push origin v0.6.9
Registration pull request created: JuliaRegistries/General/41540
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.6.10 -m "<description of version>" 63af54516bc3f2858331340be834c9c68b2d3cd8
git push origin v0.6.10
Registration pull request created: JuliaRegistries/General/42365
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.7.0 -m "<description of version>" 9830f7d0bd50172e28c6334472138b8f318476f1
git push origin v0.7.0
Registration pull request created: JuliaRegistries/General/47894
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.7.1 -m "<description of version>" 36a7490856dd6cda223cf2d074964846b87b3b1a
git push origin v0.7.1
Registration pull request created: JuliaRegistries/General/51962
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.8.0 -m "<description of version>" 68fd0b1e77bdc83d246ae21d832776ad1bca2aa0
git push origin v0.8.0
Registration pull request created: JuliaRegistries/General/53966
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.8.1 -m "<description of version>" 72f4c36f66d8ed556fec17382cda3b8a974fa152
git push origin v0.8.1
Registration pull request created: JuliaRegistries/General/54018
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.8.2 -m "<description of version>" 170dbe423c1ff4b7877394490a7f48d30f2f2097
git push origin v0.8.2
Registration pull request created: JuliaRegistries/General/54991
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.9.0 -m "<description of version>" 30f7ade9464f1b457154a7c126f320d30613e4e8
git push origin v0.9.0
Registration pull request created: JuliaRegistries/General/55555
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.9.1 -m "<description of version>" d66ad07983d1d867d66d1a4fba608ed20af738cf
git push origin v0.9.1
Registration pull request created: JuliaRegistries/General/57361
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.9.2 -m "<description of version>" e99db3814e88818222174e086a3024b9076fcaa1
git push origin v0.9.2