Skip to content

Actions: grayswandyr/electrod

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

compute bitwidth even when Int = {} Electrod #70: Commit 426a23d pushed by grayswandyr
May 2, 2024 17:59 9m 52s feature/arithmetic
feature/arithmetic
May 2, 2024 17:59 9m 52s
update tests; modify wrap to account for bitwidth = 0 (probably not f… Electrod #69: Commit 015db64 pushed by grayswandyr
May 1, 2024 17:42 9m 2s feature/arithmetic
feature/arithmetic
May 1, 2024 17:42 9m 2s
don't compute 2^(bitwidth-1) if bitwidth <=0; don't rename when usin… Electrod #68: Commit 2fd1c1b pushed by grayswandyr
May 1, 2024 17:03 9m 34s feature/arithmetic
feature/arithmetic
May 1, 2024 17:03 9m 34s
generate macros for division/remainder in SMV Electrod #67: Commit d2be3fe pushed by grayswandyr
May 1, 2024 14:18 10m 28s feature/arithmetic
feature/arithmetic
May 1, 2024 14:18 10m 28s
fix summation to add bitwidth Electrod #66: Commit 914c9bf pushed by grayswandyr
May 1, 2024 09:19 9m 34s feature/arithmetic
feature/arithmetic
May 1, 2024 09:19 9m 34s
remove Ltl count; fix one bitwidth wrap bug (still one with negative … Electrod #65: Commit 8d61662 pushed by grayswandyr
May 1, 2024 09:17 9m 19s feature/arithmetic
feature/arithmetic
May 1, 2024 09:17 9m 19s
smart contructors added for integers Electrod #64: Commit 7009c24 pushed by jbrubru
April 30, 2024 16:01 9m 17s feature/arithmetic
feature/arithmetic
April 30, 2024 16:01 9m 17s
wrap around for integer terms added in Solver file and called in Ltl … Electrod #63: Commit 19e4280 pushed by jbrubru
April 30, 2024 13:56 9m 22s feature/arithmetic
feature/arithmetic
April 30, 2024 13:56 9m 22s
fix small bugs + add biwidth in elo_to_ltl1 Electrod #62: Commit 7985916 pushed by grayswandyr
April 30, 2024 12:31 8m 51s feature/arithmetic
feature/arithmetic
April 30, 2024 12:31 8m 51s
bitwidth added to Domain type Electrod #61: Commit 654ad6f pushed by jbrubru
April 29, 2024 17:05 9m 30s feature/arithmetic
feature/arithmetic
April 29, 2024 17:05 9m 30s
semantics of Sum implemented Electrod #60: Commit fa75238 pushed by grayswandyr
April 29, 2024 15:33 9m 47s feature/arithmetic
feature/arithmetic
April 29, 2024 15:33 9m 47s
Merge branch 'feature/arithmetic' of ssh://github.com/grayswandyr/ele… Electrod #59: Commit 4943bd5 pushed by grayswandyr
April 26, 2024 17:09 9m 0s feature/arithmetic
feature/arithmetic
April 26, 2024 17:09 9m 0s
color computation for arithmetics Electrod #58: Commit 5fd43d6 pushed by jbrubru
April 26, 2024 07:50 9m 56s feature/arithmetic
feature/arithmetic
April 26, 2024 07:50 9m 56s
unfinished modifications Electrod #57: Commit b13d6fa pushed by grayswandyr
April 25, 2024 16:02 10m 10s feature/arithmetic
feature/arithmetic
April 25, 2024 16:02 10m 10s
update types (and classes) to prepare addition of arithmetic Electrod #56: Commit 6c3e03b pushed by grayswandyr
April 25, 2024 07:02 17m 30s feature/arithmetic
feature/arithmetic
April 25, 2024 07:02 17m 30s
GH CI: build using release profile Electrod #55: Commit 9e3e13e pushed by grayswandyr
April 2, 2024 09:50 22m 54s master
master
April 2, 2024 09:50 22m 54s
strip binaries Electrod #54: Commit 5d1cb53 pushed by grayswandyr
March 7, 2024 15:45 11m 12s develop
develop
March 7, 2024 15:45 11m 12s
Update binaries.yml to add MacOS arm64 target Electrod #53: Commit 38f1b77 pushed by grayswandyr
March 6, 2024 18:37 10m 55s develop
develop
March 6, 2024 18:37 10m 55s
GH CI: build using release profile Electrod #52: Commit 9e3e13e pushed by grayswandyr
March 5, 2024 13:00 9m 35s develop
develop
March 5, 2024 13:00 9m 35s
fix wrong path for artifact upload Electrod #51: Commit ae69652 pushed by grayswandyr
March 5, 2024 11:25 11m 0s master
master
March 5, 2024 11:25 11m 0s
fix wrong path for artifact upload Electrod #50: Commit ae69652 pushed by grayswandyr
March 5, 2024 10:59 10m 38s develop
develop
March 5, 2024 10:59 10m 38s
update README; try using releasing (on tagged versions) GH script Electrod #49: Commit 3281392 pushed by grayswandyr
March 5, 2024 10:42 9m 11s develop
develop
March 5, 2024 10:42 9m 11s
updated copyrights; makefile, Readme... Electrod #48: Commit 843d62f pushed by grayswandyr
March 4, 2024 18:53 11m 27s master
master
March 4, 2024 18:53 11m 27s
updated copyrights; makefile, Readme... Electrod #47: Commit 843d62f pushed by grayswandyr
March 4, 2024 18:53 17m 43s develop
develop
March 4, 2024 18:53 17m 43s
retry without odoc but still mdx Electrod #46: Commit 7c665ff pushed by grayswandyr
March 4, 2024 17:56 14m 56s develop
develop
March 4, 2024 17:56 14m 56s