~yrke/+junk/opaal-vector

~yrke/+junk/opaal-vector » Changes from revision 17

From Revision 17

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
17		discrete work discrete work	Kenneth Yrke Jørgens...	13 years ago
16		Disabled profiling by default on singlecore Disabled profiling by default on singlecore	Kenneth Yrke Jørgens...	14 years ago
15		Add build dependency on mpi4py Add build dependency on mpi4py Allow to run the gui without specifying a filename	Mads Chr. Olesen	14 years ago
14		Added ignore files Added ignore files	Kenneth Yrke Jørgens...	14 years ago
13		Initial setuptools and debian packaging Initial setuptools and debian packaging	Mads Chr. Olesen	14 years ago
12		Fixup imports from pyuppaal to fit new structure in that Fixup imports from pyuppaal to fit new structure in that	Mads Chr. Olesen	14 years ago
11		Merged local changes Merged local changes	Mads Chr. Olesen	14 years ago
10		Fixup to work with pyuppaa-trunk Fixup to work with pyuppaa-trunk	Mads Chr. Olesen	14 years ago
9		Enable profiling for singlecore Enable profiling for singlecore Optimize reception of states in distributed Fix abort in GUI	Mads Chr. Olesen	14 years ago
8		opaal is distributed and GUI by default. opaal is distributed and GUI by default. Fixup distributed gui master and slave nodes to work.	Mads Chr. Olesen	14 years ago
7		factor out passed-waiting list to own module. factor out passed-waiting list to own module.	Mads Chr. Olesen	14 years ago
6		opaal is distributed by default! opaal is distributed by default!	Mads Chr. Olesen	14 years ago
5		Fix python file encoding marker Fix python file encoding marker	Mads Chr. Olesen	14 years ago
4		Fix license/copyleft Fix license/copyleft	Mads Chr. Olesen	14 years ago
3		single-threaded pyuppaal reachability model checker works ag... single-threaded pyuppaal reachability model checker works again	Mads Chr. Olesen	14 years ago
2		Import and split-up old prototype code. Import and split-up old prototype code. Nothing is guaranteed to work ATM.	Kenneth Yrke Jørgens...	14 years ago
1		Initial structure Initial structure	Kenneth Yrke Jørgens...	14 years ago