Tree: 32ada06833

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '32ada06833'

${ noResults }

Commit Graph

8 Commits (32ada06833538ace2260c46c5f3e307216ff02c1)

Author	SHA1	Message	Date
t-nojiri	2cea964adf	Add support for compiling on aarch64 (64-bit ARM). Closes #140.	6 years ago
Dave Parker	0ae5d13247	Bug in building lp_solve_java on ia65 (from Alexandre Duret-Lutz). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9671 bbc10eb1-c90d-0410-af57-cb519fbb1720	12 years ago
Dave Parker	8342d6fcee	Fix typo in last commmit git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9520 bbc10eb1-c90d-0410-af57-cb519fbb1720	12 years ago
Dave Parker	9d82693baf	Improvements to build process for Linux/Mac versions of lp_solve_java. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9519 bbc10eb1-c90d-0410-af57-cb519fbb1720	12 years ago
Dave Parker	da2aa0e165	lpsolve55j makefile bug git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6271 bbc10eb1-c90d-0410-af57-cb519fbb1720	14 years ago
Dave Parker	c6a6b330aa	More lpsolve(j) building. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6270 bbc10eb1-c90d-0410-af57-cb519fbb1720	14 years ago
Dave Parker	0b7aae9352	32-bit Linux build of lpsolve55j. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6265 bbc10eb1-c90d-0410-af57-cb519fbb1720	14 years ago
Dave Parker	c6fb0ffb9b	Copy across ext/ directory (containing lpsolve55 and lp_solve_5.5_java) from prism-multi to trunk. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6219 bbc10eb1-c90d-0410-af57-cb519fbb1720	14 years ago