• Joined on 2017-03-12
kalmar synced new reference mk/pra_group to kalmar/PropertyT.jl from mirror 2024-02-27 23:35:09 +01:00
kalmar synced commits to mk/pra_group at kalmar/PropertyT.jl from mirror 2024-02-27 23:35:09 +01:00
kalmar synced and deleted reference refs/tags/refs/pull/14/merge at kalmar/PropertyT.jl from mirror 2024-02-20 12:04:05 +01:00
kalmar synced commits to master at kalmar/PropertyT.jl from mirror 2024-02-20 12:04:05 +01:00
a10132e441 Merge pull request #14 updating scripts/*.jl
083e1b4735 @info "checking in (...) arithmetic" before the actual check
0f3e4311b3 add scripts for SpNZ and G₂
7ba02ea21b add scripts/(Manifest|Project).toml
c00a0c15ae ignore log
Compare 10 commits »
kalmar synced new reference mk/update_PermutationGroups_etal to kalmar/PropertyT.jl from mirror 2024-02-19 19:44:04 +01:00
kalmar synced commits to mk/update_PermutationGroups_etal at kalmar/PropertyT.jl from mirror 2024-02-19 19:44:04 +01:00
kalmar synced commits to refs/pull/12/merge at kalmar/PropertyT.jl from mirror 2024-02-18 19:31:23 +01:00
cb6c97a28d Merge a05a0798ec7be75ec416aeee38ad99d01628dd46 into f4936dd50a14413d5d83b479fe7a2af69eb02812
f4936dd50a add/update scripts for SLNZ/SpNZ
Compare 2 commits »
kalmar synced commits to master at kalmar/PropertyT.jl from mirror 2024-02-18 19:31:23 +01:00
d3873e1b3a Merge pull request #13 from kalmarek/mk/update_PermutationGroups_etal
cd90e072c4 back to IntervalArithmetic-0.20 to keep julia-1.6
83fdd313c6 bump to PropertyT to 0.6
92a19f8566 no longer use "FULL_TEST" ENV variable
681d93ce58 the order of characters has changed
Compare 10 commits »
kalmar synced and deleted reference refs/tags/mk/update_PermutationGroups_etal at kalmar/PropertyT.jl from mirror 2024-02-18 19:31:23 +01:00
kalmar synced and deleted reference refs/tags/refs/pull/13/merge at kalmar/PropertyT.jl from mirror 2024-02-18 19:31:23 +01:00
kalmar synced commits to refs/pull/13/head at kalmar/PropertyT.jl from mirror 2024-02-16 18:31:23 +01:00
cd90e072c4 back to IntervalArithmetic-0.20 to keep julia-1.6
kalmar synced commits to mk/update_PermutationGroups_etal at kalmar/PropertyT.jl from mirror 2024-02-16 18:31:23 +01:00
cd90e072c4 back to IntervalArithmetic-0.20 to keep julia-1.6
kalmar synced commits to refs/pull/13/merge at kalmar/PropertyT.jl from mirror 2024-02-16 18:31:23 +01:00
e10cc936a0 Merge cd90e072c49ba318fa7af540f57fbbb67cb28fff into f4936dd50a14413d5d83b479fe7a2af69eb02812
cd90e072c4 back to IntervalArithmetic-0.20 to keep julia-1.6
Compare 2 commits »
kalmar synced new reference mk/update_PermutationGroups_etal to kalmar/PropertyT.jl from mirror 2024-02-16 02:20:56 +01:00
kalmar synced commits to mk/update_PermutationGroups_etal at kalmar/PropertyT.jl from mirror 2024-02-16 02:20:56 +01:00
kalmar synced commits to refs/tags/v0.8.0 at kalmar/Groups.jl from mirror 2024-02-14 17:40:59 +01:00
kalmar synced new reference refs/tags/v0.8.0 to kalmar/Groups.jl from mirror 2024-02-14 17:40:59 +01:00
kalmar synced commits to mk/update_to_PG_0.6 at kalmar/Groups.jl from mirror 2024-02-13 17:11:00 +01:00
c13226a625 bump to v0.8
kalmar synced and deleted reference refs/tags/refs/pull/31/merge at kalmar/Groups.jl from mirror 2024-02-13 17:11:00 +01:00
kalmar synced commits to refs/pull/31/head at kalmar/Groups.jl from mirror 2024-02-13 17:11:00 +01:00
c13226a625 bump to v0.8