patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Labels Milestones

Replicate Jussi Rintanen’s benchmark set
benchmarks
task
#16 by patrick was closed 2017-12-07 13:55:35 +01:00 Extended Paper for TPLP Journal 0001-01-01
Write paper section about plasp’s implementation details
documentation
task
#9 by patrick was closed 2017-11-27 14:33:24 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add documentation for plasp commands
documentation
task
#6 by patrick was closed 2017-11-16 18:25:33 +01:00 plasp 3.1.0 0001-01-01
Update readme
documentation
task
#5 by patrick was closed 2017-11-16 18:25:20 +01:00 plasp 3.1.0 0001-01-01
Document new output format
documentation
#4 by patrick was closed 2017-11-17 17:14:12 +01:00 plasp 3.1.0 0001-01-01
Issues in example encoding
bug
#3 by patrick was closed 2017-11-17 18:52:55 +01:00 plasp 3.1.0 0001-01-01
Rename user-defined variables consistently
task
#2 by patrick was closed 2017-11-25 13:41:07 +01:00 plasp 3.1.1 0001-01-01
Unit tests: normalization
task
#1 by patrick was closed 2017-11-16 17:42:12 +01:00 plasp 3.1.0 8 / 8 0001-01-01