← Back to branch summary

~tapaal-dist-ctl/verifypn/SeqCTLCompression

From Revision 258 to 239

expand all expand all

Rev   Summary Authors Date Diff Files
258
merge optimisations from trunk
Samuel Pastva 8 years ago Diff Files
257
Always on compression
Samuel Pastva 8 years ago Diff Files
256
Better memory management on insert and createMarking
Tobias Skovgaard Jep... 8 years ago Diff Files
255
Implemented insert on StateSet and ported createMarking to m...
Tobias Skovgaard Jep... 8 years ago Diff Files
254
Implemented find on StateSet
Tobias Skovgaard Jep... 8 years ago Diff Files
253
Comment
Tobias Skovgaard Jep... 8 years ago Diff Files
252
Fixed namespace issue
Tobias Skovgaard Jep... 8 years ago Diff Files
251
Ported Encoder methods
Tobias Skovgaard Jep... 8 years ago Diff Files
250
Readability improvements to Encoder.h
Tobias Skovgaard Jep... 8 years ago Diff Files
249
Few readability fixes
Tobias Skovgaard Jep... 8 years ago Diff Files
248
Added inhibitor arc support and made encoder interface avail...
Søren Moss Nielsen 8 years ago Diff Files
247
mac XOS makefile to XOS 10.11
Peter Fogh 8 years ago Diff Files
246
Merge
Peter Fogh 8 years ago Diff Files
245
added Stateset.h
Peter Fogh 8 years ago Diff Files
244
Merged with Peter
Tobias Skovgaard Jep... 8 years ago Diff Files
243
Ported allocators from experimental
Tobias Skovgaard Jep... 8 years ago Diff Files
242
Compression structure
Søren Moss Nielsen 8 years ago Diff Files
241
Added techniques to competition output
Søren Moss Nielsen 8 years ago Diff Files
240
Most merge proposal revision sugestions implemented
Søren Moss Nielsen 8 years ago Diff Files
239
Added to compression structure
Søren Moss Nielsen 8 years ago Diff Files