Workflow runs · naim-mr/refunction · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

52 workflow runs

52 workflow runs

[Fix] Fiix precondition analysis, now works Log Diff Check #52: Commit ca80bb5 pushed by naim-mr

2m 17s v0.31

v0.31

2m 17s

[Fix] CTL: Computational was wrongly used in filter and meet operator… Log Diff Check #51: Commit 5d7d83f pushed by naim-mr

2m 18s v0.31

v0.31

2m 18s

[WIP] Refix launch of non-termination Log Diff Check #50: Commit 209be65 pushed by naim-mr

2m 1s v0.31

v0.31

2m 1s

[WIP] ctl analysis Log Diff Check #49: Commit 217d2e8 pushed by naim-mr

5m 27s v0.31

v0.31

5m 27s

[CLEAN] remove debuging Log Diff Check #48: Commit 398a877 pushed by naim-mr

5m 44s v0.31

v0.31

5m 44s

[Up] remove fixed nondet variables in the semantics (still in the syn… Log Diff Check #47: Commit 55919a7 pushed by naim-mr

5m 26s v0.31

v0.31

5m 26s

[Up] Termination Resilience and Robust non-termination allowed Log Diff Check #46: Commit 938f15b pushed by naim-mr

5m 31s v0.31

v0.31

5m 31s

[Clean & fix] remove debuging and use find_opt for refine (optional) Log Diff Check #45: Commit 7e27675 pushed by naim-mr

5m 57s v0.31

v0.31

5m 57s

[CLEAN] printing Log Diff Check #44: Commit b4ebad6 pushed by naim-mr

2m 31s v0.31

v0.31

2m 31s

[SVCOMP] add version boolean option Log Diff Check #43: Commit bf8a27a pushed by naim-mr

2m 17s v0.31

v0.31

2m 17s

[Fix] remove unsigned integer Log Diff Check #42: Commit b1c32ce pushed by naim-mr

2m 16s v0.31

v0.31

2m 16s

[Fix] interproc (nonterm and term) Log Diff Check #41: Commit 365cf4b pushed by naim-mr

2m 24s v0.31

v0.31

2m 24s

[SVCOMP] print only version when asked Log Diff Check #40: Commit 5071eb9 pushed by naim-mr

2m 24s v0.31

v0.31

2m 24s

[WIP] interproc Log Diff Check #39: Commit 8f01d4c pushed by naim-mr

2m 31s v0.31

v0.31

2m 31s

[UP] Unsigned int are not supported Log Diff Check #38: Commit a108eaf pushed by naim-mr

2m 36s v0.31

v0.31

2m 36s

[UP] remove fixed nondet variable semantics Log Diff Check #37: Commit 5218fae pushed by naim-mr

2m 28s v0.31

v0.31

2m 28s

[Feature] add robust non-termination analysis Log Diff Check #36: Commit 15c65c3 pushed by naim-mr

2m 28s v0.31

v0.31

2m 28s

[UP] Environment init in a module for modularity + refine works with … Log Diff Check #35: Commit 4da8568 pushed by naim-mr

2m 25s v0.31

v0.31

2m 25s

[Fix] Wrong iterator was called for ctl with ordinals Log Diff Check #34: Commit fed569b pushed by naim-mr

2m 30s v0.31

v0.31

2m 30s

[Multiple] clean + fix on analysis Log Diff Check #33: Commit 3eb960f pushed by naim-mr

2m 29s v0.31

v0.31

2m 29s

[CLEAN] banal warnings Log Diff Check #32: Commit 5228214 pushed by naim-mr

2m 22s v0.31

v0.31

2m 22s

[Feature] Modularity of new iterators Log Diff Check #31: Commit 4e82a89 pushed by naim-mr

2m 45s v0.31

v0.31

2m 45s

[Up] fixes wrt to logs Log Diff Check #30: Commit 3746de2 pushed by naim-mr

2m 33s v0.31

v0.31

2m 33s

[Fix] adjency algorithm fixes from Loic work Log Diff Check #29: Commit e923ec7 pushed by naim-mr

2m 47s v0.31

v0.31

2m 47s

[Features] interproc analysis ongoing Log Diff Check #28: Commit 93bda65 pushed by naim-mr

2m 31s v0.31

v0.31

2m 31s