Skip to content

Actions: gfngfn/SATySFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
744 workflow runs
744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename types and functions (letrec -> let_rec) Builds, tests & co #283: Commit 5a203a8 pushed by gfngfn
September 15, 2024 20:39 6m 49s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:39 6m 49s
Add the syntax for quantifiers to value bindings Builds, tests & co #282: Pull request #463 synchronize by gfngfn
September 15, 2024 20:32 7m 44s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:32 7m 44s
make ModuleTypechecker use Typechecker.typecheck_let_mutable Builds, tests & co #281: Commit 2df5d20 pushed by gfngfn
September 15, 2024 20:32 6m 58s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:32 6m 58s
Add the syntax for quantifiers to value bindings Builds, tests & co #280: Pull request #463 synchronize by gfngfn
September 15, 2024 20:28 7m 7s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:28 7m 7s
(maybe temporary) fixes about the generalization of value items in mo… Builds, tests & co #279: Commit 65034a1 pushed by gfngfn
September 15, 2024 20:28 7m 49s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:28 7m 49s
Add the syntax for quantifiers to value bindings Builds, tests & co #278: Pull request #463 synchronize by gfngfn
September 15, 2024 20:03 5m 53s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:03 5m 53s
make ModuleTypechecker use Typechecker.typecheck_nonrec Builds, tests & co #277: Commit fd016e0 pushed by gfngfn
September 15, 2024 20:03 7m 6s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 20:03 7m 6s
Add the syntax for quantifiers to value bindings Builds, tests & co #276: Pull request #463 synchronize by gfngfn
September 15, 2024 19:50 6m 50s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 19:50 6m 50s
refactor Typechecker by separating typecheck_nonrec Builds, tests & co #275: Commit 6723601 pushed by gfngfn
September 15, 2024 19:50 7m 45s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 19:50 7m 45s
Add the syntax for quantifiers to value bindings Builds, tests & co #274: Pull request #463 synchronize by gfngfn
September 15, 2024 19:35 6m 41s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 19:35 6m 41s
update parser.expected by dune promote Builds, tests & co #273: Commit fe7e79d pushed by gfngfn
September 15, 2024 19:35 6m 57s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 19:35 6m 57s
Add the syntax for quantifiers to value bindings Builds, tests & co #272: Pull request #463 synchronize by gfngfn
September 15, 2024 17:41 6m 38s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 17:41 6m 38s
refactor untyped_let_binding Builds, tests & co #271: Commit 0b82aed pushed by gfngfn
September 15, 2024 17:41 6m 37s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 17:41 6m 37s
Add the syntax for quantifiers to value bindings Builds, tests & co #270: Pull request #463 synchronize by gfngfn
September 15, 2024 08:27 6m 48s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 08:27 6m 48s
update parser.expected by dune promote Builds, tests & co #269: Commit de10f1a pushed by gfngfn
September 15, 2024 08:27 7m 46s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 08:27 7m 46s
Add the syntax for quantifiers to value bindings Builds, tests & co #268: Pull request #463 synchronize by gfngfn
September 15, 2024 08:26 5m 33s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 08:26 5m 33s
add the syntax for type annotations of return types Builds, tests & co #267: Commit 12a08e2 pushed by gfngfn
September 15, 2024 08:26 5m 58s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 08:26 5m 58s
Add the syntax for quantifiers to value bindings Builds, tests & co #266: Pull request #463 opened by gfngfn
September 15, 2024 07:25 5m 35s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 07:25 5m 35s
add quantifiers to value bindings (with shift/reduce conflicts fixed) Builds, tests & co #265: Commit 0c219e1 pushed by gfngfn
September 15, 2024 07:22 5m 22s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 15, 2024 07:22 5m 22s
add explicit quantifiers to value bindings for type annotations Builds, tests & co #264: Commit e071129 pushed by gfngfn
September 14, 2024 23:08 5m 34s dev-0-1-0-add-quantifier-to-value-binding
dev-0-1-0-add-quantifier-to-value-binding
September 14, 2024 23:08 5m 34s
Separate saphe from satysfi Builds, tests & co #263: Pull request #422 synchronize by gfngfn
September 14, 2024 00:48 7m 15s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
September 14, 2024 00:48 7m 15s
Merge pull request #462 from gfngfn/dev-0-1-0-adjust-stdlib-interface Builds, tests & co #262: Commit 2386c21 pushed by gfngfn
September 14, 2024 00:48 8m 12s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
September 14, 2024 00:48 8m 12s
Adjust the interface of Stdlib Builds, tests & co #261: Pull request #462 synchronize by gfngfn
September 12, 2024 08:19 6m 53s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 08:19 6m 53s
update default-registry-commit-hash.txt Builds, tests & co #260: Commit 06f0afc pushed by gfngfn
September 12, 2024 08:19 7m 9s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 08:19 7m 9s
Adjust the interface of Stdlib Builds, tests & co #259: Pull request #462 opened by gfngfn
September 12, 2024 07:33 8m 58s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 07:33 8m 58s