Skip to content

Actions: NumSim-Stack/numsim-cas

Actions

CMake on multiple platforms

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake-multi-platform.yml
1,755 workflow runs
1,755 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix #446: reject a substitution that drops the symbol's assumptions CMake on multiple platforms #1800: Pull request #461 synchronize by petlenz
28m 17s fix-446-substitution-assumptions
fix-446-substitution-assumptions
28m 17s
Fix #446: reject a replacement that drops the symbol's assumptions CMake on multiple platforms #1799: Commit 1aac4ae pushed by petlenz
26m 34s fix-446-substitution-assumptions
fix-446-substitution-assumptions
26m 34s
Fix #504: lazy hash and inferred assumptions are race-free on shared nodes CMake on multiple platforms #1798: Pull request #511 synchronize by petlenz
23m 0s fix-504-shared-node-races
fix-504-shared-node-races
23m 0s
Carry the epoch semantics onto the atomic fact masks CMake on multiple platforms #1797: Commit 9ed96c2 pushed by petlenz
15m 11s fix-504-shared-node-races
fix-504-shared-node-races
15m 11s
Merge pull request #458 from NumSim-Stack/fix-443-tensor-symbol-shape CMake on multiple platforms #1796: Commit e05b3e0 pushed by petlenz
36m 1s main
main
36m 1s
Fix #443: tensor symbol identity includes dim and rank CMake on multiple platforms #1795: Pull request #458 synchronize by petlenz
27m 48s fix-443-tensor-symbol-shape
fix-443-tensor-symbol-shape
27m 48s
Shorten the identity comments CMake on multiple platforms #1794: Commit 57878c6 pushed by petlenz
26m 41s fix-443-tensor-symbol-shape
fix-443-tensor-symbol-shape
26m 41s
Fix #450: fuzz the node classes the generators never emitted CMake on multiple platforms #1793: Pull request #481 synchronize by petlenz
25m 11s fix-450-fuzz-op-coverage
fix-450-fuzz-op-coverage
25m 11s
Account for cancellation noise in the tensor finite differences CMake on multiple platforms #1792: Commit 3a50481 pushed by petlenz
23m 12s fix-450-fuzz-op-coverage
fix-450-fuzz-op-coverage
23m 12s
Fix #367 and #368: parser error messages and diagnostics CMake on multiple platforms #1791: Pull request #465 synchronize by petlenz
30m 3s fix-367-368-parser-diagnostics
fix-367-368-parser-diagnostics
30m 3s
Move the arity list into normalize instead of copying it CMake on multiple platforms #1790: Commit cedd333 pushed by petlenz
22m 43s fix-367-368-parser-diagnostics
fix-367-368-parser-diagnostics
22m 43s
Fix #362 and #377: umbrella header coverage and test/CI hygiene CMake on multiple platforms #1789: Pull request #470 synchronize by petlenz
22m 48s fix-362-377-headers-ci
fix-362-377-headers-ci
22m 48s
Fix #443: tensor symbol identity includes dim and rank CMake on multiple platforms #1788: Pull request #458 synchronize by petlenz
24m 0s fix-443-tensor-symbol-shape
fix-443-tensor-symbol-shape
24m 0s
Compare shape where the shape lives CMake on multiple platforms #1787: Commit 53e5ed3 pushed by petlenz
23m 43s fix-443-tensor-symbol-shape
fix-443-tensor-symbol-shape
23m 43s
Merge pull request #467 from NumSim-Stack/fix-371-411-simplifier CMake on multiple platforms #1786: Commit b4aea8d pushed by petlenz
25m 10s main
main
25m 10s
Merge pull request #469 from NumSim-Stack/fix-363-364-378-cmake CMake on multiple platforms #1785: Commit 6923e0f pushed by petlenz
23m 52s main
main
23m 52s
Merge pull request #471 from NumSim-Stack/fix-441-contains-memoization CMake on multiple platforms #1784: Commit eca3514 pushed by petlenz
22m 45s main
main
22m 45s
Merge pull request #456 from NumSim-Stack/fix-448-449-t2s-visitors CMake on multiple platforms #1783: Commit b42df71 pushed by petlenz
22m 49s main
main
22m 49s
Merge pull request #452 from NumSim-Stack/fix-451-wrapper-equality CMake on multiple platforms #1782: Commit 15b4dd0 pushed by petlenz
22m 22s main
main
22m 22s
Merge pull request #454 from NumSim-Stack/fix-445-congruence-rank CMake on multiple platforms #1781: Commit be37877 pushed by petlenz
23m 2s main
main
23m 2s
Fix #480: tanh derivative saturates instead of collapsing to a wrong finite value CMake on multiple platforms #1780: Pull request #503 synchronize by petlenz
24m 17s fix-480-tanh-overflow
fix-480-tanh-overflow
24m 17s
Characterise the negative-side band the new tanh form degrades in CMake on multiple platforms #1779: Commit 04aea15 pushed by petlenz
25m 42s fix-480-tanh-overflow
fix-480-tanh-overflow
25m 42s
Fix #504: publish the lazy hash and derived facts atomically CMake on multiple platforms #1778: Commit b5d1b8a pushed by petlenz
18m 26s fix-504-shared-node-races
fix-504-shared-node-races
18m 26s
Fix #490 and #491: reject contradictory assumptions; inferred facts follow the leaves CMake on multiple platforms #1777: Pull request #508 synchronize by petlenz
26m 45s fix-490-491-assumption-consistency
fix-490-491-assumption-consistency
26m 45s
Expect a throw where tests pinned PD overwriting a skew tag CMake on multiple platforms #1776: Commit 3948ebf pushed by petlenz
22m 53s fix-490-491-assumption-consistency
fix-490-491-assumption-consistency
22m 53s