← Back to branch summary

~tapaal-red/verifypn/rule-l

From Revision 213.1.40 to 213.1.21

expand all expand all

Rev   Summary Authors Date Diff Files
213.1.40
more fixes to cmake
Peter G. Jensen 4 years ago Diff Files
213.1.39
more cmake hacking, adding versioning and conditional
Peter G. Jensen 4 years ago Diff Files
213.1.38
more dependency management
Peter G. Jensen 4 years ago Diff Files
213.1.37
better handling in cmake
Peter G. Jensen 4 years ago Diff Files
213.1.36
cleanup from clion
Peter G. Jensen 4 years ago Diff Files
213.1.35
using ptries from official distribution-chan
Peter G. Jensen 4 years ago Diff Files
213.1.34
missing file
Peter G. Jensen 4 years ago Diff Files
213.1.33
removing old and obsolete makefiles, removing old, unmaintai...
Peter G. Jensen 4 years ago Diff Files
213.1.32
adding cmake files for CTL
Peter G. Jensen 4 years ago Diff Files
213.1.31
adding rebuild structure
Peter G. Jensen 4 years ago Diff Files
213.1.30
commit removing old files, swithing to propper CMAKE
Peter G. Jensen 4 years ago Diff Files
213.1.29
fixed warnings of missing virtual destructors
srba.jiri at gmail 4 years ago Diff Files
213.1.28
should compile and run on osx
Peter G. Jensen 4 years ago Diff Files
213.1.27
updated ptries
Peter G. Jensen 4 years ago Diff Files
213.1.26
fixed error in re-write of equality into simpler form
Peter G. Jensen 5 years ago Diff Files
213.1.25
memory management
Peter G. Jensen 5 years ago Diff Files
213.1.24
updated readme
Peter G. Jensen 5 years ago Diff Files
213.1.23
update lp-solve for win and linux, removed 32-bit compilatio...
Peter G. Jensen 5 years ago Diff Files
213.1.22
RuleB: added singleton check on preset of consuming arc if a...
Peter G. Jensen 5 years ago Diff Files
213.1.21
disabled ruleJ
Peter G. Jensen 5 years ago Diff Files