Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-15 | release version 2.4.1 | Xiaowen Hu | |
2023-03-06 | release version 2.4 | Xiaowen Hu | |
2022-05-16 | fix url | Xiaowen Hu | |
2022-05-14 | release version 2.3 | Xiaowen Hu | |
2022-01-18 | release version 2.2 | Xiaowen Hu | |
2021-10-01 | Fix build | Xiaowen Hu | |
2021-09-30 | Update to latest version 2.1 | Eric Schulte | |
2021-05-12 | Apply fix to work with newer autoconf | Eric Schulte | |
See https://github.com/souffle-lang/souffle/issues/1833 | |||
2020-09-25 | Bump package version | Eric Schulte | |
2020-02-04 | Use nproc to control parallelism of the build | Eric Schulte | |
2019-12-12 | Update to Souffle version 1.7.1 | Eric Schulte | |
2019-08-02 | MCPP is a runtime dependency | Eric Schulte | |
2019-08-02 | Update version to 1.6.1 | Eric Schulte | |
2019-08-02 | Fix upstream URL | Eric Schulte | |
2019-07-25 | Initial commit | Eric Schulte | |