Skip to content

Actions: IDNI/tau-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,811 workflow runs
1,811 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removing commented out code CMake #311: Commit 078d74a pushed by castrod
January 9, 2024 10:36 10m 33s main
main
January 9, 2024 10:36 10m 33s
adding parsing tests for wff_bex and wff_ball CMake #310: Commit d57837d pushed by castrod
January 9, 2024 10:35 8m 40s main
main
January 9, 2024 10:35 8m 40s
replacing bf_subs_cb with bf_remove_existential_cb and bf_remove_funi… CMake #309: Commit 2b92cd5 pushed by castrod
January 9, 2024 10:19 8m 35s main
main
January 9, 2024 10:19 8m 35s
distinguishing boolean variables from the usual ones CMake #308: Commit 001454c pushed by castrod
January 9, 2024 09:33 12m 18s main
main
January 9, 2024 09:33 12m 18s
adding boolean quantified variables and related rules CMake #307: Commit dd63311 pushed by castrod
January 9, 2024 08:56 8m 41s main
main
January 9, 2024 08:56 8m 41s
adding tests for collapsing positives tau rules CMake #306: Commit 3d53673 pushed by castrod
December 26, 2023 19:13 10m 8s main
main
December 26, 2023 19:13 10m 8s
fixing bug in tau rewriting rule for moving positives up CMake #305: Commit 013300d pushed by castrod
December 26, 2023 17:38 8m 21s main
main
December 26, 2023 17:38 8m 21s
improvements in tau_collapse_positives cb CMake #304: Commit 1f2bed9 pushed by castrod
December 26, 2023 17:36 8m 10s main
main
December 26, 2023 17:36 8m 10s
renaming file CMake #303: Commit 7e94288 pushed by castrod
December 26, 2023 17:18 11m 11s main
main
December 26, 2023 17:18 11m 11s
fixing previous commit CMake #302: Commit 0403dab pushed by castrod
December 22, 2023 11:11 8m 35s main
main
December 22, 2023 11:11 8m 35s
collapsing positives in tau set operations CMake #301: Commit 83579ce pushed by castrod
December 22, 2023 10:35 2m 57s main
main
December 22, 2023 10:35 2m 57s
renaming tau_apply to formula_apply and so on CMake #300: Commit 8feb40d pushed by castrod
December 21, 2023 11:57 8m 23s main
main
December 21, 2023 11:57 8m 23s
adding basic tau rules CMake #299: Commit 207f8c7 pushed by castrod
December 21, 2023 09:46 8m 43s main
main
December 21, 2023 09:46 8m 43s
properly deal with timed input/output CMake #298: Commit 779a114 pushed by castrod
December 20, 2023 11:09 9m 55s main
main
December 20, 2023 11:09 9m 55s
adding tau to grammar CMake #297: Commit b448cc2 pushed by castrod
December 20, 2023 10:33 9m 34s main
main
December 20, 2023 10:33 9m 34s
adding powerset iterator CMake #296: Commit 65003fb pushed by castrod
December 20, 2023 09:28 11m 5s main
main
December 20, 2023 09:28 11m 5s
renaming GENERATE_PARSER to TAU_GENERATE_PARSER CMake #295: Commit e0b276a pushed by castrod
December 17, 2023 06:43 7m 53s main
main
December 17, 2023 06:43 7m 53s
renaming BUILD_* to TAU_BUILD_* CMake #294: Commit 4ab9555 pushed by castrod
December 16, 2023 13:31 11m 3s main
main
December 16, 2023 13:31 11m 3s
enabling tests and integration tests by default CMake #293: Commit fcc66dd pushed by castrod
December 16, 2023 13:01 6m 18s main
main
December 16, 2023 13:01 6m 18s
Merge pull request #1 from IDNI/parser_sync CMake #292: Commit 7b2dff0 pushed by castrod
December 16, 2023 09:27 2m 6s main
main
December 16, 2023 09:27 2m 6s
Parser sync CMake #291: Pull request #1 synchronize by tklip
December 16, 2023 01:40 1m 40s parser_sync
parser_sync
December 16, 2023 01:40 1m 40s
Parser sync CMake #290: Pull request #1 opened by tklip
December 16, 2023 01:24 1m 40s parser_sync
parser_sync
December 16, 2023 01:24 1m 40s
rename BF_TRIVIALITY to BF_(N)EQ_SIMPLIFY CMake #289: Commit b758cc1 pushed by tklip
December 13, 2023 12:54 6m 26s main
main
December 13, 2023 12:54 6m 26s
added << printers for some of tau structures CMake #288: Commit bcc05e0 pushed by tklip
December 13, 2023 12:11 8m 35s main
main
December 13, 2023 12:11 8m 35s
updating README.md with bf and wff extra info CMake #287: Commit 90b73d8 pushed by castrod
December 12, 2023 13:33 7m 8s main
main
December 12, 2023 13:33 7m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.