Teme Kahsai
- Login: tkahsai
- Email: lememta@gmail.com
- Send diff email: No
- Registered on: 06/05/2013
- Last connection: 03/25/2015
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| CristalCaveGem | Developer | 09/11/2013 |
| GAL Lib | Developer | 06/12/2014 |
Activity
06/22/2017
- 03:45 AM LustreC Revision 97be8db8 (lustrec): fixed matlab output
06/21/2017
- 08:46 PM LustreC Revision 30dee850 (lustrec): fixed matlab output
02/27/2017
- 11:16 PM LustreC Revision 604c4e00 (lustrec): make sure that I have conv.smt2
02/24/2017
02/15/2017
- 11:08 PM LustreC Revision 54fd3235 (lustrec): fixed matlab output
- 10:43 PM LustreC Revision 9c126c6b (lustrec): removed uncessary include math def
02/14/2017
02/13/2017
- 11:06 PM LustreC Revision 1d3f1a9d (lustrec): new line in horn
02/09/2017
- 11:02 PM LustreC Revision d714d0c6 (lustrec): Adding new def of math
02/01/2017
Also available in: Atom