aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterREADME updatep4bl02 years
 
 
AgeCommit messageAuthor
2016-11-13README updateHEADmasterp4bl0
2016-11-13more examplesp4bl0
2015-03-05sensi std READMEp4bl0
2015-03-04tiny README updp4bl0
2014-07-08new test files corresponding to HOFA paper (to appear at FDTC 2014)p4bl0
2014-04-28reductionsp4bl0
2014-04-21fix flatten_sum and flatten_prod usagep4bl0
2014-04-21fix parenthesingp4bl0
2014-04-18better flattening of sum and productsp4bl0
2014-04-04add tests/oldp4bl0
[...]
 
Clone
https://clandest.in/sensi/finja
Pablo Rauzy — generated by cgit