Skip to content

Actions: TendTo/dlinear

Actions

dlinear CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dlinear.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update copyright dlinear CI #54: Commit d4b26fd pushed by TendTo
November 4, 2024 14:45 36m 15s main
main
November 4, 2024 14:45 36m 15s
ref: introduce templated formula and expression visitors dlinear CI #53: Commit 6e3e387 pushed by TendTo
October 16, 2024 18:19 28m 9s main
main
October 16, 2024 18:19 28m 9s
ci: include more options for triggering the workflows dlinear CI #52: Commit f41d686 pushed by TendTo
October 15, 2024 18:32 36m 44s main
main
October 15, 2024 18:32 36m 44s
docs: update documentation dlinear CI #51: Commit 19ebb1c pushed by TendTo
October 15, 2024 18:14 1m 12s main
main
October 15, 2024 18:14 1m 12s
feat: use preprocessor to infer simple equality bounds in the solver … dlinear CI #50: Commit 39fdd0e pushed by TendTo
July 20, 2024 16:46 5m 19s main
main
July 20, 2024 16:46 5m 19s
feat: use preprocessor to infer simple equality bounds in the solver … dlinear CI #49: Commit e8c517c pushed by TendTo
July 19, 2024 16:08 5m 25s main
main
July 19, 2024 16:08 5m 25s
feat: use preprocessor to infer simple equality bounds in the solver … dlinear CI #48: Commit 3a6e627 pushed by TendTo
July 19, 2024 16:08 5m 34s main
main
July 19, 2024 16:08 5m 34s
chore: fix linting dlinear CI #47: Commit b4959f2 pushed by TendTo
July 15, 2024 18:40 16m 24s main
main
July 15, 2024 18:40 16m 24s
fix: inverted condition for silent flag dlinear CI #46: Commit 6fdebcf pushed by TendTo
June 21, 2024 11:08 5m 10s main
main
June 21, 2024 11:08 5m 10s
docs: update documentation dlinear CI #45: Commit 055ded1 pushed by TendTo
June 20, 2024 19:10 4m 54s main
main
June 20, 2024 19:10 4m 54s
docs: update installation docs dlinear CI #44: Commit 2b21a6d pushed by TendTo
June 19, 2024 20:08 11m 58s main
main
June 19, 2024 20:08 11m 58s
fix: missing logging include dlinear CI #43: Commit bf27cfd pushed by TendTo
May 20, 2024 17:25 5m 43s main
main
May 20, 2024 17:25 5m 43s
chore: set dev dependencies dlinear CI #42: Commit 7f0f2d9 pushed by TendTo
May 20, 2024 17:11 11m 16s main
main
May 20, 2024 17:11 11m 16s
fix: missing include header dlinear CI #41: Commit 369ef92 pushed by TendTo
May 8, 2024 12:51 11m 58s main
main
May 8, 2024 12:51 11m 58s
chore: introduce IWYU to clean up imports dlinear CI #40: Commit 99a6487 pushed by TendTo
April 22, 2024 12:27 5m 40s main
main
April 22, 2024 12:27 5m 40s
chore: fix linting issues dlinear CI #39: Commit dc03fba pushed by TendTo
April 16, 2024 18:18 6m 23s main
main
April 16, 2024 18:18 6m 23s
chore: update TODO dlinear CI #38: Commit af6dbc8 pushed by TendTo
April 16, 2024 18:13 5m 28s main
main
April 16, 2024 18:13 5m 28s
perf: use clearBasis only when strictly necessary dlinear CI #37: Commit f95f555 pushed by TendTo
April 15, 2024 10:29 4m 27s main
main
April 15, 2024 10:29 4m 27s
fix: get correct bound violation dlinear CI #36: Commit 797e989 pushed by TendTo
April 15, 2024 09:10 8m 40s main
main
April 15, 2024 09:10 8m 40s
fix: add link to flex header dlinear CI #35: Commit a15ac5c pushed by TendTo
April 13, 2024 18:00 5m 18s main
main
April 13, 2024 18:00 5m 18s
feat: handle multiple explanations for infeasible CompleteSoplexTheor… dlinear CI #34: Commit 8ba3a52 pushed by TendTo
April 12, 2024 14:18 1m 18s main
main
April 12, 2024 14:18 1m 18s
feat: only use std::stringstream in SmtSolverOutput dlinear CI #33: Commit 5bef27b pushed by TendTo
April 12, 2024 11:36 1m 19s main
main
April 12, 2024 11:36 1m 19s
chore: update docker container dlinear CI #32: Commit 97d8743 pushed by TendTo
April 12, 2024 10:55 4m 31s main
main
April 12, 2024 10:55 4m 31s
style: fix linting dlinear CI #31: Commit fbd5b97 pushed by TendTo
April 11, 2024 21:48 11m 41s main
main
April 11, 2024 21:48 11m 41s
chore: update TODO and TestSmt2 disabling the preprocessor (temp) dlinear CI #30: Commit f19543a pushed by TendTo
April 10, 2024 11:06 6m 4s main
main
April 10, 2024 11:06 6m 4s