Skip to content

Actions: nmacedo/org.alloytools.alloy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed rebase
trigger-native #3: Commit a220368 pushed by nmacedo
July 17, 2024 14:34 27m 51s master
July 17, 2024 14:34 27m 51s
fixed rebase
snapshot #18: Commit a220368 pushed by nmacedo
July 17, 2024 14:34 47s master
July 17, 2024 14:34 47s
Merge remote-tracking branch 'alloy/master'
trigger-native #2: Commit 7fc102e pushed by nmacedo
June 4, 2024 16:19 16m 44s master
June 4, 2024 16:19 16m 44s
Merge remote-tracking branch 'alloy/master'
snapshot #17: Commit 7fc102e pushed by nmacedo
June 4, 2024 16:19 33s master
June 4, 2024 16:19 33s
fixed table regex
snapshot #16: Commit e3faed6 pushed by nmacedo
June 4, 2024 16:03 35s master
June 4, 2024 16:03 35s
fixed skolem labels
snapshot #15: Commit 9990d5b pushed by nmacedo
June 4, 2024 15:30 39s master
June 4, 2024 15:30 39s
Merge branch 'electrod-ints'
snapshot #14: Commit b311c7a pushed by nmacedo
June 3, 2024 16:29 44s master
June 3, 2024 16:29 44s
fixed tuple set regex (fixes #279)
snapshot #13: Commit e0bec73 pushed by nmacedo
May 17, 2024 12:53 37s master
May 17, 2024 12:53 37s
fixed iteration after configs exhausted (issue #248)
snapshot #12: Commit b9992f0 pushed by nmacedo
May 15, 2024 14:10 37s master
May 15, 2024 14:10 37s
disable nav buttons when no more instances (issue #248)
snapshot #11: Commit 176c1d3 pushed by nmacedo
May 15, 2024 12:44 36s master
May 15, 2024 12:44 36s
show imported skolems in viz (issue #250)
snapshot #10: Commit a99c467 pushed by nmacedo
May 15, 2024 11:22 40s master
May 15, 2024 11:22 40s
hide this/ from subsets likewise sigs (close #247)
snapshot #9: Commit ae84b4e pushed by nmacedo
May 15, 2024 09:49 45s master
May 15, 2024 09:49 45s
pass skolemized problem to electrod
snapshot #8: Commit b2d6b22 pushed by nmacedo
April 16, 2024 16:16 58s master
April 16, 2024 16:16 58s
April 16, 2024 14:25 45s
removed electrod int safeguards
snapshot #6: Commit 7ed4a52 pushed by nmacedo
April 15, 2024 17:09 1m 17s master
April 15, 2024 17:09 1m 17s
Merge pull request #5 from AlloyTools/master
snapshot #5: Commit 58ad99b pushed by nmacedo
April 11, 2024 15:46 51s master
April 11, 2024 15:46 51s
Alloy master updates
build #7: Pull request #5 opened by nmacedo
April 11, 2024 15:46 1m 10s AlloyTools:master
April 11, 2024 15:46 1m 10s
fixed tests after instance XML update
snapshot #4: Commit de0bd2f pushed by nmacedo
March 28, 2024 17:49 42s master
March 28, 2024 17:49 42s
fixed export instance as predicate (#233)
snapshot #3: Commit 1effd61 pushed by nmacedo
March 27, 2024 17:40 49s master
March 27, 2024 17:40 49s
fixed trace visualization for skolems with past operators
snapshot #2: Commit 1444085 pushed by nmacedo
March 27, 2024 16:39 1m 21s master
March 27, 2024 16:39 1m 21s
magic colored nodes keep color along trace
trigger-native #1: Commit ee0812a pushed by nmacedo
March 27, 2024 09:50 24m 54s master
March 27, 2024 09:50 24m 54s
magic colored nodes keep color along trace
snapshot #1: Commit ee0812a pushed by nmacedo
March 27, 2024 09:50 48s master
March 27, 2024 09:50 48s