Skip to content

Actions: ALanovaya/datalog-translator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix mistake with dimension resizing
Haskell CI #27: Commit 8e3783b pushed by ALanovaya
May 28, 2024 17:52 14m 9s main
May 28, 2024 17:52 14m 9s
Implement interpreter for matrix ast
Haskell CI #26: Commit a2b1f5f pushed by ALanovaya
May 25, 2024 17:24 14m 31s main
May 25, 2024 17:24 14m 31s
Fix warnings of linter
Haskell CI #25: Commit bfbae95 pushed by ALanovaya
December 26, 2023 02:01 14m 5s main
December 26, 2023 02:01 14m 5s
Add trnslation of facts in datalog program
Haskell CI #24: Commit fd2b972 pushed by ALanovaya
December 26, 2023 01:46 13m 51s main
December 26, 2023 01:46 13m 51s
Add gen tests and fix translation of rules
Haskell CI #23: Commit 4d4fb90 pushed by ALanovaya
December 26, 2023 01:18 14m 36s main
December 26, 2023 01:18 14m 36s
Implement interpreter for datalog and unit-tests
Haskell CI #22: Commit 437ca56 pushed by ALanovaya
December 23, 2023 22:07 13m 23s main
December 23, 2023 22:07 13m 23s
Merge pull request #1 from ALanovaya/Check_ci
Haskell CI #21: Commit adf5adb pushed by ALanovaya
December 22, 2023 20:36 12m 49s main
December 22, 2023 20:36 12m 49s
Add linter in ci
Haskell CI #20: Pull request #1 synchronize by ALanovaya
December 22, 2023 19:46 13m 11s Check_ci
December 22, 2023 19:46 13m 11s
Add linter in ci
Haskell CI #19: Pull request #1 synchronize by ALanovaya
December 22, 2023 19:39 1m 29s Check_ci
December 22, 2023 19:39 1m 29s
Add linter in ci
Haskell CI #18: Pull request #1 opened by ALanovaya
December 22, 2023 18:58 13m 14s Check_ci
December 22, 2023 18:58 13m 14s
Add functionality of disjunction rules
Haskell CI #17: Commit eb0b9ad pushed by ALanovaya
December 22, 2023 07:15 2m 6s main
December 22, 2023 07:15 2m 6s
Fix ci for translator building
Haskell CI #16: Commit 5770eb4 pushed by ALanovaya
December 22, 2023 03:56 1m 47s main
December 22, 2023 03:56 1m 47s
Implement transaltor for datalog ast to matrix operations
Haskell CI #12: Commit 56dfcae pushed by ALanovaya
December 21, 2023 14:51 1m 37s main
December 21, 2023 14:51 1m 37s
Implement matrix library
Haskell CI #11: Commit 295a373 pushed by ALanovaya
December 2, 2023 12:21 1m 28s main
December 2, 2023 12:21 1m 28s
Fix location of ci file and mistake with dependencies
Haskell CI #10: Commit 3107cd2 pushed by ALanovaya
November 14, 2023 19:28 1m 30s main
November 14, 2023 19:28 1m 30s
Fix location of ci file and mistake with dependencies
Haskell CI #7: Commit 0b0dc78 pushed by ALanovaya
November 14, 2023 18:47 35m 16s main
November 14, 2023 18:47 35m 16s