Skip to content

Actions: lip6/ITSTools

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
112 workflow runs
112 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
filter formulas based on examination Java CI with Maven #661: Commit ed8570b pushed by yanntm
July 4, 2024 12:49 4m 40s master
master
July 4, 2024 12:49 4m 40s
be more generous on what crossrefs are possible. Java CI with Maven #660: Commit dd4af97 pushed by yanntm
July 4, 2024 11:38 5m 50s master
master
July 4, 2024 11:38 5m 50s
one more formula Java CI with Maven #659: Commit d6866cf pushed by yanntm
July 3, 2024 15:45 6m 9s master
master
July 3, 2024 15:45 6m 9s
adapt to changed grammar Java CI with Maven #658: Commit cbe1f3d pushed by yanntm
July 3, 2024 14:28 6m 0s master
master
July 3, 2024 14:28 6m 0s
add converter build + deploy to website Java CI with Maven #657: Commit 1e66b82 pushed by yanntm
July 3, 2024 12:51 5m 33s master
master
July 3, 2024 12:51 5m 33s
drop convert flag Java CI with Maven #656: Commit 6145f5f pushed by yanntm
July 3, 2024 12:45 5m 13s master
master
July 3, 2024 12:45 5m 13s
point the converter tool Java CI with Maven #655: Commit 8d4552a pushed by yanntm
July 3, 2024 12:25 4m 5s master
master
July 3, 2024 12:25 4m 5s
a parser without a PNMLFW dependency. Java CI with Maven #654: Commit 7da7e7d pushed by yanntm
July 3, 2024 10:40 5m 28s master
master
July 3, 2024 10:40 5m 28s
code supporting the DD vs SMT analysis Java CI with Maven #653: Commit 7278d32 pushed by yanntm
June 5, 2024 11:53 5m 32s master
master
June 5, 2024 11:53 5m 32s
A shiny new kind of constraint appears ! Traps along path operational Java CI with Maven #652: Commit 59b1365 pushed by yanntm
May 23, 2024 10:36 6m 9s master
master
May 23, 2024 10:36 6m 9s
whitespace/source cleanup/format Java CI with Maven #651: Commit 480250e pushed by yanntm
May 22, 2024 13:29 5m 3s master
master
May 22, 2024 13:29 5m 3s
upgrade code to use the new incremental solver Java CI with Maven #650: Commit dda5e79 pushed by yanntm
May 22, 2024 09:34 10m 33s master
master
May 22, 2024 09:34 10m 33s
add and transmit a timeout flag Java CI with Maven #649: Commit 624a794 pushed by yanntm
May 14, 2024 13:37 6m 19s master
master
May 14, 2024 13:37 6m 19s
behavior is now in the normal flow of reductions Java CI with Maven #648: Commit 4652a22 pushed by yanntm
May 5, 2024 15:22 5m 36s master
master
May 5, 2024 15:22 5m 36s
pulled up toPredicates ; TODO : refactor to external helper class Java CI with Maven #647: Commit 34f1645 pushed by yanntm
May 5, 2024 15:11 5m 35s master
master
May 5, 2024 15:11 5m 35s
refactoring to prepare TrapAlongRefiner + break every 20 traps found Java CI with Maven #646: Commit e2865f6 pushed by yanntm
May 5, 2024 14:24 5m 31s master
master
May 5, 2024 14:24 5m 31s
disable MT in Z3 Java CI with Maven #645: Commit 8bd4d34 pushed by yanntm
May 5, 2024 13:16 5m 2s master
master
May 5, 2024 13:16 5m 2s
forcing use of vfork, having issues with jspawn Java CI with Maven #644: Commit 328c203 pushed by yanntm
May 5, 2024 11:21 5m 5s master
master
May 5, 2024 11:21 5m 5s
drop debug log for production Java CI with Maven #643: Commit 5a70f82 pushed by yanntm
May 4, 2024 20:17 4m 45s master
master
May 4, 2024 20:17 4m 45s
use parikh witness Java CI with Maven #642: Commit e156bf9 pushed by yanntm
May 4, 2024 19:20 4m 51s master
master
May 4, 2024 19:20 4m 51s
cache place indexes, it is important for large models. Java CI with Maven #641: Commit 143f7e0 pushed by yanntm
May 4, 2024 15:46 4m 40s master
master
May 4, 2024 15:46 4m 40s
SolverState stores min + be more optimistic with Real solutions Java CI with Maven #640: Commit 4275422 pushed by yanntm
May 4, 2024 15:25 5m 52s master
master
May 4, 2024 15:25 5m 52s
adding a upper bound at 1 if net is safe Java CI with Maven #639: Commit 3e724ec pushed by yanntm
May 4, 2024 12:24 4m 53s master
master
May 4, 2024 12:24 4m 53s
support not having a por Java CI with Maven #638: Commit 2f5a149 pushed by yanntm
May 3, 2024 16:03 5m 35s master
master
May 3, 2024 16:03 5m 35s
skip REAL and UNK in trap refiner Java CI with Maven #637: Commit ec92ec9 pushed by yanntm
April 26, 2024 15:00 5m 22s master
master
April 26, 2024 15:00 5m 22s