11
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 16, 2023 — Jan 16, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Patch performance issue : for some reason when opening an editor a loop was performed over all open editors (BAD!). More... about 10 years ago
bump antlr version from 3.5.1 up to 3.5.2 More... about 10 years ago
full undo... More... over 10 years ago
revert prvious patch : it causes problems with downstream cosyverif components More... over 10 years ago
declare org.antlr.runtime plugin dependency More... over 10 years ago
attempt to move to more normal plugin dependency More... over 10 years ago
Add Weighted Automata. More... almost 11 years ago
Update alligator API manifest for CXF 3 milestone. More... about 11 years ago
Re-add publigator and testigator to preferences. More... about 11 years ago
Fix #199 by formatting log file as : $TMP/coloane-$USER-0.log More... over 11 years ago
Fix #197 Ugly fix. Shame on me! More... over 11 years ago
Update version of ANTLR. More... over 11 years ago
Remove reference to ItemsParameters. More... over 11 years ago
Add dependency to ASM library, required by alligator API. More... over 11 years ago
Remove old interface. More... over 11 years ago
Add Philosophers example for SWNs. More... over 11 years ago
Fix projects. More... over 11 years ago
Quelle merde, Eclipse... More... over 11 years ago
Fix SWN feature... More... over 11 years ago
Add SWN formalism. More... over 11 years ago
Switch to Eclipse Kepler. More... over 11 years ago
Try to fix the error preventing Coloane to compile More... over 11 years ago
fix snb export to work with swn More... over 11 years ago
Avoid raising an exception when a kill run does not work. More... over 11 years ago
Remove leading numbers in service names. More... over 11 years ago
Output real GrML for attributes. Fix #174 of service-modgraph More... over 11 years ago
Add more examples. More... over 11 years ago
Add id="1" to models. Partially fixes #173 More... over 11 years ago
Add support of several HASL expression in LHA export again More... over 11 years ago
Fix bug introduce in the grammar in previous commit More... over 11 years ago