1
I Use This!
Activity Not Available

Commits : Listings

Analyzed over 3 years ago. based on code collected almost 5 years ago.
Mar 30, 2017 — Mar 30, 2018
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
bib: update published entries More... over 6 years ago
bib: automaton: Mirkin's prebases More... over 6 years ago
* bib/lrde.bib (duret.16.atva): Add pdf entry. More... over 6 years ago
* bib/lrde.bib (babiak.13.spin): typo. More... over 6 years ago
bib: remove duplicate year More... over 6 years ago
lrde.bib: add lrdereport entries More... over 6 years ago
bibneat: untabify More... over 6 years ago
lrde.bib: demaille.16.ictac More... over 6 years ago
Add missing pdf for RFIA More... over 6 years ago
Add two missing PDFs More... over 6 years ago
Declare a new short version of seminarTimeTable More... over 6 years ago
(iovene2016) french version of abstract More... almost 7 years ago
xu.16.seminar: Update abstract More... almost 7 years ago
Adapt environment seminarTimeTable to support entries without location More... almost 7 years ago
billion.16.seminar: Fix :: problem More... almost 7 years ago
Fix lrde.bib, missing commas More... almost 7 years ago
xu.16.seminar : Fix a typo More... almost 7 years ago
bib/model-checking.bib : Add "Chain automata, Olivier Carton" More... almost 7 years ago
csi.bib : remove accent More... almost 7 years ago
xu.16.seminar remove duplicate words in abstract More... almost 7 years ago
bib: add two ATVA'16 papers More... almost 7 years ago
fauchille.16.seminar -> Remove useless spaces More... almost 7 years ago
fauchille.16.seminar -> Fix abstract typo More... almost 7 years ago
fixing typo More... almost 7 years ago
fixing escape errors More... almost 7 years ago
Add piat.16.seminar2 to bib/csi.bib. More... almost 7 years ago
several fixes in csi.bib More... almost 7 years ago
xu.16.seminar -> Fix abstract content More... almost 7 years ago
Fix authors for amoreau in bib/csi.bib More... almost 7 years ago
Add berthet.16.seminar to bib/csi.bib. More... almost 7 years ago