lp:~tapaal-ltl/verifypn/ltl-engine

Created by Asger Gitz-Johansen on 2019-10-07 and last modified on 2019-10-29
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/ltl-engine
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Development

Recent revisions

303. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-29

Fixed the last few problems (I hope) with the LTL parsing.

302. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-29

Don't print the full path for files. Only print the filename and line number

301. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-29

The "Is this query an LTL query"-check should be before the (!isreachability()) check.

300. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-29

Removed the usage of the RuntimeType system

299. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

I feel so stupid now. I completely forgot about typeid ... I've been coding too much Java lately

298. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

Integrating PN_ERR and PN_LOG into the rest of the engine bit by bit

297. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

WIP Commit

296. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

Fixed a minor linking issue with spot. Turns out we also need to link with libbddx.a

295. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

Finally integrated the LTLEngine call into VerifyPN.cpp

294. By Asger Gitz-Johansen <agj@HMK-T570-048> on 2019-10-28

WIP commit. "Implemented" W/R/MCondition so they can technically be parsed.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers