General

Profile

Andrei Tatarnikov

Issues

Projects

Activity

Today

03:04 PM MicroTESK Revision 37ed5f35 (microtesk): [why3] Working on Whyml generator
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
02:40 PM MicroTESK Revision cc8e7419 (microtesk): Merge branch 'master' of https://forge.ispras.ru/git/microtesk
02:40 PM MicroTESK Revision ce2649d6 (microtesk): [why3] Working on Whyml generator
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:58 PM MicroTESK for MIPS64 Revision b321aa44: Fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:45 PM MicroTESK for Plasma Revision 5d09ad57: Fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:43 PM MicroTESK for RISC-V Revision 25d9bd78: Fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:09 PM MicroTESK Task #9217 (Resolved): Use 'ru.ispras.castle.codegen' package classes from Castle
Done in commit:6317a50
12:06 PM MicroTESK Revision 6317a50d (microtesk): The 'Castle' library is integrated (Task #9217).
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

08/13/2018

05:38 PM MicroTESK Revision 77ed2864 (microtesk): [why3] Working on expression printer.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
05:12 PM MicroTESK Revision 654b43ba (microtesk): Small fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

Also available in: Atom