Skip to content

Actions: plug-obp/gpsl-java

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed libbdd.0.dylib Build and Publish #96: Commit 548322b pushed by teodorov
2m 39s main
main
2m 39s
merged Build and Publish #95: Commit 228066e pushed by teodorov
2m 29s main
main
2m 29s
added osx arm64 ltl3ba native Build and Publish #94: Commit 2afc90e pushed by teodorov
3m 9s main
main
3m 9s
implemented dimacs cnf reader Build and Publish #93: Commit 0c947db pushed by teodorov
2m 47s main
main
2m 47s
javadoc typo Build and Publish #92: Commit 4483308 pushed by teodorov
2m 44s main
main
2m 44s
added ite factory, renamed the previous ones bdd. Build and Publish #91: Commit d78c443 pushed by teodorov
3m 0s main
main
3m 0s
simplified cofactor computation Build and Publish #90: Commit fe26649 pushed by teodorov
3m 19s main
main
3m 19s
refactored top variable finder. Build and Publish #89: Commit 9400e3f pushed by teodorov
2m 41s main
main
2m 41s
fastpath ite factory Build and Publish #88: Commit 2564937 pushed by teodorov
2m 45s main
main
2m 45s
some refactoring of ite factory Build and Publish #87: Commit 7d0ceb0 pushed by teodorov
2m 56s main
main
2m 56s
some refactoring of ite factory Build and Publish #86: Commit a6ae3d6 pushed by teodorov
2m 59s main
main
2m 59s
initial run at bdd using ite-factory Build and Publish #85: Commit 207689f pushed by teodorov
2m 43s main
main
2m 43s
the hashconsing factory returns a faster Hashable instance. Build and Publish #84: Commit 2f20446 pushed by teodorov
3m 7s main
main
3m 7s
factored a bit the TGF generator Build and Publish #83: Commit d3b3a5d pushed by teodorov
2m 49s main
main
2m 49s
update test count Build and Publish #82: Commit 8ac6828 pushed by teodorov
2m 42s main
main
2m 42s
simplified visitor Build and Publish #81: Commit 6d36ae6 pushed by teodorov
3m 9s main
main
3m 9s
test that the defaults in visitor work as expected. Build and Publish #80: Commit fba4f17 pushed by teodorov
2m 52s main
main
2m 52s
simple name printer Build and Publish #79: Commit 8fe7650 pushed by teodorov
3m 9s main
main
3m 9s
implemented edge labels in the TGF export via the reduction function … Build and Publish #78: Commit 448b7fb pushed by teodorov
2m 17s main
main
2m 17s
bump #tests Build and Publish #77: Commit 7106250 pushed by teodorov
3m 8s main
main
3m 8s
added a docs/reports folder Build and Publish #76: Commit 27960a4 pushed by teodorov
2m 55s main
main
2m 55s
improved conditional integration in the gpsl, docs and samples Build and Publish #75: Commit 1d80521 pushed by teodorov
2m 44s main
main
2m 44s
improved conditional integration in the gpsl, docs and samples Build and Publish #74: Commit c17b086 pushed by teodorov
3m 0s main
main
3m 0s
improved conditional integration in the gpsl-core, added tests Build and Publish #73: Commit 66236f1 pushed by teodorov
3m 7s main
main
3m 7s
improved conditional integration in the gpsl-core, added tests Build and Publish #72: Commit 6a88b1a pushed by teodorov
3m 20s main
main
3m 20s