Salvador Abreu
spa
member since Jul 15, 2014

Groups:

User Activity:

2022-09-16 12:36:16 UTC

Salvador Abreu joined project at Francisco Coelho / zugzwang

2022-04-23 20:39:42 UTC

Salvador Abreu joined project at Eduardo Eloy / modfire

2021-06-08 22:56:56 UTC

Salvador Abreu pushed new branch master at Salvador Abreu / sim2c

2021-06-08 22:56:14 UTC

Salvador Abreu joined project at Salvador Abreu / sim2c

2015-08-18 06:50:16 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• f3c60625   layout handler for multi-AST-node code gen

2015-08-18 06:26:45 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• ec6f4ebc   Include fz/examples in sources (similar to bench)

2015-08-18 05:50:02 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• a5ffa1f0   does basic coverage (1 back-end for 1 IR)
• 3a811a46   added uniq_name/2.
• Compare → 0f83aa78...a5ffa1f0

2015-07-31 02:41:01 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 0f83aa78   ignore fz-* (back-end executables) and library files
• 1fa8bcd2   back-end specific code now goes into a library (libXXX.a)
• ... and 14 more commits. Compare → 0ef5e9d6...0f83aa78

2015-07-10 10:17:41 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 65f52800   paccs output progress

2015-07-09 03:02:35 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• f77dbaf7   fznslurp is now fzsem
• 77553097   first stab at PaCCS code gen
• ... and 2 more commits. Compare → aa862a87...f77dbaf7

2015-07-09 01:56:11 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• aa862a87   removed unused fz parser

2015-07-07 02:45:25 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 57421ab2   first stab at type analysis.
• f1a115f5   a litte progress on name analysis
• ... and 3 more commits. Compare → f461b0bb...57421ab2

2015-07-02 09:59:51 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• f461b0bb   first stab at AST traversal for name analysis
• 4029344a   now using free-ended symbol table model. refactor accordingly.
• ... and 5 more commits. Compare → ebbf9d05...f461b0bb

2015-06-23 09:49:57 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• ebbf9d05   dump_ast looks prettier
• 39c71c9f   stack state comments
• Compare → fb2650e6...ebbf9d05

2015-06-23 08:45:09 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• fb2650e6   example usage in typescript
• 6e2f2ea4   continue AST completion
• ... and 4 more commits. Compare → 7a9d1324...fb2650e6

2015-06-18 06:28:01 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 7a9d1324   simple example output
• e8354187   debugging code
• ... and 6 more commits. Compare → e1521486...7a9d1324

2015-06-18 01:12:26 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• e1521486   continue to develop AST

2015-06-17 08:30:22 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 25cb655c   Merge branch 'master' of git.xdi.uevora.pt:spa/paccs
• 6dd9dd96   continue prolog stack AST build
• Compare → 9883d14c...25cb655c

2015-06-17 08:06:55 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 9883d14c   continue prolog stack AST build

2015-06-16 09:52:30 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• d8279a47   Merge branch 'master' of git.xdi.uevora.pt:spa/paccs
• 47d42f0d   start moving towards prolog-AST construction
• Compare → 3fafcd62...d8279a47

2015-06-16 09:42:14 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 3fafcd62   start moving towards prolog-AST construction

2015-06-15 02:36:38 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 8b7af97d   ignore outputs
• 25820b21   added flatzinc parser from minizinc 1.6 distrib
• Compare → 5564dda3...8b7af97d

2015-06-12 07:31:46 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 5564dda3   ditch generated files

2015-06-12 02:04:25 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 3d23f341   ignore *-mpi
• e9654c4b   added flatzinc parser from Gecode distribution (vers 1.3)
• Compare → 97e7c58b...3d23f341

2015-06-10 02:05:00 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• 97e7c58b   move benchmark sources into "bench" subdir, handle it in Makefile

2015-06-10 01:58:28 UTC

Salvador Abreu pushed to branch master at Salvador Abreu / PaCCS

• cb777d8b   targets now automatically enumerated
• b131a63a   sort targets
• Compare → 965dadaa...cb777d8b

2015-04-21 08:02:14 UTC

Salvador Abreu pushed new branch master at Salvador Abreu / PaCCS

2015-04-21 08:01:43 UTC

Salvador Abreu joined project at Salvador Abreu / PaCCS