Skip to content

Actions: tnelson/Forge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
331 workflow runs
331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat smt s exp Continuous Integration #870: Pull request #271 opened by tnelson
August 20, 2024 17:45 1m 39s feat_smt_s-exp
feat_smt_s-exp
August 20, 2024 17:45 1m 39s
logging: beware of read failures (#270) Continuous Integration #869: Commit 890e203 pushed by bennn
August 20, 2024 16:26 15m 43s dev
dev
August 20, 2024 16:26 15m 43s
logging: beware of read failures Continuous Integration #868: Pull request #270 opened by bennn
August 19, 2024 02:59 16m 16s bennn:hashlang-comment
bennn:hashlang-comment
August 19, 2024 02:59 16m 16s
Fixing issue with to-smt visitor; refactor lang-specific error code Continuous Integration #867: Pull request #267 opened by tnelson
August 5, 2024 10:52 15m 29s feat_smt_infer_multiplicity
feat_smt_infer_multiplicity
August 5, 2024 10:52 15m 29s
Comparison pull request Continuous Integration #866: Pull request #265 synchronize by tnelson
August 1, 2024 14:55 16m 12s feat_smt_int
feat_smt_int
August 1, 2024 14:55 16m 12s
feat_smt_new_int into feat_smt_int Continuous Integration #865: Pull request #266 synchronize by tnelson
August 1, 2024 14:55 15m 12s feat_smt_new_int
feat_smt_new_int
August 1, 2024 14:55 15m 12s
Merge branch 'main' into dev Continuous Integration #864: Commit a0ab5e4 pushed by tnelson
August 1, 2024 13:05 15m 39s dev
dev
August 1, 2024 13:05 15m 39s
improve: error message if model uses a pred with too-few arguments Continuous Integration #863: Commit 9156956 pushed by tnelson
July 31, 2024 17:38 15m 42s dev
dev
July 31, 2024 17:38 15m 42s
add: annotation to nodes created for automatic int/expr conversion Continuous Integration #862: Commit ea51f11 pushed by tnelson
July 23, 2024 18:21 16m 28s dev
dev
July 23, 2024 18:21 16m 28s
don't create trivial and/or AST nodes; tests for Skolemization Continuous Integration #861: Commit d4c19e3 pushed by tnelson
July 23, 2024 18:09 15m 3s dev
dev
July 23, 2024 18:09 15m 3s
pages build and deployment pages-build-deployment #23: by tnelson
July 23, 2024 17:25 39s
July 23, 2024 17:25 39s
update sterling: prototype rename atoms, prototype magic layout basics Continuous Integration #860: Commit e12f2e1 pushed by tnelson
July 22, 2024 17:07 14m 45s dev
dev
July 22, 2024 17:07 14m 45s
fix: don't send disambiguating suffix to Kodkod, cleanup Skolem var n… Continuous Integration #859: Commit f43ddc9 pushed by tnelson
July 22, 2024 17:01 15m 1s dev
dev
July 22, 2024 17:01 15m 1s
add: no_overflow option, which enables Kodkod's overflow-prevention f… Continuous Integration #858: Commit e176c7f pushed by tnelson
July 20, 2024 20:05 16m 2s dev
dev
July 20, 2024 20:05 16m 2s
Comparison pull request Continuous Integration #857: Pull request #265 synchronize by tnelson
July 19, 2024 15:56 15m 14s feat_smt_int
feat_smt_int
July 19, 2024 15:56 15m 14s
Comparison pull request Continuous Integration #856: Pull request #265 synchronize by tnelson
July 19, 2024 15:46 15m 42s feat_smt_int
feat_smt_int
July 19, 2024 15:46 15m 42s
Comparison pull request Continuous Integration #855: Pull request #265 synchronize by tnelson
July 19, 2024 15:00 15m 25s feat_smt_int
feat_smt_int
July 19, 2024 15:00 15m 25s
Comparison pull request Continuous Integration #854: Pull request #265 synchronize by tnelson
July 19, 2024 14:46 15m 23s feat_smt_int
feat_smt_int
July 19, 2024 14:46 15m 23s
Comparison pull request Continuous Integration #853: Pull request #265 synchronize by tnelson
July 19, 2024 14:30 15m 15s feat_smt_int
feat_smt_int
July 19, 2024 14:30 15m 15s
Satisfiability Assertions Semantic Version Updater #64: Pull request #263 closed by sidprasad
July 19, 2024 14:29 25s assert-sat
assert-sat
July 19, 2024 14:29 25s
Satisfiability Assertions (#263) Continuous Integration #852: Commit 8987190 pushed by sidprasad
July 19, 2024 14:29 15m 8s main
main
July 19, 2024 14:29 15m 8s
Comparison pull request Continuous Integration #851: Pull request #265 opened by k-mouline
July 19, 2024 14:11 17s feat_smt_int
feat_smt_int
July 19, 2024 14:11 17s
Satisfiability Assertions Continuous Integration #850: Pull request #263 synchronize by tnelson
July 18, 2024 14:50 15m 23s assert-sat
assert-sat
July 18, 2024 14:50 15m 23s
Satisfiability Assertions Continuous Integration #849: Pull request #263 synchronize by sidprasad
July 17, 2024 21:03 15m 16s assert-sat
assert-sat
July 17, 2024 21:03 15m 16s
add: enrich collector to update context Continuous Integration #848: Pull request #264 opened by tnelson
July 17, 2024 14:31 16m 45s feat_ints_collector_context
feat_ints_collector_context
July 17, 2024 14:31 16m 45s